Représentations du groupe symétrique d'ordre quatre

Un article de Wikipédia, l'encyclopédie libre.

En mathématiques les représentations du groupe symétrique d'ordre quatre noté S₄ sont un exemple d'application de la théorie des représentations d'un groupe fini.

Sur le corps des nombres complexes, il existe cinq représentations irréductibles du groupe symétrique d'ordre quatre, la représentation triviale, celle correspondant à la signature, une d'ordre deux et deux d'ordre trois. L'une s'obtient de l'autre par produit tensoriel avec la représentation correspondant à la signature. Une des représentations de degré trois correspond aux rotations linéaires laissant invariant un cube.

L'analyse des représentations de S₄ est une illustration des concepts comme le théorème de Maschke, les caractères, la représentation régulière, les représentations induites et la réciprocité de Frobenius.

Sommaire

1 Histoire
2 Caractère
- 2.1 Classe de conjugaison
- 2.2 Orthogonalité
3 Représentation
- 3.1 Représentation de θ
- 3.2 Représentation de φ
4 Notes et références

[modifier] Histoire

L'histoire des représentations du groupe symétrique d'ordre quatre, avec celui d'ordre cinq et des groupes alternés associé joue un rôle particulier pour la théorie des caractères. Le 12 avril 1896 est la date de naissance^[1] généralement considérée de cette théorie. Dans une série de lettres adressées à Dedekind (1831-1916), Frobenius (1849 - 1917) analyse les représentations des groupes cités et présente les fondements qu'il développe pendant les années à venir.

Si les méthodes sont différentes de celles maintenant utilisées, Frobenius utilise en effet comme outil essentiel les déterminants de groupes tombés maintenant en désuétude, les bases de la théorie sont esquissées. Elle se développe rapidement, Heinrich Maschke (1853 1908) démontre le théorème portant maintenant son nom^[2] trois ans plus tard. En 1911, William Burnside (1852-1927) publie la seconde édition du livre^[3] encore de référence contenant toutes les techniques utilisées dans cet article.

[modifier] Caractère

Voir l’article Représentations d'un groupe fini.

Les représentations des groupes finis possèdent une propriété simplifiant largement leur analyse, elles sont toutes somme directe de représentation irréductibles. Il suffit donc de connaître toutes les représentations irréductibles pour savoir construire toutes les représentations.

[modifier] Classe de conjugaison

Voir l’article Classe de conjugaison.

Les classes de conjugaison ont un rôle important pour les représentations, il existe en effet exactement autant de représentations irréductibles que de classes de conjugaison.

Comme le montre l'article Groupe symétrique, Les conjuguées d'un élément de S₄ sont les permutations dont la décomposition en produit de cycles à supports disjoints a la même structure que celle de $σ$ : même nombre de cycles de chaque longueur.

Dans le cas de S₄, on en trouve exactement cinq : l'identité, les transpositions de la forme (ab) au nombre de six, les cycles de longueurs trois de la forme (abc) au nombre de huit, les paires de transpositions (ab)(cd) au nombre de trois et les cycles de longueur quatre de la forme (abcd) au nombre de six. On retrouve bien les vingt-quatre éléments du groupe répartis en cinq classes de conjugaison.

[modifier] Orthogonalité

Voir l’article Caractère d'une représentation d'un groupe fini.

Le caractère d'une représentation correspond à l'application de S₄ dans C l'ensemble des nombres complexes, qui à un élément s associe la trace de l'automorphisme associé à s par la représentation. Les caractères possèdent des propriétés fortes : ils forment une base de l'espace des fonctions centrales à valeur dans C. Une fonction centrale est une fonction définie sur le groupe et constante sur les classes de conjugaisons. De plus, pour le produit hermitien suivant la famille des caractères irréductibles est une base orthonormale :

$<\chi_1\,|\,\chi_2>=\frac {1}{24} \sum_{s \in S_4} \chi_1(s).\chi_2(s)^*$

Ici, χ_i désignent des fonctions centrales à valeur dans C et a^* désigne le conjugué du nombre complexe a.

Un caractère est irréductible si et seulement si sa norme est égale à un, deux représentations irréductibles sont isomorphes si et seulement si leur produit hermitien est égal à un, dans le cas contraire, le produit est nul. De plus, si d_i pour i variant de 1 à 5 désigne les degrés des différentes représentation irréductibles, on dispose de l'égalité suivante :

$\sum_{i=1}^5 d_i^2=24 \;$

Il existe deux représentations irréductibles immédiates, l'une est la représentation triviale t qui à chaque élément du groupe associe un, l'autre σ associe la signature. Pour ces deux représentations, on obtient la table des caractères :

