]>
2020-02-22T07:33:15+00:00
Degree of irreducible representation divides order of group
0
en
4
tabular
2018-10-14T13:03:40Z
2458406.044213
Degree of irreducible representation divides order of group
0
Degree of irreducible representation divides order of group#Degree of a linear representation;1
1
0
Degree of irreducible representation divides order of group#Irreducible linear representation;1
1
0
Degree of irreducible representation divides order of group#Order;1
1
0
Degree of irreducible representation divides order of group#Group;1
1
0
1
list
2
[[Fact related to::Linear representation theory]]
Degree of irreducible representation divides order of group
0
1
list
2
[[Term related to::Linear representation theory]]
Degree of irreducible representation divides order of group
0
1
list
2
[[Uses::Character orthogonality theorem]]
Degree of irreducible representation divides order of group
0
1
list
2
[[Uses::Size-degree-weighted characters are algebraic integers]]
Degree of irreducible representation divides order of group
0
1
list
2
[[Uses::Characters are algebraic integers]]
Degree of irreducible representation divides order of group
0
1
list
2
[[Proof style::tabular]]
Degree of irreducible representation divides order of group
Degree of irreducible representation over field of characteristic coprime to order divides product of order and Euler totient function of exponent
0
en
Degree of irreducible representation over field of characteristic coprime to order divides product of order and Euler totient function of exponent
Degree of irreducible representation over reals divides twice the group order
0
en
Degree of irreducible representation over reals divides twice the group order
Number of conjugacy classes in group of prime power order is congruent to order of group modulo prime-square minus one
0
en
Number of conjugacy classes in group of prime power order is congruent to order of group modulo prime-square minus one
Degree of irreducible representation divides index of abelian subgroup in finite nilpotent group
0
en
Degree of irreducible representation divides index of abelian subgroup in finite nilpotent group
Square of degree of irreducible representation divides order of inner automorphism group in finite nilpotent group
0
en
Square of degree of irreducible representation divides order of inner automorphism group in finite nilpotent group
Degree of irreducible representation divides group order
0
en
Degree of irreducible representation divides group order
Uses
132
en
Uses