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 .
Past exam of the mathematics course of the University of Cambridge 2009 iii Paper 4 3 v Solution Created 2026-10-03 Updated 2026-10-14
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 , whileThe 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 givesIf 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. ConsequentlyIn other words, these alternating groups are not ambivalent groups, even though all symmetric-group irreducible characters are integer-valued.