Car. irr.	1	(ab)	(abc)	(ab)(cd)	(abcd)
t	1	1	1	1	1
σ	1	-1	1	1	-1

Il existe une représentation naturelle (V, ρ) du groupe S₄ : soit V un espace de dimension quatre sur C, p une permutation de S₄, (e_i) pour i variant de 1 à 4 une base de V alors l'image de ρ(p) de la base (e_i) est la famille (e_p(i)). Chaque élément de S₄ possède comme image par ρ un automorphisme de matrice une matrice de permutation d'ordre quatre. La trace de ρ(s) si s est un élément du groupe correspond au nombre de vecteur de la base laissé invariant, si l'ordre des classes de conjugaison est le même que celui du tableau, on obtient le caractère (4, 2, 1, 0, 0). Le sous-espace vectoriel de dimension un engendré par le vecteur somme des éléments de la base est stable et correspond à la représentation irréductible triviale. Comme toute représentation est somme directe de représentation irréductible, il existe une représentation, correspondant à la représentation naturelle à laquelle a été retranchée la représentation triviale. On obtient une représentation φ₁ de caractère (3, 1, 0, -1, -1) obtenu en retranchant le caractère de la représentation triviale à celle de la représentation naturelle. On vérifie qu'il correspond à un caractère irréductible :

$<\chi_{\varphi_1}\, |\,\chi_{\varphi_1}>=\frac {1}{24}\Big(3^2+6\times 1^2+8\times 0^2 + 3\times (-1)^2 + 6\times (-1)^2\Big)=1 \;$

Le produit tensoriel de deux représentations est une représentation de caractère le produit des caractères, en conséquence si φ₂ est le produit tensoriel de φ₁ et de σ, on obtient représentation de caractère (3, -1, 0, -1, 1). Un calcul analogue à celui appliqué à φ₁ montre qu'il est irréductible.

Les caractères de quatre des cinq représentations irréductibles recherchées sont élucidés. La somme des carrés des degrés des quatre représentations est égale à 20, le degré d'une représentation est donnée par la valeur du caractère pour l'identité. Il manque donc une représentation de degré dont le carré est égal à quatre, c'est à dire une représentation irréductible θ de degré deux. Utilisons la représentation régulière pour déterminer le dernier. La représentation régulière est somme directe de toutes les représentations irréductibles et il existe autant de copies d'une représentation irréductible donnée que la dimension de cette représentation irréductible. De plus le caractère de la représentation régulière est (24, 0, 0, 0, 0). Par soustraction, on obtient le caractère de θ : (2, 0, -1, 2, 0). Le tableau des caractères est donc :

Car. irr.	1	(ab)	(abc)	(ab)(cd)	(abcd)
t	1	1	1	1	1
σ	1	-1	1	1	-1
θ	2	0	-1	2	0
φ₁	3	1	0	-1	-1
φ₂	3	-1	0	-1	1

[modifier] Représentation

L'objectif du paragraphe est la détermination effective des différentes représentations. Pour celle de dimension un, c'est à dire t et σ, elles se confondent avec leur caractère, elles sont donc de facto déterminées.

Le groupe S₄ est engendré par les transpositions, il n'est donc nécessaire que de déterminer les représentations que pour elles. De plus, on remarque que les transpositions (12), (23), (34) engendrent toutes les transpositions, donc le groupe entier. Dans la suite de paragraphe, les représentations ne sont exprimées que sur ces trois éléments. Les autres se déduisent par produits des automorphismes précédents.

[modifier] Représentation de θ

Voir l’article Représentations du groupe symétrique d'ordre trois.

Représentation de S₃ comme groupe des isométries du triangle

Considérons le groupe H formé des quatres éléments 1 et les trois éléments de la classe de conjugaison de la forme (ab)(cd). On vérifie aisément que c'est un sous groupe, de plus comme il est formé par l'union de deux classes de conjugaison, il est distingué. Considérons alors le groupe S₄/H. C'est un groupe d'ordre six, isomorphe à S₃. Soient s la surjection canonique de S₄ dans S₄/H et (W, θ₂) la représentation irréductible de S₃ d'ordre deux (cf Représentations du groupe symétrique d'ordre trois), définissons alors θ comme étant égal à θ₂os. La composition de morphismes étant un morphisme, (W, θ) est une représentation. Déterminons son caractère : il existe trois tanspositions dans S₃ correspondant à douze valeurs dans S₄ correspondant aux transpositions et aux éléments de la classe (ab)(cd). Il existe deux éléments d'ordre deux dans S₃ correspondant à la classe (abc) dans S₄, enfin la classe de l'élément neutre est composé du sous-groupe H. On en déduit que cette représentation possède bien le caractère recherchée et :

