Published online by Cambridge University Press: 20 November 2018
In any group G, the commutator subgroup G' is contained in G2, the subgroup of G generated by the squares in G. Thus any product of commutators can be written as a product of squares in G. For instance, the commutator [x, y] ( = xyx-1y-1) can be expressed as the product of three squares: [x, y] = x2(x-1y)2(y-1)2. Roger Lyndon and Morris Newman have made the interesting observation [4, Theorem 1] that, in this case, the number three is minimal in the sense that there are groups which contain commutators not expressible as the product of fewer than three squares.