If you ever worked with finite groups, chances are you stared at group character tables, e.g. ones in Atlas of Finite Groups, or ones produced by a CA system, such as GAP. Each row stores a character of an irreducible representation of a group columns correspond to the values of on representatives of the conjugacy classes of The following must be known, but so far I haven’t found any references.
Proposition. is a nonnegative integer, namely
it is the multiplicity of in the character of acting on itself by conjugation.
Indeed, note that as it counts the order of the centraliser in of an element in . Then using the First Orthogonality Relation of characters on and completes the proof: as claimed.
Update (21.04.09) It turns out to be well-known: see e.g. Solomon, Louis, “On the sum of the elements in the character table of a finite group”. Proc. AMS 12(1961) 962–963.
The below conjecture was actually made by Richard L. Roth in “On the conjugating representation of a finite group”. Pacific J. Math. 36(1971), 515-521.
And it was disproved by Edward Formanek in “The conjugation representation and fusionless extensions”. Proc. AMS 30(1971), 73–74.
Question. When does It does happen, e.g. take a nontrivial 1-dimensional representation of an abelian group (as an abelian group acts trivially on itself, only trivial character will occur in ).
More generally, if is an irreducible character such that for then does not occur in and so Is the latter also only if? (Here denotes the centre of )
Update (21.04.09) See the 3rd reference above for a negative answer to this.
Tags: maths
Leave a comment