Théorie des groupes/Groupes linéaires

Début de la boite de navigation du chapitre

Dans ce chapitre, nous allons définir les groupes linéaires, qui relèvent de l'algèbre linéaire, et démontrer certaines de leurs propriétés qui nous serviront dans le chapitre Théorèmes de Sylow. Toutefois, nous verrons que les théorèmes de Sylow peuvent également se démontrer sans utiliser l'algèbre linéaire, de sorte que le lecteur peut omettre le présent chapitre en première lecture. Nous retrouverons les groupes linéaires au chapitre Simplicité des groupes linéaires spéciaux projectifs.

fin de la boite de navigation du chapitre

Conventions et rappels sur les matrices

On définira une matrice à r lignes et à s colonnes (r et s étant des nombres naturels) comme une famille (« double ») indexée par le produit cartésien $\{1,\ldots ,r\}\times \{1,\ldots ,s\}$. Si $(a_{i,j})_{(i,j)\in \{1,\ldots ,r\}\times \{1,\ldots ,s\}}$ est une telle matrice, les $a_{i,j}$ sont appelés les coefficients de la matrice; plus précisément, on dit que $a_{i,j}$ est le coefficient de la i-ième ligne et de la j-ième colonne.

Dans ce qui précède, les mots « ligne » et « colonne » ont un sens purement conventionnel. L'usage de ces mots s'explique par le fait qu'on représente couramment une matrice à r « lignes » et s « colonnes » par un tableau rectangulaire à r lignes et s colonnes, cette fois au sens courant des mots « ligne » et « colonne ». Les lignes de ce tableau étant numérotées de haut en bas et les colonnes de gauche à droite, on met le coefficient $a_{i,j}$ de la matrice à l'intersection de la i-ième ligne et de la j-ièmes colonne.

Au lieu de « matrice à r lignes et s colonnes », nous dirons parfois « matrice $r\times s$ ».

Si M et N sont deux matrices $r\times s$ dont les coefficients appartiennent à un même anneau A, on définit la somme M + N des matrices M et N (relativement à l'anneau A) de la façon suivante : si $M=(a_{i,j})_{(i,j)\in \{1,\ldots ,r\}\times \{1,\ldots ,s\}}$, si $N=(b_{i,j})_{(i,j)\in \{1,\ldots ,r\}\times \{1,\ldots ,s\}}$, alors

$M+N=(a_{i,j}+b_{i,j})_{(i,j)\in \{1,\ldots ,r\}\times \{1,\ldots ,s\}},$

où la somme $a_{i,j}+b_{i,j}$ est prise dans l'anneau A.

Si M est une matrice à r lignes et s colonnes à coefficients dans l'anneau A, si N est une matrice à s lignes et t colonnes à coefficients dans le même anneau A (N a donc autant de lignes que M de colonnes), nous définirons le produit MN des matrices M et N (relativement à l'anneau A) de la façon suivante : si $M=(a_{i,j})_{(i,j)\in \{1,\ldots ,r\}\times \{1,\ldots ,s\}}$, si si $N=(b_{j,k})_{(j,k)\in \{1,\ldots ,s\}\times \{1,\ldots ,t\}}$, alors

$MN=(c_{i,k})_{(i,k)\in \{1,\ldots ,r\}\times \{1,\ldots ,t\}}$,

où $c_{i,k}=\sum _{j=1}^{s}a_{i,j}b_{j,k},$ le calcul de $c_{i,k}$ se faisant dans l'anneau A.

Les seules matrices que nous rencontrerons dans ce chapitre seront des matrices à coefficients dans des corps commutatifs. (Nous éviterons les corps non commutatifs pour ne pas devoir distinguer entre espaces vectoriels à gauche et espaces vectoriels à droite.)

