Début de la boite de navigation du chapitre
fin de la boite de navigation du chapitre
En raison de limitations techniques, la typographie souhaitable du titre, «
Théorie des groupes : Caractères irréductibles de quelques groupes
Théorie des groupes/Caractères irréductibles de quelques groupes », n'a pu être restituée correctement ci-dessus.
Dans ce chapitre, on va déterminer les
-caractères irréductibles de quelques groupes finis.
Comme les
-caractères irréductibles d'un groupe fini G ont été définis à partir des
-représentations irréductibles de G, on pourrait croire que pour connaître explicitement les
-caractères irréductibles de G, il « suffit » de connaître explicitement, à équivalence près, les
-représentations irréductibles de G et de calculer leurs caractères. En réalité, il est souvent plus facile d'expliciter les
-caractères irréductibles de G que de trouver un système complet de
-représentations irréductibles deux à deux non équivalentes de G[1]. Cependant, même la détermination des caractères irréductibles ne se laisse pas décrire en quelques mots et des raisonnements adaptés à chaque cas sont souvent nécessaires[2].
On verra ici que certains théorèmes démontrés antérieurement (relations d'orthogonalité, théorèmes sur les degrés), joints au traitement relativement facile des caractères de degré 1, permettent, dans des cas simples, de déterminer tous les
-caractères irréductibles d'un groupe fini donné.
En pratique, un groupe fini G étant donné, on procède à la détermination des
-caractères irréductibles de G en construisant ce qu'on appelle la table des
-caractères de G (mais qu'il serait plus exact d'appeler la table des
-caractères irréductibles de G).
On choisit une numérotation
des classes de conjugaison de G et une numérotation, habituellement
, des
-caractères irréductibles de G. (Le nombre h des classes de conjugaison est aussi le nombre de
-caractères irréductibles, comme on l'a vu.)
On forme alors un tableau carré de h lignes et h colonnes, où le coefficient se trouvant dans la i-ième ligne et la j-ième colonne sera
(une fois qu'on le connaîtra). Donc la i-ième ligne explicite le caractère
. Nous dirons que ce tableau carré est la table des
-caractères proprement dite de G (ce n'est pas une dénomination standard).
Habituellement, on prend pour
la classe de conjugaison réduite à l'élément neutre du groupe et on prend pour
le caractère trivial de degré 1 de G (dont toutes les valeurs sont égales à 1). Nous numéroterons les caractères de degré 1 avant les autres. On pourrait convenir qu'un caractère
non réel (c'est-à-dire ne prenant pas partout des valeurs réelles) et son conjugué complexe
seront affectés à des lignes consécutives, mais on verra dans les exemples que cela ne correspond généralement pas à la façon la plus naturelle de procéder.
À la table proprement dite, on peut ajouter trois lignes, que nous appellerons lignes de titre (dénomination non standard), formées comme suit : dans la première ligne de titre, on indique au-dessus de la j-ième colonne la classe de conjugaison
ou un représentant de cette classe; dans la seconde ligne de titre, on ajoute au-dessus de la j-ième colonne le nombre d'éléments de la classe
; dans la troisième ligne de titre, toujours en j-ième position, on indique l'ordre
du centralisateur de n'importe quel élément de
. La seconde et la troisième ligne de titre facilitent l'usage des relations d'orthogonalité. À gauche de la i-ième ligne (i = 1, ... , h) de la table proprement dite, on écrit simplement «
». Quand nous parlerons d'une colonne de la table des caractères, il s'agira toujours d'une colonne de la table proprement dite. Quand nous parlerons d'une ligne de la table, sans préciser que c'est une ligne de titre, il s'agira d'une ligne de la table proprement dite.
On parle de « la » table des
-caractères (irréductibles) de G, mais la table proprement dite dépend en fait de la numérotation
et de la numérotation
, donc elle n'est définie qu'à permutation près des lignes et des colonnes.
Soit Y un ensemble, soit Y' un ensemble contenant Y. Si f est une application d'un ensemble X dans Y, nous définirons ici l'extension de f à Y' comme l'application de X dans Y' qui a partout la même valeur que f. Si h est une application d'un ensemble X dans Y', si l'image de h est contenue dans Y, nous définirons ici la corestriction de h à Y comme l'application de X dans Y qui a partout la même valeur que h. Ces définitions ne sont pas standard.
Soit G un groupe fini. Il est clair que tout caractère de degré 1 de G est irréductible.
Notons
l'ensemble des homomorphismes de G dans le groupe multiplicatif
des nombres complexes non nuls.
Début d’un théorème
Fin du théorème
Démonstration. On a vu au chapitre Caractères complexes des groupes finis, 1 : relations d'orthogonalité (exemple 3° avant le théorème 5) que si f est un homomorphisme de G dans
, l'application
(extension de f à l'ensemble
tout entier) est un caractère de degré 1 de G. Notons ici
ce caractère. Puisque f est la corestriction de
à
, l'application
de
dans l'ensemble des caractères de degré 1 de G est injective.
Prouvons qu'elle est surjective. Soit
un caractère de degré 1 de G; il s'agit de prouver qu'
- (thèse 1) il existe un homomorphisme f de G dans
tel que
f et
aient le même graphe.
Puisque
est un caractère de degré 1 de G, il existe une représentation matricielle
de degré 1 de G dont
est le caractère. Autrement dit, il existe un homomorphisme
de G dans
tel que, pour tout élément x de G,
- (2)
.
Puisque
est un homomorphisme de G dans
, il existe un (et un seul) homomorphisme f de G dans
tel que, pour tout x dans G,
, où (f(x)) désigne la matrice carrée de taille 1 dont l'unique coefficient est f(x). La trace de cette matrice est f(x), donc d'après (2),
,
ce qui prouve la thèse (1).
Comme il y a peu de différence entre une application de G dans
et l'extension de cette application à
, on dit volontiers que les caractères complexes de degré 1 de G sont assimilables aux homomorphismes de G dans
, ou même que les caractères complexes de degré 1 de G sont les homomorphismes de G dans
.
En raison de ce fait, les caractères de degré 1 de G sont aussi appelés les caractères linéaires de G.
Début d’un théorème
Énoncé 2
Soit G un groupe fini. Les caractères de degré 1 de G ne prennent pas la valeur nulle.
Fin du théorème
Démonstration. C'est une conséquence immédiate de l'énoncé précédent.
Rappelons le théorème suivant (chapitre Caractères complexes des groupes finis, 2 : théorèmes sur les degrés, théorème 35) :
Soit G un groupe fini; G est abélien si et seulement si tout
-caractère irréductible de G est de degré 1.
Soit G un groupe fini, non forcément abélien. Compte tenu de l'énoncé 1 (selon lequel les caractères de degré 1 de G sont assimilables aux homomorphismes de G dans
), les résultats du chapitre Homomorphismes d'un groupe fini dans le groupe multiplicatif du corps des nombres complexes permettent de déterminer les caractères de degré 1 de G.
Soit G un groupe fini abélien. D'après ce qui précède, les caractères de G sont les homomorphismes de G dans
, donc la table des caractères de G se construit facilement à l'aide des résultats du chapitre Homomorphismes d'un groupe fini dans le groupe multiplicatif du corps des nombres complexes.
Prenons d'abord pour G un groupe cyclique d'ordre n. Choisissons un générateur a de G, c'est-à-dire un élément d'ordre n de G. Choisissons aussi une racine primitive n-ième de l'unité, c'est-à-dire un élément d'ordre n de
, soit
. On peut numéroter C1, ... , Cn les classes de conjugaison de G, avec, pour tout j,
. Pour chaque i dans {1, ... , n}, il existe un et un seul homomorphisme
de G dans
qui applique a sur
et ce sont là tous les homomorphismes de G dans
, autrement dit tous les caractères de G. Si on dresse la table des caractères de G à partir de cette numérotation des classes de conjugaison et des caractères, le coefficient qui se trouve sur la i-ième ligne et la j-ième colonne est
, où l'exposant (i-1) (j-1) peut évidemment être remplacé par son reste par n.
Par exemple (cas n = 4), la table des caractères d'un groupe cyclique d'ordre 4 ayant un générateur a peut être présentée comme suit :
,
où Cl() désigne la classe de conjugaison et où
est une des deux racines primitives quatrièmes de l'unité, autrement dit une des deux racines de
. (On voit que
et
sont conjugués complexes, ce qui montre que, dans la façon la plus naturelle de procéder, deux caractères complexes conjugués ne sont généralement pas sur des lignes consécutives.)
Prenons maintenant pour G un groupe fini abélien non cyclique, par exemple un produit direct interne de deux groupes d'ordre 3. On peut donc trouver deux éléments a et b d'ordre 3 de G tels que
. Pour chacun des 9 couples
de nombres complexes tels que
, il existe un et un seul homomorphisme de G dans
qui applique
sur
et
sur
. Choisissons une des deux racines primitives troisièmes de l'unité, autrement dit une des deux racines de
dans
. Les couples
sont alors
et la table des caractères de G peut être présentée comme suit :
,
où
pourrait évidemment être écrit
.
Nous venons de voir que la construction de la table des caractères d'un groupe fini abélien est une tâche assez triviale.
Nous construirons la table des caractères des groupes diédraux dans la suite du présent chapitre et la table des groupes dicycliques dans les exercices. Parmi les groupes finis qui ne sont ni abéliens, ni diédraux ni dicycliques, occupons-nous de celui qui a le plus petit ordre, c'est-à-dire le groupe alterné A4.
On désignera par 14 l'élément neutre de A4, c'est-à-dire la permutation identique de {1, 2, 3, 4}.
Nous avons vu dans les exercices de la série Groupes alternés que le groupe A4 a exactement 4 classes de conjugaison, représentées respectivement par les éléments 14, (1 2 3), (1 3 2) et (1 2) (3 4), les cardinaux respectifs de ces classes étant 1, 4, 4 et 3. La table, encore à compléter, se présentera donc comme suit :
.
D'après le chapitre Groupes alternés, A4 est d'ordre 12 et d'après un exercice de la série Commutateurs, groupe dérivé, son dérivé est le groupe de Klein V = {14, (1 2) (3 4), (1 3) (2 4), (1 4) (2 3)}. Le groupe quotient A4/D(A4) est donc d'ordre 3. Comme (1 2 3) est un élément d'ordre 3 de A4 et n'appartient pas à D(A)4 = V, il est clair que (1 2 3) V est un élément d'ordre 3 de A4/V. Autrement dit, A4/D(A4) est un groupe cyclique d'ordre 3 admettant (1 2 3) V pour générateur. D'après le chapitre Homomorphismes d'un groupe fini dans le groupe multiplicatif du corps des nombres complexes, les homomorphismes de A4 dans
prennent la valeur neutre en chaque élément de V et s'obtiennent de la façon suivante : pour chacune des trois racines cubiques
de l'unité dans
, il existe un et un seul homomorphisme de A4 dans
qui applique (1 2 3) sur
et ce sont là les trois seuls homomorphismes de A4 dans
. Puisque (1 2) (3 4) appartient à V, les trois homomorphismes considérés prennent la valeur 1 en (1 2) (3 4). D'autre part, la valeur d'un de ces homomorphisme en (1 3 2) est l'inverse de sa valeur en (1 2 3). Cela nous fournit les trois caractères de degré 1 de A4 et nous pouvons donc préciser la deuxième et la troisième ligne de la table :
,
où
est choisie parmi les deux racines primitives cubiques de l'unité dans
.
Il nous reste à déterminer le caractère
, le seul qui n'est pas de degré 1. Si nous désignons par d le degré de
, nous avons (Caractères complexes des groupes finis, 2 : théorèmes sur les degrés)
![{\displaystyle 1^{2}+1^{2}+1^{2}+d^{2}=12}](https://wikimedia.org/api/rest_v1/media/math/render/svg/03d87db35ee833f779bb5be16980247afbcede78)
donc le degré de
est égal à 3. La table se présente donc comme suit :
,
où x, y et z sont des nombres complexes à déterminer. (En fait, nous savons déjà que ce sont des nombres réels, puisqu'il n'y a qu'un caractère irréductible de degré 3.)
Pour trouver les valeurs de x, y et z, nous allons utiliser la seconde relation d'orthogonalité ( Caractères complexes des groupes finis, 1 : relations d'orthogonalité). Rappelons que cette relation s'énonce comme suit :
Soit G un groupe fini, soient
les différents
-caractères de G, soient K, K' des classes de conjugaison d'éléments de G. Alors
![{\displaystyle \sum _{i=1}^{k}\chi _{i}(K){\overline {\chi _{i}(K')}}=\left\lbrace {\begin{array}{l}{\frac {\vert G\vert }{\vert K\vert }}\ \mathrm {si} \ K=K',\\0\ \mathrm {si} \ K\neq K'.\end{array}}\right.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2312f3e9c147a19888bdd2914f8ff961e8494d90)
Cela peut encore s'écrire
![{\displaystyle \sum _{i=1}^{k}\chi _{i}(K){\overline {\chi _{i}(K')}}=\delta _{K,K'}\ {\frac {\vert G\vert }{\vert K\vert }},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/454cc5bcc9551d627999e6f68a5fc45e9a56aa83)
où
est le symbole de Kronecker.
La seconde relation d'orthogonalité peut donc être considérée comme liant deux à deux les colonnes de la table des caractères. Dans le cas qui nous occupe (G = A4), prenons d'abord pour K la classe correspondant à la 2-ième colonne et pour K' la classe correspondant à la 1-ière colonne. Nous trouvons ainsi
![{\displaystyle 1+\rho +\rho ^{2}+3x=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5158131c9609593e0f36603744d5402e0c8d12b0)
d'où (puisque
)
- x = 0.
En prenant maintenant pour K la classe correspondant à la 3-ième colonne et en prenant toujours pour K' la classe correspondant à la 1-ière colonne, nous trouvons
![{\displaystyle 1+\rho ^{2}+\rho +3y=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d315cb1eb19725b213537a3bcd986f332094556c)
d'où, de même,
- y = 0.
En prenant maintenant pour K la classe correspondant à la 4-ième colonne et en prenant toujours pour K' la classe correspondant à la 1-ière colonne, nous trouvons
- 1 + 1 + 1 + 3z = 0,
d'où z = - 1. Nous pouvons donc achever la table comme suit :
.
Au lieu de la seconde relation d'orthogonalité, nous aurions pu utiliser la première (qui peut être considérée comme liant deux à deux les lignes de la table). Si, pour tout j dans {1, 2, 3, 4},
désigne la classe de conjugaison correspondant à la j-ième colonne de la table, si pour tout i dans {1, 2, 3, 4},
désigne le caractère correspondant à la i-ième ligne de la table, la première relation d'orthogonalité (chapitre Caractères complexes des groupes finis, 1 : relations d'orthogonalité) peut s'écrire
![{\displaystyle \sum _{j=1}^{h}\vert K_{j}\vert \ \ \chi _{i}(K_{j})\ \ {\overline {\chi _{i'}(K_{j})}}=\delta _{i,i'}\ \vert G\vert }](https://wikimedia.org/api/rest_v1/media/math/render/svg/ae2f69ead6bce3333df9c5281460387aea5f6b4a)
pour tous i, i' dans {1, 2, ... , h},
désignant le symbole de Kronecker dans
. En faisant i = 4 et, successivement, i' = 1, i' = 2, i' = 3, on obtient un système de trois équations linéaires en x, y et z dont l'unique solution est x = y = 0, z = -1. Il se fait que, dans le cas particulier du groupe A4, la seconde relation d'orthogonalité est d'un usage un peu plus rapide que la première.
On va maintenant déterminer les
-caractères irréductibles du groupe diédral D2n d'ordre 2n, pour tout nombre naturel n non nul. Nous allons cette fois déterminer d'abord un système de
-représentations irréductibles deux à deux non équivalentes et nous calculerons leurs caractères. (Comme signalé plus haut, ce n'est généralement pas la façon la plus simple de déterminer les
-caractères irréductibles d'un groupe fini donné.)
Pour déterminer les
-caractères de degré 1 de D2n, ce qui revient à déterminer les homomorphismes de D2n dans
, on pourrait utiliser un énoncé du chapitre Groupes diédraux intitulé « Homomorphismes partant d'un groupe diédral », mais on va suivre la méthode plus générale indiquée dans une précédente section du présent chapitre.
Supposons d'abord n impair.
D'après les exercices sur les groupes diédraux, le dérive D'2n de D2n est l'unique sous-groupe cyclique d'ordre n de D2n et est donc d'indice 2 dans D2n. D'après la section « Caractères complexes de degré 1 » ci-dessus et le chapitre Homomorphismes d'un groupe fini dans le groupe multiplicatif du corps des nombres complexes, les
-caractères de degré 1 de D2n sont les homomorphismes composés
,
où
désigne l'homomorphisme canonique de D2n sur D2n/D'2n et où g parcourt les homomorphismes de D2n/D'2n dans
.
Puisque D2n/D'2n est d'ordre 2, il y a exactement deux homomorphismes de D2n/D'2n dans
, à savoir l'homomorphisme constant de valeur 1 et l'homomorphisme qui applique (l'élément neutre de D2n/D'2n sur 1 et) l'élément non neutre de D2n/D'2n sur -1. Le groupe D2n a donc exactement deux
-caractères de degré 1, tout d'abord le caractère
constant de valeur 1, puis le caractère
, qui applique tout élément de D'2n sur 1 et tout élément de
sur -1.
Choisissons un générateur a du groupe cyclique D'2n et un élément b de
. Donc (chapitre Groupes diédraux) a est d'ordre n, b est d'ordre 2, b n'appartient pas à <a> et b a b-1 (= b a b) = a-1.
D'après un exercice de la série Groupes diédraux, les classes de conjugaison de D2n sont en nombre
et peuvent être numérotées
, où
et
pour
.
Le nombre des
-représentations irréductibles de D2n deux à deux non équivalentes est donc
, ce qui revient à dire que les
-caractères irréductibles de D2n sont en nombre
.
Les
-caractères irréductibles de D2n peuvent donc être numérotés
, où
et
sont les deux caractères de degré 1 déjà décrits et où
sont de degrés
.
Pour tout i dans
, désignons par
le degré de
. Nous avons donc
et
pour tout
.
Si, pour un
, nous avions
, nous aurions
,
c'est-à-dire
,
ce qui contredit un théorème du chapitre Caractères complexes des groupes finis, 2 : théorèmes sur les degrés. Nous avons donc
pour tout ![{\displaystyle i\geq 3}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8e58e610383919acf4b940f9126b78b231c52137)
(ce qui, cette fois, concorde avec le théorème en question).
Puisque nous avons déjà trouvé les deux
-caractères de degré 1 de D2n et que ces caractères peuvent être assimilés aux représentations de degré 1 auxquelles ils correspondent (en assimilant une matrice carrée de taille 1 à son unique coefficient), il nous reste à trouver
-représentations irréductibles de degré 2, deux à deux non équivalentes, de D2n.
Posons
![{\displaystyle \epsilon =e^{\frac {2\pi i}{n}}=\cos {\frac {2\pi }{n}}+i\sin {\frac {2\pi }{n}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ab9676589d893b196168c99c89be375ed6848dcd)
(où
dans
).
Donc
est une racine primitive n-ième de l'unité, c'est-à-dire un élément d'ordre n du groupe multiplicatif
, et engendre le sous-groupe de
formé par les n racines n-ièmes de l'unité.
Désignons par A la matrice
![{\displaystyle A={\begin{pmatrix}\epsilon &0\\0&\epsilon ^{-1}\\\end{pmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bf3582df9b4acb9bd40ad21f883507a10ac0c2b8)
et par B la matrice
.
D'après les propriétés des matrices diagonales, nous avons, pour tout j dans
,
et
.
Le calcul montre que
![{\displaystyle B^{2}=1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bbe9becae6f3a039cb64182ccc004b991d08e0fa)
(d'ailleurs, étant donné une base d'un
-espace vectoriel de dimension 2, B est la matrice dans cette base de l'automorphisme qui permute les deux vecteurs de la base).
De plus,
.
Donc, d'après le chapitre Groupes diédraux, énoncé intitulé « Homomorphismes partant d'un groupe diédral », il existe, pour chaque j dans
, un et un seul homomorphisme Tj de D2n dans
qui applique a sur Aj et b sur B. Cet homomorphisme Tj est une
-représentation matricielle de degré 2 de D2n.
Prouvons que si j parcourt les nombres
, les représentations Tj sont irréductibles et deux à deux non équivalentes.
Prouvons d'abord qu'elles sont irréductibles.
Soit V un
-espace vectoriel de dimension 2, soit
une base de V. Notons
la
-représentation vectorielle de
dans V correspondant à
via la base
. Il s'agit de prouver que
est irréductible.
Soit
, avec
, un vecteur de V tel que le sous-espace
de V soit invariant par le groupe linéaire
. Il s'agit de prouver que v est nul.
Tout d'abord,
est invariant par l'automorphisme de V ayant
pour matrice dans la base
de V, autrement dit par l'automorphisme de V qui applique
sur
et
sur
, donc le vecteur
et le vecteur
sont proportionnels, donc
,
,
![{\displaystyle c_{1}c_{2}\ (\epsilon ^{-j}-\epsilon ^{j})=0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/601998c3cee2ba9448f7ceec8c253eea9d380b8d)
Puisque
,
et
ne sont pas congrus modulo
, donc
, donc
est nul, donc
ou
est nul.
Ensuite,
est invariant par l'automorphisme de V ayant B pour matrice dans la base
de V, autrement dit par l'automorphisme de V qui applique
sur
et
sur
, donc le vecteur
et le vecteur
sont proportionnels, donc
,
.
Puisqu'on a vu qu'un au moins des nombres
est nul, ceci entraîne qu'ils le sont tous les deux, donc v est nul, ce qui prouve que la représentation
est irréductible.
Prouvons maintenant que si
et
sont distincts dans
, alors
et
ne sont pas équivalentes.
Il suffit de prouver qu'elles n'ont pas le même caractère et pour cela, il suffit de prouver que leurs caractères diffèrent en a. Autrement dit, il suffit de prouver que
c'est-à-dire
.
On a noté que
(et de même pour j'), donc il s'agit de prouver que
.
Puisque
, la thèse peut s'écrire
![{\displaystyle \cos j{\frac {2\pi }{n}}+i\sin j{\frac {2\pi }{n}}+\cos(-j{\frac {2\pi }{n}})+i\sin(-j{\frac {2\pi }{n}})\not =\cos j'{\frac {2\pi }{n}}+i\sin j'{\frac {2\pi }{n}}+\cos(-j'{\frac {2\pi }{n}})+i\sin(-j'{\frac {2\pi }{n}})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a0918338325b5319dec8a4d49c2c2e076ec050a4)
![{\displaystyle 2\cos j{\frac {2\pi }{n}}\not =2\cos j'{\frac {2\pi }{n}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/62d6e70720036bf34f5b68690424a0d04623495f)
,
ce qui est bien vrai, car deux nombres réels ont le même cosinus si et seulement si leur somme ou leur différence appartient à
, ce qui n'est pas le cas des deux nombres réels
et
(puisque
et
).
Voici une seconde démonstration, plus purement algébrique, reposant seulement sur le fait que
est une racine primitive n-ième de l'unité (et non forcément la racine
).
Supposons qu'on ait
.
Alors
, donc
est l'opposé de son nombre complexe conjugué,
- donc
est un nombre purement imaginaire,
ce qui revient à dire que
et
ont la même partie réelle. On a donc
et ![{\displaystyle \epsilon ^{j'}=a+ci}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a4c56b377fcf0aa8d19930512e34a0b4dbea98cd)
pour certains nombres réels a, b et c.
Puisque
et
sont tous deux de valeur absolue 1, il faut
, d'où
,
, donc
et
sont égaux ou conjugués, ce qui revient à dire que
est égal à
ou à
. Donc
ou
est divisible par n, ce qui est incompatible avec les hypothèses sur
et
.
On a donc prouvé que
sont
-représentations irréductibles de degré 2 de D2n, deux à deux non équivalentes. Comme on l'a noté, il en résulte que ces représentations, jointes aux deux représentations de degré 1, forment un système complet de représentantes des classes de
-représentations irréductibles de D2n.
Les
-caractères irréductibles de D2n sont donc les caractères de ces
représentations.
La table des caractères de D2n peut donc être présentée comme suit (dans le cas n impair):
On notera que les valeurs de la table sont toutes réelles. En particulier, on trouve en faisant n = 3 que la tables des caractères d'un groupe diédral d'ordre 6 (par exemple
) peut se présenter comme suit :
.
(Pour la valeur
, on peut noter que si
est une racine primitive cubique de 1, alors
. On peut aussi utiliser la relation classique
.)
Passons au cas où n est pair. Choisissons de nouveau dans D2n un élément a d'ordre n et un élément b d'ordre 2 tels que b n'appartienne pas à
et que
.
D'après les exercices sur les groupes diédraux, problème intitulé « Dérivé et suite centrale d'un groupe diédral », le dérivé
de
est le sous-groupe
, qui est d'ordre n/2.
On en tire que le groupe quotient
(abélianisé de
) est un groupe de Klein, produit direct des deux sous-groupes (d'ordre 2)
et
, où la barre désigne la classe modulo
. Les quatre éléments de
sont
.
D'après des résultats rappelés plus haut, il en résulte qu'il y a exactement quatre homomorphismes de
dans
, à savoir les applications
définies par
;
;
;
.
Donc (section Caractères de degré 1),
a exactement quatre caractères de degré 1, à savoir
et
définis comme suit :
est la constante 1;
pour
pour
;
pour
et pour
pour
et pour
;
pour
et pour
pour
et pour
.
D'autre part, d'après les exercices sur les groupes diédraux, problème intitulé « Classes de conjugaison d'un groupe diédral », les différentes classes de conjugaison de D2n sont
![{\displaystyle \{1\},\{a^{n/2}\},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1da7593d78703bb3d2af650f10c2c025338dfdf8)
![{\displaystyle \{a,a^{n-1}\},\{a^{2},a^{n-2}\},\ldots ,\{a^{{\frac {n}{2}}-1},a^{{\frac {n}{2}}+1}\},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/840136089eee74ae6d0a933d02060bd03ede129e)
![{\displaystyle \{b,a^{2}b,\ldots ,a^{n-2}b\},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5c6ae3c1b00ba1787ef0b4f2c59b15ab940900b6)
- et
![{\displaystyle \{ab,a^{3}b,\ldots ,a^{n-1}b\}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4b43d14636dc71dc113a11db082cc423f8143d2d)
En particulier, le nombre des classes de conjugaison est n/2 + 3.
Puisque nous avons déjà trouvé les quatre
-caractères de degré 1 de D2n et que ces caractères peuvent être assimilés aux quatre
-représentations de degré 1 de D2n, il nous reste à trouver n/2 + 3 - 4 = n/2 - 1
-représentations irréductibles de degré > 1, deux à deux non équivalentes, de D2n.
Soient
les degrés de ces représentations. D'après un théorème du chapitre Caractères complexes des groupes finis, 2 : théorèmes sur les degrés,
![{\displaystyle 4+d_{5}^{2}+\cdots +d_{{\frac {n}{2}}+3}^{2}=\vert D_{2n}\vert =2n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/374de0dfc483f12193e5135464255887be646580)
avec
pour tout
.
Si un des
était > 2, on aurait
,
contradiction. Donc
sont tous égaux à 2.
Il nous reste donc à trouver n/2 - 1
-représentations irréductibles de D2n, de degré 2 et deux à deux non équivalentes.
Comme dans la solution du cas n impair, posons
![{\displaystyle \epsilon =e^{\frac {2\pi i}{n}}=\cos {\frac {2\pi }{n}}+i\sin {\frac {2\pi }{n}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ab9676589d893b196168c99c89be375ed6848dcd)
(où
dans
),
désignons par A la matrice
![{\displaystyle A={\begin{pmatrix}\epsilon &0\\0&\epsilon ^{-1}\\\end{pmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bf3582df9b4acb9bd40ad21f883507a10ac0c2b8)
et par B la matrice
.
La même démonstration que dans le cas n impair prouve que, pour tout entier rationnel j, il existe un et un seul homomorphisme, soit
, de D2n dans
qui applique a sur
et b sur B. L'homomorphisme
est une
-représentation matricielle de degré 2 de D2n. Les
se réduisent évidemment à
.
Dans la démonstration du cas n impair, on a en fait prouvé que (quelle que soit la parité de n) si j est un nombre naturel tel que
et
, la représentation
est irréductible. Donc, dans le cas où n est pair,
- les représentations
sont irréductibles.
Prouvons qu'elles sont deux à deux non équivalentes. Ici encore, il suffit de noter que, dans la démonstration du cas n impair, on a en fait prouvé (quelle que soit la parité de n) que si j, j' sont deux différents nombres naturels tels que
et
, les représentations
et
sont non équivalentes.
Nous avons donc trouvé n/2 - 1
-représentations irréductibles de degré 2, deux à deux non équivalentes, de D2n. Comme noté, elles forment avec les quatre
-représentations de degré 1 un système complet de
-représentations irréductibles deux à deux non équivalentes de D2n.
Numérotons les classes de conjugaison de la façon suivante :
,
pour ![{\displaystyle 2\leq j\leq {\frac {n}{2}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ed69f713c71866f6e1c6d8a7b833fcee37a29457)
![{\displaystyle K_{{\frac {n}{2}}+1}=\{a^{n/2}\},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/af024d2386bf09d2169d1534011784505b35bbe2)
![{\displaystyle K_{{\frac {n}{2}}+2}=\langle a^{2}\rangle b,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0a8b65b52ec1638108aedd1f4ee7253211801168)
![{\displaystyle K_{{\frac {n}{2}}+3}=\langle a^{2}\rangle ab.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6c8baf5de4bf3bea8c106b306bb41ae4d4b25981)
Nous avons déjà numéroté
les caractères de degré 1 de D2n. Pour
, désignons par
, et aussi par
, le caractère de la représentation
et calculons les valeurs de
.
Pour
, nous avons
![{\displaystyle \chi _{k}(K{j})=\chi _{k}(a^{j-1})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e495312977b360f0967448d2fda3fe565d451e59)
![{\displaystyle \chi _{k}(K{j})=Tr(T_{k-4}(a^{j-1}))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/acf70fea5ea4fa836dc01aba017d0b8c99072c47)
![{\displaystyle \chi _{k}(K{j})=Tr{\begin{pmatrix}\epsilon ^{(k-4)(j-1)}&0\\0&\epsilon ^{(k-4)(1-j)}\\\end{pmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9397861e86efcb0b775064be9fdfd1650b1b9bdc)
![{\displaystyle \chi _{k}(K{j})=\epsilon ^{(k-4)(j-1)}+\epsilon ^{(k-4)(1-j)}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4395f6d02829dc21fafe33e586cf24e99fd58fdb)
De plus, toujours pour
,
![{\displaystyle \chi _{k}(K_{{\frac {n}{2}}+2})=\chi _{k}(b)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a6250a11d461c9ce120e7300693cdc45f8e288ed)
![{\displaystyle \chi _{k}(K_{{\frac {n}{2}}+2})=Tr{\begin{pmatrix}0&1\\1&0\\\end{pmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/620ba8cabeb3aa07303317c95c43caf66d819bd3)
![{\displaystyle \chi _{k}(K_{{\frac {n}{2}}+2})=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dc07228e56c44aefbf86bc9905038310642486df)
et
![{\displaystyle \chi _{k}(K_{{\frac {n}{2}}+3})=\chi _{k}(ab)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/beb221d7404fecffe432574f49a9ecb90d8630e9)
![{\displaystyle \chi _{k}(K_{{\frac {n}{2}}+3})=Tr(A^{k-4}B)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b1344e60521858d4af7a01ad57e805d24f6b62a8)
![{\displaystyle \chi _{k}(K_{{\frac {n}{2}}+3})=Tr{\begin{pmatrix}0&\epsilon ^{k-4)}\\\epsilon ^{4-k}&0\\\end{pmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/75bf327e91b3eb84a9b20da6bcc90ea14b70faba)
![{\displaystyle \chi _{k}(K_{{\frac {n}{2}}+3})=0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/af1008255b32f27f4aaac2352afcc6e3cf07644a)
Donc, dans le cas n pair, la table des caractères de
peut se présenter comme suit :
Ici encore, on peut noter que toutes les valeurs de la table sont réelles. On trouvera dans les exercices une caractérisation des groupes finis possédant cette propriété.
En faisant n = 4 (et en tenant compte que, dans ce cas,
avec
, d'où
et
), nous trouvons que la table des caractères de
est
On déterminera dans les exercices les caractères irréductibles des groupes dicycliques et on verra que le groupe dicyclique d'ordre 8 (groupe des quaternions) a la même table de
-caractères que celle qu'on vient de trouver pour le groupe diédral d'ordre 8 (abstraction faite de la première ligne de titre). Puisque ces deux groupes ne sont pas isomorphes (voir le chapitre Groupes dicycliques), il en résulte que deux groupes finis qui ont la même table de
-caractères ne sont pas forcément isomorphes.
- ↑ I.M. Isaacs, Character Theory of Finite Groups, réimpr. Dover, 1994, p. 18.
- ↑ I.M. Isaacs, Character Theory of Finite Groups, réimpr. Dover, 1994, p. 18.