Introduction Commutativity theorems are part of the study of polynomial identities in noncommutative rings. They are theorems which assert that, under certain conditions, the ring at hand must be commutative. The proofs of theorems of this sort in their general form require the structure theory for non-commutative rings. Instances of these theorems have a strongly computational flavor. They pro...

It was known that the quaternion group and the octic group could not be generated by the squares of any group [5, pp. 193-194]. A natural question is which groups are generated by the squares of some groups. Clearly, groups of odd order and simple groups are generated by their own squares. In this paper, we show in a concrete manner that abelian groups are generated by the squares of some group...