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
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