Théorie des groupes/Groupes linéaires

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/]].

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,\dots ,r\}\times \{1,\dots ,s\}$. Si $(a_{i,j}{)}_{(i,j)\in \{1,\dots ,r\}\times \{1,\dots ,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,\dots ,r\}\times \{1,\dots ,s\}}$, si $N=(b_{i,j}{)}_{(i,j)\in \{1,\dots ,r\}\times \{1,\dots ,s\}}$, alors

$M+N=(a_{i,j}+b_{i,j}{)}_{(i,j)\in \{1,\dots ,r\}\times \{1,\dots ,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,\dots ,r\}\times \{1,\dots ,s\}}$, si si $N=(b_{j,k}{)}_{(j,k)\in \{1,\dots ,s\}\times \{1,\dots ,t\}}$, alors

$MN=(c_{i,k}{)}_{(i,k)\in \{1,\dots ,r\}\times \{1,\dots ,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,\dots ,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,\dots ,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,\dots ,v_s)$ et $(w_1,\dots ,w_r)$ comme la matrice $M=(a_{i,j}{)}_{(i,j)\in \{1,\dots ,r\}\times \{1,\dots ,s\}}$, où $a_{i,j}$ désigne la i-ième composante de $f(v_j)$ dans la base $(w_1,\dots ,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,\dots ,v_r)$ et $(w_1,\dots ,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,\dots ,v_s)$ de V et une base $(w_1,\dots ,w_r)$ de W comme la matrice $M=(a_{i,j}{)}_{(i,j)\in \{1,\dots ,s\}\times \{1,\dots ,r\}}$, où $a_{i,j}$ désigne la j-ième composante de $f(v_i)$ dans la base $(w_1,\dots ,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,\dots ,v_s)$ de V et $(w_1,\dots ,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

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).

Modèle:Théorème Démonstration : c'est un résultat classique d'algèbre linéaire.

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\ge 1$;

4° pour tout nombre premier $p$ et tout nombre naturel $r\ge 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 $\ge 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

$|\mathrm{G}\mathrm{L}\mathrm{(}\mathrm{n},\mathrm{q}\mathrm{)}|=(q^n-1)(q^n-q)\dots (q^n-q^{n-1}).$