Soit F un corps commutatif, soient V, W des F-espaces vectoriels de dimensions finies s et r respectivement, soit $(v_{1},\ldots ,v_{s})$ une base numérotée de V (on entendra par là une famille basique de V indexée par l'ensemble {1, ... , s}), soit $(w_{1},\ldots ,w_{r})$ une base numérotée de W; soit f un F-homomorphisme de V dans W; nous définirons la matrice de f dans les bases $(v_{1},\ldots ,v_{s})$ et $(w_{1},\ldots ,w_{r})$ comme la matrice $M=(a_{i,j})_{(i,j)\in \{1,\ldots ,r\}\times \{1,\ldots ,s\}}$, où $a_{i,j}$ désigne la i-ième composante de $f(v_{j})$ dans la base $(w_{1},\ldots ,w_{s})$.

Si f et g sont deux F-homomorphismes de V dans W, si M (resp. N) désigne la matrice de f (resp. g) dans les bases $(v_{1},\ldots ,v_{r})$ et $(w_{1},\ldots ,w_{s})$, alors la matrice de f + g dans ces bases est M + N.

Soit F un corps commutatif, soient $V_{1}$, $V_{2}$, $V_{3}$ des F-espaces vectoriels de dimensions finies, soient respectivement $B_{1}$, $B_{2}$, $B_{3}$ des bases numérotées de $V_{1}$, $V_{2}$ et $V_{3}$. Si f est un F-homomorphisme de $V_{1}$ dans $V_{2}$, si g est un F-homomorphisme de $V_{2}$ dans $V_{3}$, si M désigne la matrice de f dans les bases $B_{1}$ et $B_{2}$, si N désigne la matrice de g dans les bases $B_{2}$ et $B_{3}$, alors la matrice de $g\circ f$ dans les bases $B_{1}$ et $B_{3}$ est NM.

Les auteurs qui, contrairement au choix fait dans le présent cours, préfèrent les opérations de groupes à droite aux opérations à gauche, composent habituellement les applications de gauche à droite alors que nous les composons de droite à gauche. Autrement dit, ces auteurs écrivent $fg$ là où nous écrivons $g\circ f$. Ces auteurs définissent en général la matrice d'un F-homomorphisme de V dans W dans une base $(v_{1},\ldots ,v_{s})$ de V et une base $(w_{1},\ldots ,w_{r})$ de W comme la matrice $M=(a_{i,j})_{(i,j)\in \{1,\ldots ,s\}\times \{1,\ldots ,r\}}$, où $a_{i,j}$ désigne la j-ième composante de $f(v_{i})$ dans la base $(w_{1},\ldots ,w_{r})$. Cette matrice est la transposée de celle que nous avons définie comme la matrice de f dans les bases $(v_{1},\ldots ,v_{s})$ de V et $(w_{1},\ldots ,w_{r})$ de W. Avec la définition donnée par les auteurs en question, on peut énoncer :

« Soit F un corps commutatif, soient V, W, U des F-espaces vectoriels de dimensions finies, soit $B_{V}$ une base numérotée de V, soit $B_{W}$ une base numérotée de W, soit $B_{U}$ une base numérotée de U. Si f est un F-homomorphisme de V dans W, si g est un F-homomorphisme de W dans U, si M désigne la matrice de f dans les bases $B_{V}$ et $B_{W}$, si N désigne la matrice de g dans les bases $B_{W}$ et $B_{U}$, alors la matrice de $fg$ dans les bases $B_{V}$ et $B_{U}$ est MN. »

C'est en raison de l'existence de ces conventions différentes qu'on a fait la présente mise au point.

Groupes linéaires

Définition : groupe linéaire relatif à un espace vectoriel.

Soit V un espace vectoriel. L'ensemble des automorphismes de V, muni de la loi $(f,g)\mapsto f\circ g$, est un groupe, qu'on appelle le groupe linéaire relatif à V, ou encore le groupe linéaire de V, et qu'on note GL(V).

Le groupe GL(V) est donc un sous-groupe du groupe symétrique $S_{V}$ (groupe des permutations de V, ou, plus exactement, de l'ensemble sous-jacent de V).

Définition : groupe linéaire GL(n, K).

Soit K un corps commutatif, soit $n$ un nombre naturel. L'ensemble des matrices carrées inversibles de taille $n$ à coefficients dans K, muni de la loi $(M,N)\mapsto MN$, est un groupe, qu'on note GL(n, K) et qu'on appelle parfois le groupe linéaire GL(n, K).

Début d’un théorème

Énoncé 1

Soit K un corps commutatif, soient V et W deux K-espaces vectorels isomorphes. Alors GL(V) et GL(W) sont isomorphes.

Fin du théorème

Démonstration

Choisissons un isomorphisme $\sigma$ de V sur W. Pour tout automorphisme $\varphi$ de V, $\sigma \circ \varphi \circ \sigma ^{-1}$ est un automorphisme de W et on vérifie facilement que $\varphi \mapsto \sigma \circ \varphi \circ \sigma ^{-1}$ définit un isomorphisme de GL(V) sur GL(W).

 

Début d’un théorème

Énoncé 2

Soit K un corps commutatif, soit V un K-espace vectorel de dimension finie $n$. Alors GL(V) est isomorphe à GL(n, K). Plus précisément, si B est une base de V, l’application qui fait correspondre à un automorphisme de V sa matrice dans la base B est un isomorphisme de GL(V) sur GL(n, K).

Fin du théorème

Démonstration : c'est un résultat classique d'algèbre linéaire.

Début d’un théorème

Énoncé 3

Soient $K_{1}$ et $K_{2}$ des corps commutatifs isomorphes. Pour tout nombre naturel $n$, le groupe $GL(n,K_{1})$ et le groupe $GL(n,K_{2})$ sont isomorphes.

Fin du théorème

Démonstration

Choisissons un isomorphisme $\sigma$ du corps $K_{1}$ sur le corps $K_{2}.$ Pour toute matrice M appartenant à $GL(n,K_{1})$, c'est-à-dire pour toute matrice inversible $n\times n$ à coefficients dans $K_{1}$, désignons (abusivement) par $\sigma (M)$ la matrice obtenue en remplaçant dans M chaque coefficient par son image par $\sigma$. On vérifie facilement que $\sigma (M)$ appartient à $GL(n,K_{2})$ et que $M\mapsto \sigma (M)$ définit un isomorphisme de $GL(n,K_{1})$ sur $GL(n,K_{2}).$

 

Début d’un théorème

Énoncé 4

Soit V un espace vectoriel non nul de dimension finie n sur un corps commutatif fini K à q éléments. Alors

$\vert \mathrm {GL} (V)\vert =(q^{n}-1)(q^{n}-q)\ldots (q^{n}-q^{n-1})$

Fin du théorème

Démonstration

On sait (algèbre linéaire) que les éléments de GL(V) (automorphismes de V) sont en correspondance biunivoque avec les n-uplets de vecteurs linéairement indépendants de Kⁿ. Pour construire un tel n-uplet, nous avons qⁿ - 1 choix possibles pour le premier vecteur (tous les vecteurs non nuls). À un choix du premier vecteur correspondent qⁿ - q choix possibles pour le second vecteur (tous les vecteurs n'appartenant pas au sous-espace de dimension 1 de Kⁿ engendré par le premier vecteur choisi). Il y a donc (qⁿ - 1) (qⁿ - q) choix possibles pour les deux premiers vecteurs. À un choix des deux premiers vecteurs correspondent qⁿ - q² choix possibles pour le troisième vecteur (tous les vecteurs n'appartenant pas au sous-espace de dimension 2 de Kⁿ engendré par les deux premiers vecteurs choisis). En poursuivant, on obtient la valeur de $\vert \mathrm {GL} (V)\vert$ donnée dans l'énoncé.

 

Notation numérique GL(n, q)

On démontre en algèbre que

1° tout corps fini est commutatif;

2° deux corps finis de même cardinal sont toujours isomorphes;

3° tout corps fini a pour cardinal un nombre de la forme $p^{r}$, avec $p$ premier et $r\geq 1$;

4° pour tout nombre premier $p$ et tout nombre naturel $r\geq 1$, il existe des corps de cardinal $p^{r}$ (tous isomorphes d'après le point 2°).

De cela et de l'énoncé 3, il résulte que si $q$ est un nombre de la forme $p^{r}$, où $p$ est un nombre premier et $r$ un nombre naturel $\geq 1$, si $n$ est un nombre naturel, tous les groupes linéaires GL(n, K), où K parcourt les corps de cardinal $q$, sont isomorphes.
Donc on peut définir, à isomorphisme près, un groupe $GL(n,q)$, dont on se contente de savoir qu'il est isomorphe à GL(n, K) pour tout corps K de cardinal $q$. D'après l'énoncé 2, le groupe $GL(n,q)$ est isomorphe à GL(V) pour n'importe quel espace vectoriel V de dimension $n$ sur n'importe quel corps de cardinal $q$.
L'énoncé 4 s'écrit alors

$\vert \mathrm {GL(n,q)} \vert =(q^{n}-1)(q^{n}-q)\ldots (q^{n}-q^{n-1}).$