# Square of degree of irreducible representation divides order of inner automorphism group in finite nilpotent group

From Groupprops

## Contents

## Statement

### In characteristic zero

Suppose is a Finite nilpotent group (?) and is a splitting field for of characteristic zero. Then, for any irreducible linear representation of over , the square of the degree divides the order of the inner automorphism group of , which is the same as the index of the center of .

### General case

Since degrees of irreducible representations are the same for all splitting fields, the truth of the statement for splitting fields in characteristic zero implies its truth for splitting fields in any characteristic not dividing the order of the group.

## Related facts

### Similar facts

- Degree of irreducible representation divides index of abelian subgroup in finite nilpotent group
- Degree of irreducible representation divides index of center: This holds for all finite groups.
- Degree of irreducible representation divides index of abelian normal subgroup: This holds for all finite groups.

### Opposite facts

## Facts used

- Equivalence of definitions of finite nilpotent group (reduce to the case where has prime power order)
- Order of inner automorphism group bounds square of degree of irreducible representation
- Degree of irreducible representation divides order of group

## Proof

The proof has two steps:

- Reduce to the case where is a group of prime power order using Fact (1).
- Now use Facts (2) and (3) and the observation that for two numbers that are powers of the same prime, the smaller one divides the bigger one.