Groupe général linéaire (encyclopédie mathématiques)

Cet article est une ébauche concernant la géométrie et l'algèbre.

Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.

En mathématiques, le groupe général linéaire de degré n d’un corps commutatif K est le groupe des matrices n×n inversibles à coefficients dans K, muni de la multiplication matricielle. On le note GL_n(K), ou GL_n (ici GL(n,K)). Ces groupes sont importants dans la théorie des représentations de groupes et apparaissent lors de l’étude des symétries et des polynômes.

GL(n, K) et ses sous-groupes sont souvent appelés « groupes linéaires » ou « groupes matriciels ». Le groupe spécial linéaire, noté SL(n,K) et constitué des matrices de déterminant 1, est un sous-groupe normal de GL(n,K).

Sommaire

[modifier] Description

Cette section est vide, insuffisamment détaillée ou incomplète. Votre aide est la bienvenue !

GL(n, K) est un groupe pour la multiplication des matrices.

Si n ≥ 2, GL(n, K) n’est pas abélien.

GL(n, K) est engendré par les transvections et les dilatations.

[modifier] Groupe général linéaire

[modifier] Groupe général linéaire d’un espace vectoriel

Si E est un espace vectoriel sur le corps K, on appelle groupe général linéaire de E et on note GL(E) ou Aut(E), le groupe des automorphismes de E muni de la composition des fonctions.

Si E est de dimension n, alors GL(E) et GL(n,K) sont isomorphes. Cet isomorphisme n’est pas canonique et dépend du choix d’une base de E. Une fois cette base choisie, tout automorphisme de E peut être représenté par une matrice n×n inversible qui détermine l’isomorphisme.

[modifier] Sur les réels et les complexes

Si le corps K est ℝ (les nombres réels) ou ℂ (les nombres complexes), alors GL(n, ) est un groupe de Lie réel ou complexe de dimension n². En effet, GL(n) est constitué des matrices de déterminant non nul. Le déterminant étant une application continue (et même polynomiale), GL(n) est un sous-ensemble ouvert non vide de la variété M(n) des matrices n×n, or cette variété est de dimension n².

L’algèbre de Lie associée à GL(n) est M(n).

GL(n) est dense dans M(n).

GL(n, ℂ) est connexe. GL(n,ℝ) possède deux composantes connexes : les matrices de déterminant positif et celles de déterminant négatif. Les matrices n×n réelles de déterminant positif forment un sous-groupe de GL(n, ℝ), noté GL⁺(n, ℝ). Ce dernier est également un groupe de Lie de dimension n² et possède la même algèbre de Lie que GL(n,ℝ). Il est connexe.

[modifier] Sur les corps finis

Si K est un corps fini de q éléments, alors on écrit parfois GL(n, q) à la place de GL(n, K). C'est un groupe fini de (qⁿ - 1)(qⁿ - q)(qⁿ - q²) … (qⁿ - q^n-1) éléments (ce qui peut être prouvé en comptant le nombre de colonnes possibles de la matrice : la première colonne peut être n’importe laquelle, mise à part la colonne nulle, la deuxième n’importe laquelle, sauf les multiples de la première, etc.).

[modifier] Groupe spécial linéaire

Le groupe spécial linéaire d’ordre n sur un corps K, noté SL(n,K), est le groupe des matrices de déterminant 1. Il est engendré par les transvections.

Si on considère K^× le groupe multiplicatif des éléments inversibles de K, le déterminant est un homomorphisme de groupe :

det: GL(n,K) $\rightarrow$ K^×

Le noyau de cette application est le groupe spécial linéaire. C'est donc un sous-groupe normal de GL(n,K), et d’après le premier théorème d’isomorphisme, GL(n,K)/SL(n,K) est isomorphe à K^×. En fait, GL(n,K) est un produit semi-direct de SL(n,K) par K^× :

GL(n, K) = SL(n, K) ⋊ K^×

Lorsque K est ℝ ou ℂ, SL(n) est un sous-groupe de Lie de GL(n) de dimension n²-1. L'algèbre de Lie de SL(n) est formée des matrices n×n à coefficients réels ou complexes de trace nulle.

Le groupe spécial linéaire SL(n,ℝ) peut être vu comme le groupe des transformations linéaires de ℝⁿ préservant le volume et l’orientation.

[modifier] Groupe projectif linéaire

Le groupe projectif linéaire (en) PGL(E) d’un espace vectoriel E sur un corps commutatif K est le groupe quotient GL(E)/Z(E), où Z(E) est le centre de GL(E), c'est-à-dire le sous-groupe formé des matrices scalaires non nulles. Le groupe projectif spécial linéaire PSL(E) de E est le groupe quotient de SL(E) par son centre SZ(E'), c'est-à-dire par le sous-groupe formé par les matrices scalaires de déterminant 1^[1].

Cette dénomination vient de la géométrie projective, où le groupe projectif agissant sur les coordonnées homogènes (x₀:x₁: … :x_n) est le groupe sous-jacent de cette géométrie (en conséquence, le groupe PGL(n+1,K) agit sur l'espace projectif de dimension n). Le groupe projectif linéaire généralise donc le groupe PGL(2) des transformations de Möbius, parfois appelé le groupe de Möbius.

Le groupe projectif spécial linéaire PSL(n,F_q) d’un corps fini F_q est parfois noté L_n(q). Les groupes L_n(q) sont des groupes simples (finis) quand n est au moins égal à 2, sauf L₂(2) et L₂(3). Plus généralement, si E est un espace vectoriel de dimension finie au moins égale à 2 sur un corps commutatif K (fini ou infini), le groupe projectif spécial linéaire PSL(E) est simple sauf dans le cas où la dimension de E est égale à 2 et le nombre d'éléments de K égal à 2 ou à 3^[2].

[modifier] Sous-groupes

[modifier] Diagonaux

L’ensemble des matrices diagonales de déterminant non nul forme un sous-groupe de GL(n, K) isomorphe à (K^×)ⁿ. Il est engendré par les dilatations.

Une matrice scalaire est une matrice d'homothétie, c'est-à-dire une matrice diagonale qui est le produit de la matrice identité par une constante. L’ensemble des matrices scalaires non nulles, parfois noté Z(n,K), forme un sous-groupe de GL(n, K) isomorphe à K^×. Ce groupe est le centre de GL(n, K). Il est donc normal dans GL(n, K) et abélien.

Le centre de SL(n,K), noté SZ(n,K), est simplement l’ensemble des matrices scalaires de déterminant 1. Il est isomorphe au groupe des racines n-ièmes de 1.

[modifier] Classiques

Les groupes classiques sont les sous-groupes de GL(E) qui préservent une partie du produit interne sur E. Par exemple :

le groupe orthogonal, O(E), qui préserve une forme bilinéaire symétrique sur E
le groupe symplectique, Sp(E), qui préserve une forme bilinéaire antisymétrique sur E
le groupe unitaire, U(E), qui préserve une forme hermitienne sur E (quand K est ℂ).

Ces groupes sont des exemples importants de groupes de Lie.

[modifier] Notes et références

(en) Cet article est partiellement ou en totalité issu de l’article en anglais intitulé « General linear group » (voir la liste des auteurs)

↑ Pour ces définitions, voir par exemple J.J. Rotman, An Introduction to the Theory of Groups, 4^e édition, tirage de 1999, pp. 222-223.
↑ Pour une démonstration, voir par exemple J.J. Rotman, An Introduction to the Theory of Groups, 4^e édition, tirage de 1999, théor. 9.46, pp. 279-280.

Groupe général linéaire