X Maths 2 MP 2010 -- Corrigé
Ce corrigé est proposé par Jérôme Gärtner (ENS Cachan) ; il a été relu par
Romain
Cosset (ENS Cachan) et Vincent Puyhaubert (Professeur en CPGE).
Ce sujet d'algèbre générale et linéaire aborde le problème des représentations
linéaires de groupes finis, ainsi que la classification des sous-groupes finis
de GL2 (C).
Il est composé de quatre parties : les deux premières sont plutôt courtes -- la
première
partie ne comporte qu'une question -- tandis que les deux suivantes représentent
le coeur du problème.
· La première partie s'intéresse à la réduction des matrices appartenant à un
sous-groupe fini de GL2 (C).
· La deuxième consiste en une rapide étude du groupe diédral d'ordre 3, qui est
le groupe des isométries vectorielles planes conservant un triangle équilatéral.
· La troisième partie aborde un cas particulier de représentation linéaire de
groupes finis, principalement du point de vue des vecteurs invariants sous
un groupe et de l'algèbre de groupe, qui est un outil formel introduit à la
question 10. Cette partie fait intervenir beaucoup de notations.
· La dernière partie vise à classer les sous-groupes finis de GL2 (C) ne
contenant
pas d'homothétie non-triviale. La dernière question consiste en une application
rapide de cette classification. Cette partie demande un bon esprit de synthèse.
Ce sujet est long et varié : on y trouve des questions classiques (notamment 1,
2, 7 et 11), astucieuses ou de synthèse (8, 10, 13, 15), calculatoires (3, 6)
et même
des questions assez faciles (14 et 16). Sa difficulté provient pour l'essentiel
du thème
choisi, qui nécessite l'introduction de définitions dans le sujet et un bon
recul sur
le programme pour l'aborder. En le travaillant, vous musclerez votre capacité
d'abstraction et vous vous entraînerez efficacement à réutiliser des questions
déjà traitées.
Indications
1 Chercher un polynôme annulateur à l'aide des rappels de l'énoncé, puis
raisonner
par récurrence sur la dimension de E.
e 3 sur les sommets du triangle.
2.a Étudier l'action des éléments de D
3 Utiliser les matrices élémentaires pour montrer que les seules matrices qui
commutent avec toutes les autres sont les homothéties.
e
5 Montrer que toutes les matrices de AG s'écrivent In pour C.
6 Utiliser la base canonique (Ep,q )p,q de A et calculer la composante suivant
le
vecteur Ep,q de MEp,q N.
7.a Remarquer que si C G, l'application B 7 BC est une bijection de G.
7.b Pour un projecteur d'un C-espace vectoriel, le rang est égal à la trace.
e et à l'espace A. Pour le cas où i est
8 Appliquer ce qui précède au groupe G
non-injectif, regrouper les éléments de G selon leur image par i : ces éléments
ne différent que par un élément du noyau de i.
e
9.a Montrer que X AG .
9.b Utiliser la question 9.a et le fait que
P
Tr i(B) = Tr Y.
BG
t
10.c Construire un vecteur propre de A, en isolant un terme dans l'égalité
matricielle, qui découle des questions 10.b et 9.b, pour montrer que det( t R)
= 0.
10.d Utiliser la caractérisation des racines rationnelles d'un polynôme à
coefficients
n
P
entiers : si
ak Xk est un polynôme à coefficients entiers et p/q une racine de
k=0
ce polynôme, alors p divise a0 et q divise an .
11.b
12.a
12.b
13.a
13.c
14.a
15.a
15.b
16.a
16.b
16.c
17
18
Utiliser l'orthogonal pour le produit h | i0 .
Ces matrices sont diagonalisables...
Appliquer le résultat de la question 10.d.
Utiliser le résultat de la question 1.
Un groupe isomorphe à un sous-groupe d'un groupe commutatif est lui-même
commutatif.
Calculer le déterminant de B0 CB0 -1 , puis identifier les coefficients de ce
produit.
Conjuguer la matrice B par la matrice B0 de la question 14 et utiliser l'absence
d'homothéties non triviales dans le groupe G.
Distinguer l'action du morphisme sur les matrices diagonales à l'aide de la
question 15.a et sur les matrices non diagonales à l'aide de la question 14.
Utiliser les valeurs propres.
Calculer le noyau de et utiliser le résultat de la question 1.
Utiliser l'isomorphisme et le fait que le groupe des racines |G|-ièmes de
l'unité
est cyclique.
Distinguer suivant le caractère commutatif ou non de G et utiliser les résultats
des questions 15 et 16.
Commencer par montrer qu'un sous-groupe répondant à la question ne contient
pas d'homothétie différente de l'identité, puis remarquer qu'un tel groupe est
commutatif. Enfin, utiliser le résultat de la question 17.
I. Sous-groupes finis de GL(E)
Soit G un groupe de cardinal fini ps m avec p et m premiers entre eux.
Le premier rappel de l'énoncé est un cas particulier dû à Cauchy du premier
théorème de Sylow. Les trois théorèmes de Sylow s'énoncent ainsi :
· Il existe un sous-groupe H de G de cardinal ps . Un tel sous-groupe
s'appelle un p-Sylow. On peut en déduire que pour tout k 6 s, il existe
un sous-groupe de G de cardinal pk .
· Si H et K sont des sous-groupes de G de cardinal ps , alors il existe
g G tel que K = gHg -1 .
· Le nombre np de p-Sylow vérifie les conditions suivantes :
np | m et
np 1 mod p
Ces théorèmes constituent une réciproque partielle au théorème de Lagrange, qui
affirme que l'ordre d'un sous-groupe H de G est un diviseur de |G|.
Ils sont fondamentaux en théorie des groupes et n'apparaissent pas au programme
des classes préparatoires. Le lecteur intéressé pourra se reporter au
livre de Daniel Perrin, Cours d'algèbre chez Ellipses.
1 Soit g G un élément quelconque. L'énoncé rappelle que g |G| = 1G ,
c'est-à-dire
que le polynôme X|G| - 1 C[X] annule g. Ce polynôme est scindé à racines
simples
dans C, les e2ik/|G| pour k [[ 0 ; |G| - 1 ]]. Ainsi,
g est diagonalisable.
Supposons que G est commutatif. D'après le raisonnement ci-dessus, tout g G
est diagonalisable. Nous allons montrer par récurrence et pour tout n N la
propriété
suivante :
P(n) :
Soit E un C-espace vectoriel de dimension finie n, et (fi )iI une famille
d'endomorphismes diagonalisables de E, qui commutent deux à deux.
Alors, il existe une base de E qui diagonalise tous les fi , i I.
· P(0) : Si E est un C-espace vectoriel de dimension 0, alors E = {0} et le seul
endomorphisme de E est l'endomorphisme nul.
· P(n) = P(n + 1) : Soit n N. Supposons que P(k) est vraie pour tout
entier k 6 n. Soit E un C-espace vectoriel de dimension n + 1 et (fi )iI une
famille d'endomorphismes diagonalisables de E, qui commutent deux à deux.
Les endomorphismes fi sont donc annulés chacun par un polynôme Pi , scindé
à racines simples dans C. S'il existe pour tout i I un C tel que fi = IdE ,
alors toute base de E diagonalise tous les fi . Supposons que l'on n'est pas
dans
ce cas. Soit alors i0 I, tel que fi0 ne s'écrit pas IdE . Notons E1 , . . . ,
Ep les
espaces propres associés à fi0 ; p > 2 par hypothèse. Comme fi0 est
diagonalisable, l'espace E se décompose en
Lp
E = j=1 Ej
Soit i I, i 6= i0 et j [[ 1 ; p ]]. Comme fi et fi0 commutent, on sait
d'après le
cours, que Ej est stable par fi :
x Ej
fi (x) Ej
On peut considérer l'endomorphisme fij de Ej induit par fi et ce, pour tout
indice i I. La famille (fij )iI est constituée d'endomorphismes de Ej , qui
commutent deux à deux et qui sont diagonalisables, car fij est encore annulé
par le
polynôme Pi scindé à racines simples. Par hypothèse, l'espace Ej est de
dimension inférieure à n. D'après l'hypothèse de récurrence, il existe donc une
base
Bj de Ej , qui diagonalise les fij , i I. En construisant une telle base Bj
pour
tout j [[ 1 ; p ]], on en déduit que la famille constituée des vecteurs des Bj
mis
bout à bout
B = B1 · · · Bp
constitue une base de E, qui diagonalise tous les fi , i I.
· Conclusion :
n > 0
P(n)
Tous les éléments de G sont diagonalisables dans une même base.
II. Isométries du triangle
e 3 est un sous-groupe du groupe des isométries
2.a Remarquons tout d'abord que D
e 3 . Soit f une
du plan euclidien. Commençons par majorer le nombre d'éléments de D
isométrie du plan qui conserve le triangle ABC. Par définition, f fixe le point
O,
qui est aussi le centre du triangle. Notons la longueur commune OA, OB, OC.
Les seuls points du triangle ABC à distance de O sont les points A, B et C.
Comme f conserve les longueurs, f induit une permutation des trois points A, B
e 3 est d'ordre au plus 6.
et C. Ceci montre que D
L'énoncé précise que l'on se place dans le plan euclidien. Si le cadre avait été
affine, on pouvait aussi adopter la démonstration suivante : soit x la longueur
du côté du triangle ABC. Alors (A, B), (A, C) et (B, C) sont les seuls couples
de points du triangle à distance x. Par conservation des distances, f induit
une permutation des points A, B et C.
D'après le cours, on sait que les isométries du plan euclidien sont soit des
rotations,
soit des réflexions. Cherchons parmi ces transformations des isométries qui
conservent
le triangle ABC. On a
· L'identité.
· Les rotations (de centre
O) et d'angle
2/3 et 4/3.
Ces rotations correspondent
A B C
A B C
aux permutations
et
.
B C A
C A B