$\Theta_{(12)}=\Theta_{(34)}=\begin{pmatrix}1 & 0 \\ 0 & -1 \end{pmatrix}\quad et \quad \Theta_{(23)}=\begin{pmatrix} cos\frac{2\pi}3 & sin\frac{2\pi}3 \\ sin\frac{2\pi}3 & -cos\frac{2\pi}3 \end{pmatrix}$

La représentation possède bien le caractère recherché. Elle est de degré deux, le caractère est donc bien égal à deux pour la classe de conjugaison associée à l'identité, composée par le groupe H. Les transpositions représentent trois images par la représentation, chaque classe contient deux transpositions et deux cycles d'ordre quatre, la valeur associée au caractère est égale à zéro. Enfin, les cycles d'ordre trois sont formés par les éléments de la classe (abc), elle engendre deux images par la représentation.

La représentation est alors celle du groupe des isométries du triangle. Elle n'est pas fidèle et chaque automorphisme de la représentation possède quatre antécédents. La figure de droite illustre cette représentation, les rotations différentes de l'identité correspondent aux transpositions, les éléments d'ordre trois aux symétries d'axes illustrés en rouge sur le graphique.

[modifier] Représentation de φ

Représentation de S₄ comme groupe des rotation du cube.

Considérons la représentation naturelle, celle définie par le fait que le groupe S₄ opère par permutation sur une base (e_i) d'un espace de dimension quatre. Le paragraphe précédent montre qu'une telle représentation possède le caractère de φ₁.

Si l'on considére la base (u_i) définie par la matrice de passage P de (u_i) dans (e_i), on obtient comme matrice de la représentation φ₁:

$P=\frac 12 \begin{pmatrix}1 & 1 & 1 & 1 \\ 1 & 1 & -1 & -1 \\1 & -1 & 1 & -1 \\1 & -1 & -1 & 1 \end{pmatrix}, \quad \Phi_1(12)= \begin{pmatrix}1 & 0 & 0 \\ 0 & 0 & -1 \\ 0 & -1 & 0 \end{pmatrix}, \quad \Phi_1(23)= \begin{pmatrix}0 & 1 & 0 \\ 1 & 0 & 0 \\ 0 & 0 & 1 \end{pmatrix}, \quad \Phi_1(34)= \begin{pmatrix}1 & 0 & 0 \\ 0 & 0 & 1 \\ 0 & 1 & 0 \end{pmatrix}$

Pour obtenir la représentation φ₂, il suffit de multiplier la représentation matricielle de φ₁ par le caractère σ. Elle est généralement obtenue avec les générateurs suivant:

$\Phi_2(1423)= \begin{pmatrix}1 & 0 & 0 \\ 0 & 0 & 1 \\ 0 & -1 & 0 \end{pmatrix}, \quad \Phi_2(1234)= \begin{pmatrix}0 & 0 & -1 \\ 0 & 1 & 0 \\ 1 & 0 & 0 \end{pmatrix}, \quad \Phi_2(1342)= \begin{pmatrix}0 & 1 & 0 \\ -1 & 0 & 0 \\ 0 & 0 & 1 \end{pmatrix}$

On reconnait trois rotations laissant invariant le cube, la première suivant l'axe des x, la deuxième suivant l'axe des y et la troisième suivant celui des z.

La figure de droite illustre l'interprétation géométrique de la représentation φ₂, l'image de (1423) est celle représentée par la flèche rouge, celle de (1234) par la bleue et celle de (1342) par la verte.

[modifier] Notes et références

Articles sur les Représentations d'un groupe d'ordre fini

Modifier

[modifier] Notes

↑ C. W. Curtis Representation theory of finite groups, from Frobenius to Brauer Math. Intelligencer p 48-57 1992
↑ Heinrich Maschke Beweiss des Satzes, dass diejenigen endlichen linearen Substitutionesgruppen, in welchen einige durchgehends verschwindende Coefficienten auftenen intransitiv sind 1899
↑ William Burnside Theory of Groups of Finite Order second edition Dover Publications Réédition de 2004

[modifier] Liens externes

(fr) Cours de représentation des groupes finis par M. Broué de l'université de Paris VII
(fr) Représentation linéaire des groupes finis, une introduction par D. Ferrand de l'université de Renne
(fr) Représentations linéaires des groupes finis Par Gabriel Peyré

[modifier] Références

Jean-Pierre Serre, Représentations linéaires des groupes finis [détail des éditions]
(en) Marshall Hall The theory of groups [détail des éditions]
Serge Lang, Algèbre [détail des éditions]
N. Bourbaki Algèbre, Chapitre VIII Paris, Hermann 1958