# Difference between revisions of "Degree of irreducible representation divides order of group"

(→Related facts) |
|||

(12 intermediate revisions by the same user not shown) | |||

Line 5: | Line 5: | ||

bigger = order| | bigger = order| | ||

biggerof = group}} | biggerof = group}} | ||

− | + | {{fact related to|linear representation theory}} | |

+ | [[difficulty level::4| ]] | ||

==Statement== | ==Statement== | ||

− | Let <math>G</math> be a finite group and <math>\ | + | Let <math>G</math> be a finite group and <math>\varphi</math> an irreducible representation of <math>G</math> over an algebraically closed field of characteristic zero (or, more generally, over any [[splitting field]] of characteristic zero for <math>G</math>). Then, the [[degree of a linear representation|degree]] of <math>\varphi</math> divides the order of <math>G</math>. |

==Related facts== | ==Related facts== | ||

Line 17: | Line 18: | ||

* [[Degree of irreducible representation divides index of center]] | * [[Degree of irreducible representation divides index of center]] | ||

− | * [[Degree of irreducible representation divides index of | + | * [[Degree of irreducible representation divides index of abelian normal subgroup]] |

* [[Order of inner automorphism group bounds square of degree of irreducible representation]] | * [[Order of inner automorphism group bounds square of degree of irreducible representation]] | ||

+ | * [[Number of irreducible representations equals number of conjugacy classes]] | ||

* [[Sum of squares of degrees of irreducible representations equals order of group]] | * [[Sum of squares of degrees of irreducible representations equals order of group]] | ||

+ | |||

+ | ===Similar fact about irreducible projective representations=== | ||

+ | |||

+ | See [[degree of irreducible projective representation divides order of group]] | ||

===Breakdown for a field that is not algebraically closed=== | ===Breakdown for a field that is not algebraically closed=== | ||

Line 27: | Line 33: | ||

We still have the following results: | We still have the following results: | ||

+ | * [[Degree of irreducible representation over reals divides twice the group order]] | ||

+ | * [[Degree of irreducible representation over any field divides product of order and Euler totient function of exponent]] | ||

* [[Degree of irreducible representation of nontrivial finite group is strictly less than order of group]] | * [[Degree of irreducible representation of nontrivial finite group is strictly less than order of group]] | ||

* [[Maximum degree of irreducible real representation is at most twice maximum degree of irreducible complex representation]] | * [[Maximum degree of irreducible real representation is at most twice maximum degree of irreducible complex representation]] | ||

− | == | + | ==Facts used== |

− | + | {{facts used table disclaimer}} | |

− | {{ | + | {| class="sortable" border="1" |

+ | ! Fact no. !! Statement !! Steps in the proof where it is used !! Qualitative description of how it is used !! What does it rely on? !! Other applications | ||

+ | |- | ||

+ | | 1 || [[uses::Character orthogonality theorem]]: The part relevant for us is: for an irreducible representation over a splitting field of characteristic zero with character <math>\chi</math>, <math>\sum_{g \in G} \chi(g)\overline{\chi(g)} = |G|</math> || Step (1) || Equation setup that we then tinker with. || || {{uses short|character orthogonality theorem}} | ||

+ | |- | ||

+ | | 2 || [[uses::Size-degree-weighted characters are algebraic integers]]: This states that for an irreducible linear representation <math>\varphi</math> of a finite group <math>G</math> over an algebraically closed field of characteristic zero (or more generally, over any [[splitting field]]), with character <math>\chi</math>, a conjugacy class <math>c</math> in <math>G</math> and an element <math>g \in c</math>, the number <math>|c|\chi(g)/\chi(1)</math> (with <math>1</math> denoting the identity element of the group) is an algebraic integer. || Step (3) || Show certain parts of an expression are algebraic integers. || algebraic number theory + linear representation theory|| {{uses short|Size-degree-weighted characters are algebraic integers}} | ||

+ | |- | ||

+ | | 3 || [[uses::Characters are algebraic integers]] || Step (4) || Show certain parts of an expression are algebraic integers. || basic linear representation theory || {{uses short|characters are algebraic integers}} | ||

+ | |} | ||

− | + | ==Proof== | |

− | |||

− | |||

− | |||

− | |||

− | |||

− | === | ||

− | |||

− | |||

− | |||

− | |||

− | + | {{tabular proof format}} | |

− | + | '''Given''': A finite group <math>G</math>, an irreducible linear representation <math>\varphi</math> of <math>G</math> over a splitting field of characteristic zero for <math>G</math>, with character <math>\chi</math> and degree <math>d</math>. Note that <math>d</math> equals <math>\chi(1)</math>, i.e., the value of <math>\chi</math> at the identity element of <math>G</math>. | |

− | <math> | + | '''To prove''': <math>d</math> divides the order of <math>G</math>. |

− | + | '''Proof''': | |

− | + | {| class="sortable" border="1" | |

+ | ! Step no. !! Assertion/construction !! Facts used !! Given data used !! Previous steps used !! Explanation | ||

+ | |- | ||

+ | | 1 || The following holds: <math>\sum_c |c| \chi(c) \overline{\chi(c)} = |G|</math> where the sum is over all conjugacy classes <math>c</math> of <math>G</math>, and where <math>\chi(c)</math> denotes the value of <math>\chi</math> at any element of <math>c</math>. || Fact (1) || <math>\varphi</math> is irreducible over a splitting field of characteristic zero, with character <math>\chi</math>. || || Follows from fact (1). The <math>|c|</math> comes because for each conjugacy class <math>c</math>, <math>|c|</math> elements of the class appear in the full statement of the column orthogonality theorem. | ||

+ | |- | ||

+ | | 2 || <math>\sum_c |c|\chi(c) \overline{\chi(c)}/\chi(1) = |G|/d</math> || || || Step (1) || Divide both sides of step (1) by <math>d = \chi(1)</math>. | ||

+ | |- | ||

+ | | 3 || Each <math>|c|\chi(c)/\chi(1)</math> is an algebraic integer for each conjugacy class <math>c</math>. || Fact (2) || <math>\varphi</math> is irreducible over a splitting field of characteristic zero, with character <math>\chi</math>. || || | ||

+ | |- | ||

+ | | 4 || Each <math>\overline{\chi(c)}</math> is an algebraic integer for each conjugacy class <math>c</math>. || Fact (3) || <math>\chi</math> is a character. || || The complex conjugate of an algebraic integer is also an algebraic integer. | ||

+ | |- | ||

+ | | 5 || <math>\sum_c |c|\chi(c) \overline{\chi(c)}/\chi(1)</math> is an algebraic integer. || || || Steps (3), (4) || The set of algebraic integers forms a ring, so a finite sum of products of algebraic integers is an algebraic integer. | ||

+ | |- | ||

+ | | 6 || <math>|G|/d</math> is an algebraic integer. || || || Steps (2), (5) || By Step (5), the left side of Step (2) is an algebraic integer, hence so is the right side. | ||

+ | |- | ||

+ | | 7 || <math>|G|/d</math> is a positive integer, so <math>d</math> divides <math>|G|</math>. || || || Step (6) || Both <math>|G|</math> and <math>d</math> are positive integers, hence their quotient is a positive rational number. The only way a rational number can be an algebraic integer is if it is an integer, hence the conclusion. | ||

+ | |} |

## Latest revision as of 13:03, 14 October 2018

*This article gives the statement, and possibly proof, of a constraint on numerical invariants that can be associated with a finite group*

This article states a result of the form that one natural number divides another. Specifically, the (degree of a linear representation) of a/an/the (irreducible linear representation) divides the (order) of a/an/the (group).

View other divisor relations |View congruence conditions

This fact is related to: linear representation theory

View other facts related to linear representation theoryView terms related to linear representation theory |

## Contents

## Statement

Let be a finite group and an irreducible representation of over an algebraically closed field of characteristic zero (or, more generally, over any splitting field of characteristic zero for ). Then, the degree of divides the order of .

## Related facts

### Other facts about degrees of irreducible representations

`Further information: Degrees of irreducible representations`

- Degree of irreducible representation divides index of center
- Degree of irreducible representation divides index of abelian normal subgroup
- Order of inner automorphism group bounds square of degree of irreducible representation
- Number of irreducible representations equals number of conjugacy classes
- Sum of squares of degrees of irreducible representations equals order of group

### Similar fact about irreducible projective representations

See degree of irreducible projective representation divides order of group

### Breakdown for a field that is not algebraically closed

Let be the cyclic group of order three and be the field. Then, there are two irreducible representations of over : the trivial representation, and a two-dimensional representation given by the action by rotation by multiples of . The two-dimensional representation has degree , and this does *not* divide the order of the group, which is .

We still have the following results:

- Degree of irreducible representation over reals divides twice the group order
- Degree of irreducible representation over any field divides product of order and Euler totient function of exponent
- Degree of irreducible representation of nontrivial finite group is strictly less than order of group
- Maximum degree of irreducible real representation is at most twice maximum degree of irreducible complex representation

## Facts used

The table below lists key facts useddirectlyandexplicitlyin the proof. Fact numbers as used in the table may be referenced in the proof. This table neednotlist facts used indirectly, i.e., facts that are used to prove these facts, and it need not list facts used implicitly through assumptions embedded in the choice of terminology and language.

Fact no. | Statement | Steps in the proof where it is used | Qualitative description of how it is used | What does it rely on? | Other applications |
---|---|---|---|---|---|

1 | Character orthogonality theorem: The part relevant for us is: for an irreducible representation over a splitting field of characteristic zero with character , | Step (1) | Equation setup that we then tinker with. | click here | |

2 | Size-degree-weighted characters are algebraic integers: This states that for an irreducible linear representation of a finite group over an algebraically closed field of characteristic zero (or more generally, over any splitting field), with character , a conjugacy class in and an element , the number (with denoting the identity element of the group) is an algebraic integer. | Step (3) | Show certain parts of an expression are algebraic integers. | algebraic number theory + linear representation theory | click here |

3 | Characters are algebraic integers | Step (4) | Show certain parts of an expression are algebraic integers. | basic linear representation theory | click here |

## Proof

This proof uses a tabular format for presentation. Provide feedback on tabular proof formats in a survey (opens in new window/tab) | Learn more about tabular proof formats|View all pages on facts with proofs in tabular format

**Given**: A finite group , an irreducible linear representation of over a splitting field of characteristic zero for , with character and degree . Note that equals , i.e., the value of at the identity element of .

**To prove**: divides the order of .

**Proof**:

Step no. | Assertion/construction | Facts used | Given data used | Previous steps used | Explanation |
---|---|---|---|---|---|

1 | The following holds: where the sum is over all conjugacy classes of , and where denotes the value of at any element of . | Fact (1) | is irreducible over a splitting field of characteristic zero, with character . | Follows from fact (1). The comes because for each conjugacy class , elements of the class appear in the full statement of the column orthogonality theorem. | |

2 | Step (1) | Divide both sides of step (1) by . | |||

3 | Each is an algebraic integer for each conjugacy class . | Fact (2) | is irreducible over a splitting field of characteristic zero, with character . | ||

4 | Each is an algebraic integer for each conjugacy class . | Fact (3) | is a character. | The complex conjugate of an algebraic integer is also an algebraic integer. | |

5 | is an algebraic integer. | Steps (3), (4) | The set of algebraic integers forms a ring, so a finite sum of products of algebraic integers is an algebraic integer. | ||

6 | is an algebraic integer. | Steps (2), (5) | By Step (5), the left side of Step (2) is an algebraic integer, hence so is the right side. | ||

7 | is a positive integer, so divides . | Step (6) | Both and are positive integers, hence their quotient is a positive rational number. The only way a rational number can be an algebraic integer is if it is an integer, hence the conclusion. |