Exponent two implies abelian
Conversely, the additive group of any nonzero vector space over the field of two elements is a group of exponent two.
Breakdown for higher exponents
It is possible to have a group of prime exponent for any odd prime that is non-abelian. The standard example is the unitriangular matrix group:UT(3,p) which is a non-abelian group of order and exponent . Also, it is possible to have non-abelian groups whose exponent is a higher power of . For instance, the dihedral group of order eight has exponent four.
- Exponent three implies class three (follows from exponent three implies 2-Engel for groups and 2-Engel implies class three for groups)
- Exponent five not implies nilpotent
- See also the Burnside problem, which seeks to determine the freest possible groups of a given exponent.
The proof follows from fact (1), along with the observation that in a group of exponent two, the square map is the trivial map and is thus an endomorphism.