Ambivalent group 2026-10-14
A finite group is ambivalent when every element is conjugate to its inverse. Since every complex character satisfies , an ambivalent group has real values for every irreducible character. Conversely, if every irreducible value is real, irreducible characters separate conjugacy classes and force every to be conjugate to .
Take . Since is odd, its sign is , so . Define to fix and reverse the other cyclic labels: it interchanges with , with , and so on. Then , while
The centralizer of an -cycle in is : a commuting permutation is determined by the image of one point, and that image fixes the corresponding power of the cycle. All its elements are even, because is even. Any other conjugator taking to differs from by a centralizer element and therefore remains odd. Thus and are not conjugate in . This is the parity obstruction described by inversion of an odd cycle in an alternating group.
For any complex character of a finite group, a unitary realization gives
If every had real value at , all these characters would take equal values on and . But irreducible characters separate conjugacy classes: they form a basis of class functions, so equality of every irreducible value would also give equality of the class indicator functions. The two distinct conjugacy classes cannot have that property. Consequently
In other words, these alternating groups are not ambivalent groups, even though all symmetric-group irreducible characters are integer-valued.