Théorie des groupes/Exercices/Caractères complexes des groupes finis, 2 : théorèmes sur les degrés
Problème 1
[modifier | modifier le wikicode]On va prouver que si un groupe fini est d'ordre impair, l'ordre de ce groupe et le nombre de classes de conjugaison d'éléments de ce groupe sont congrus entre eux modulo 16. C'est un exemple montrant que la théorie des caractères peut servir à autre chose qu'à elle-même. (La congruence modulo 8 n'est pas difficile à déduire des théorèmes sur les degrés démontrés dans le chapitre théorique, la congruence modulo 16 demande une analyse un peu plus subtile.)
a) Soit G un groupe fini (on ne suppose pas encore que l'ordre de G est impair), soit un -caractère irréductible de G, distinct du -caractère principal de G (application constante de valeur 1). Prouver que
Indication : appliquer la première relation d'orthogonalité (chapitre Caractères complexes des groupes finis, 1).
Notons le -caractère principal de G, c'est-à-dire l'application constante de valeur 1 de G dans . En appliquant la première relation d'orthogonalité aux deux caractères et , nous trouvons
autrement dit
Puisque la fonction vaut 1 partout, cela revient à ce qui est la thèse.
b) On ajoute aux hypothèses du point a) que est réel (on entend par là que toutes les valeurs de sont réelles, autrement dit que ). Prouver que
- dans l'anneau des entiers algébriques.
La relation démontrée au point a), peut s'écrire
- (1)
L'ensemble des éléments g de G tels que se partitionne en ensembles à deux éléments. Si et sont les deux éléments d'un de ces ensembles, nous avons (Caractères complexes des groupes finis, 1, théorème 9)
d'où, vu l'hypothèse
- (2)
On a vu (Caractères complexes des groupes finis, 1, corollaire 10) que pour tout g dans G, est un entier algébrique, donc, d'après (2),
- dans l'anneau des entiers algébrique.
Cela revient à dire que si est un des ensembles à deux éléments considérés,
- est divisible par 2 dans l'anneau des entiers algébriques.
En sommant sur les ensembles E, on trouve
- dans l'anneau des entiers algébriques.
Donc (1) donne
- dans l'anneau des entiers algébriques,
ce qui est la thèse.
c) Soit G un groupe fini d'ordre impair. Déduire du point b) que le -caractère principal de G (application constante de valeur 1) est le seul -caractère irréductible de G tel que
Supposons que, par absurde, il existe un -caractère irréductible de G, distinct du caractère principal, tel que
D'après le point b), nous avons
- (3)
dans l'anneau des entiers algébriques.
Puisque G est supposé d'ordre impair, il n'a pas d'élément d'ordre 2 (théorème de Lagrange), autrement dit, 1 est le seul élément g de G tel que donc (3) peut s'écrire
- dans l'anneau des entiers algébriques,
autrement dit
- (4) est un entier algébrique.
D'autre part, puisque le degré de est un nombre naturel,
- est un nombre rationnel.
Joint à (4), cela entraîne (Caractères complexes des groupes finis, 1, rappels sur les nombres algébriques, point 8°) que est un entier rationnel, autrement dit que le degré de est pair. Puisque G est supposé d'ordre impair, cela contredit le théorème, démontré dans le chapitre théorique, selon lequel le degré de tout -caractère irréductible d'un groupe fini divise l'ordre de ce groupe. La contradiction obtenue prouve l'énoncé.
d) Soit G un groupe fini d'ordre impair. Déduire du point c) que l'ordre de G et le nombre des classes de conjugaison d'éléments de G sont congrus modulo 16. (Indication : le carré d'un nombre naturel impair est congru à 1 modulo 8.)
Notons k le nombre des -caractères irréductibles de G.
D'après le point c), les caractères irréductibles de G sont tout d'abord le caractère principal et ensuite k-1 caractères distincts qu'on peut énumérer
Le degré d'un caractère est égal au degré de (chapitre Caractères complexes des groupes finis, 1, théorème 25), donc, d'après un théorème du chapitre théorique,
- (5)
On vérifie facilement que le carré de tout nombre naturel impair est congru à 1 modulo 8, donc le double du carré de tout nombre naturel impair est congru à 2 modulo 16. La relation (5) donne donc