Subalgebras of free algebras of some varieties of multioperator algebras

The problem whether subalgebras of free algebras of various varieties are free plays an important role in general algebra. For some varieties of linear algebras over a field the problem was solved by Kurosh [1] and Shirshov [2], [3]. Kurosh [4] introduced the concept of multioperator algebra over a field and proved that every subalgebra of a free multioperator algebra is free. This paper is devoted to a study of varieties of multioperator algebras given by identities of a special form; particular cases are the commutative and anticommutative laws for classical linear algebras. The main result of the paper comprises the freeness theorem mentioned above for subalgebras of a free multioperator algebra, as well as parallel theorems in Shirshov's papers [2] on the freeness of subalgebras of a free commutative and a free anticommutative algebra; the methods of this last article are maintained without essential modifications.