Published online by Cambridge University Press: 09 April 2009
By an operation in equationally definable class of group we mean here the element of a free group in this class generated by set {x, y}.
An operation ω(x, y) is called fundamental in a class of groups K if for every group G ω K the operation xy−1 can be expressed in terms of ω.
Higman and Neumann raised in [1] the problem: Is there any binary operation other than xy-1, x-1y, yx-1, y-1x fundamental in the class of all groups?*