Free Akivis algebras, primitive elements, and hyperalgebras (Q1604359)

The notions of free Akivis algebra, its enveloping algebra, and its primitive element are given. It is proved that subalgebras of a free Akivis algebra are also free and finitely generated subalgebras are finitely residual. Decidability of the word problem for the variety of Akivis algebras is also proved. It is proved that a set of multilinear operations can be constructed for every algebra \(B\) such that \(B\) becomes a hyperalgebra called \(G(B)\). The following problem is stated: is it true that any hyperalgebra can be isomorphically embedded into a hyperalgebra \(G(B)\) for a suitable algebra \(B\)?