Cyclic quotient of automorphism group by class-preserving automorphism group implies same orbit sizes of conjugacy classes and irreducible representations under automorphism group
This article gives the statement and possibly, proof, of an implication relation between two group properties. That is, it states that every group satisfying the first group property (i.e., finite group with cyclic quotient of automorphism group by class-preserving automorphism group) must also satisfy the second group property (i.e., finite group having the same orbit sizes of conjugacy classes and irreducible representations under automorphism group)
View all group property implications | View all group property non-implications
Get more facts about finite group with cyclic quotient of automorphism group by class-preserving automorphism group|Get more facts about finite group having the same orbit sizes of conjugacy classes and irreducible representations under automorphism group
Contents
Statement
Suppose is a finite group and
is a Splitting field (?) for
. Suppose the quotient group of the automorphism group
by the normal subgroup comprising the class-preserving automorphisms is a cyclic group.
Then, is a Finite group having the same orbit sizes of conjugacy classes and irreducible representations under automorphism group (?). The action of
on
induces actions both on the set of conjugacy classes
and the set of (equivalence classes of) irreducible representations of
over
. The claim is that the sizes of orbits of these two actions are the same.
Related facts
- Number of irreducible representations equals number of conjugacy classes
- Number of orbits of irreducible representations equals number of orbits under automorphism group: For any finite group
, the number of automorphism classes of elements of
equals the number of equivalence classes of irreducible representations of
under the
-action. Note that this is despite the fact that the orbit structure may be very different.
- Number of orbits of irreducible representations equals number of orbits of conjugacy classes under any subgroup of automorphism group
Facts used
Proof
The proof follows directly from fact (1), and the observation that the orbit sizes under the permutation action of a cyclic group are the same as the cycle type of any permutation that generates that cyclic group. More elaboration needed