Abelian and ambivalent iff elementary abelian 2-group
The following are equivalent for a group :
- is both an abelian group and an ambivalent group: every element is conjugate to its inverse.
- is an elementary abelian 2-group, i.e., it has exponent one or two (this is equivalent to being elementary abelian because exponent two implies abelian).
- Abelianization of ambivalent group is elementary abelian 2-group
- Center of ambivalent group is elementary abelian 2-group
- Odd-order and ambivalent implies trivial
Abelian and ambivalent to elementary abelian
This follows quite directly: ambivalent implies that every element is conjugate to its inverse, which in the abelian case forces every element to be equal to its inverse, thus forcing all elements to have order dividing 2.
Elementary abelian to abelian and ambivalent
This direction is also immediate.