For an odd -cycle , an inverting permutation fixes one point and swaps pairs, so its sign is . Its other inverting permutations differ by elements of , all even. Thus inversion is possible inside exactly when that sign is positive. In particular is not an ambivalent group when .
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.