Cyclic quotient of automorphism group by class-preserving automorphism group implies same orbit sizes of conjugacy classes and irreducible representations under automorphism group

From Groupprops
Jump to: navigation, search
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 G is a finite group and K is a Splitting field (?) for G. Suppose the quotient group of the automorphism group \operatorname{Aut}(G) by the normal subgroup comprising the class-preserving automorphisms is a cyclic group.

Then, G is a Finite group having the same orbit sizes of conjugacy classes and irreducible representations under automorphism group (?). The action of \operatorname{Aut}(G) on G induces actions both on the set of conjugacy classes C(G) and the set of (equivalence classes of) irreducible representations of G over K. The claim is that the sizes of orbits of these two actions are the same.

Related facts

Facts used

  1. Application of Brauer's permutation lemma to group automorphism on conjugacy classes and irreducible representations

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