06.04.2014 Views

Rapport sur l'agrégation interne et le CAERPA de mathématiques ...

Rapport sur l'agrégation interne et le CAERPA de mathématiques ...

Rapport sur l'agrégation interne et le CAERPA de mathématiques ...

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

2) D’après la question précé<strong>de</strong>nte, la trace d’un élément g <strong>de</strong> G est une somme ξ 1 + · · · + ξ n , <strong>de</strong> racines<br />

m -ièmes <strong>de</strong> l’unité. Comme il y a m racines m -ièmes <strong>de</strong> l’unité dans C , c<strong>et</strong>te somme peut prendre au plus<br />

m n<br />

va<strong>le</strong>urs.<br />

3) a) L’espace vectoriel engendré par G dans End(C n ) est une algèbre unitaire d’endomorphismes,<br />

irréductib<strong>le</strong> puisque G est irréductib<strong>le</strong>. D’après (II.8), c<strong>et</strong>te algèbre est éga<strong>le</strong> à End(C n ) . Ainsi, l’ensemb<strong>le</strong><br />

G est générateur <strong>de</strong> l’espace vectoriel End(C n ) ; il contient donc une base <strong>de</strong> c<strong>et</strong> espace vectoriel.<br />

3) b) Soit (X 1 , . . . , X n 2) une base <strong>de</strong> M n (C) constituée d’éléments <strong>de</strong> G , <strong>et</strong> soit (X ′ 1, . . . , X ′ n 2 ) la base<br />

associée comme dans la question (IV.2). Tout élément g <strong>de</strong> G peut s’écrire<br />

g =<br />

∑<br />

γ j X ′ j où γ j ∈ C.<br />

0jn 2<br />

On a alors, d’après (IV.2),<br />

Tr(X i g) =<br />

∑<br />

γ j Tr(X i X ′ j) = γ i .<br />

0jn 2<br />

Comme <strong>le</strong>s X i appartiennent à G , d’après (V.2), Tr(X i g) ne peut prendre qu’un nombre fini <strong>de</strong> va<strong>le</strong>urs.<br />

Par suite <strong>le</strong>s γ i<br />

aussi, <strong>et</strong> g aussi. Donc <strong>le</strong> groupe G est fini.<br />

4) a) Si G est irréductib<strong>le</strong>, c’est immédiat en prenant p = n , q = 0 . Si G n’est pas irréductib<strong>le</strong>, il<br />

existe un sous-espace vectoriel F <strong>de</strong> C n , <strong>de</strong> dimension p avec 1 p n − 1 , qui est stab<strong>le</strong> par tous <strong>le</strong>s<br />

é<strong>le</strong>ments <strong>de</strong> G . Prenons un supplémentaire quelconque F ′<br />

chaque élément <strong>de</strong> G dans la juxtaposition <strong>de</strong>s <strong>de</strong>ux bases a la forme voulue.<br />

4) b) Écrivons <strong>le</strong> produit<br />

(<br />

T(g) U(g)<br />

0 V(g)<br />

) ( )<br />

T(g ′ ) U(g ′ )<br />

0 V(g ′ =<br />

)<br />

<strong>de</strong> F <strong>et</strong> <strong>de</strong>s bases <strong>de</strong> F <strong>et</strong> <strong>de</strong> F ′ ; la matrice <strong>de</strong><br />

( )<br />

T(g)T(g ′ ) T(g)U(g ′ ) + U(g)V(g ′ )<br />

0 V(g)V(g ′ )<br />

Comme G est un sous-groupe <strong>de</strong> GL(n, C) , on en déduit que T(g) appartient à GL(p, C) <strong>et</strong> V(g) à<br />

GL(q, C) , <strong>et</strong> que <strong>le</strong>s applications T <strong>et</strong> V sont <strong>de</strong>s morphismes du groupe G dans <strong>le</strong>s groupes GL(p, C) <strong>et</strong><br />

GL(q, C) . Les sous-groupes G 1 <strong>et</strong> G 2 en sont <strong>le</strong>s noyaux. Ce sont donc <strong>de</strong>s sous-groupes distingués <strong>de</strong> G .<br />

Soit g ∈ G 1 ∩ G 2 ; on a<br />

g =<br />

( )<br />

1p U(g)<br />

, g<br />

0 1 2 =<br />

q<br />

Comme g m = 1 n , on en déduit U(g) = 0 <strong>et</strong> G 1 ∩ G 2 = {1 n } .<br />

( )<br />

( )<br />

1p 2 U(g)<br />

, g<br />

0 1 m 1p m U(g)<br />

=<br />

.<br />

q 0 1 q<br />

4) c) Le groupe K 1 ∩ K 2 est un sous-groupe distingué <strong>de</strong> K , a fortiori <strong>de</strong> K 1 <strong>et</strong> <strong>de</strong> K 2 . En comptant<br />

<strong>le</strong>s classes, on obtient<br />

Card (K/(K 1 ∩ K 2 ) = Card (K/K 1 ) Card (K 1 /(K 1 ∩ K 2 )).<br />

Par ail<strong>le</strong>urs, <strong>le</strong> groupe K 1 /(K 1 ∩ K 2 ) est isomorphe à un sous-groupe <strong>de</strong> K/K 2 . On en déduit<br />

d’où <strong>le</strong> résultat <strong>de</strong>mandé.<br />

Card (K/(K 1 ∩ K 2 )) Card (K/K 1 ) Card (K/K 2 ),<br />

4) d) On conclut qu’un sous-groupe G <strong>de</strong> M n (C) ayant la propriété indiquée (tout g ∈ G satisfait<br />

à g m = 1 n ) est un groupe fini. Cela se démontre par récurrence <strong>sur</strong> l’entier n 0 . Pour n = 0 , il n’y a<br />

rien à démontrer. Dans <strong>le</strong> cas général, si <strong>le</strong> groupe G est irréductib<strong>le</strong>, il est fini d’après (V.3). Si G n’est<br />

pas irréductib<strong>le</strong>, il possè<strong>de</strong>, d’après (V.4.b), <strong>de</strong>ux sous-groupes distingués G 1<br />

l’élément neutre {1 n } . Le groupe G/G 1<br />

<strong>et</strong> G 2 , dont l’intersection est<br />

est isomorphe à un sous-groupe <strong>de</strong> GL(p, C) , satisfaisant bien sûr<br />

à la propriété g m = 1 p . Par hypothèse <strong>de</strong> récurrence, G/G 1 est un groupe fini. Il en est <strong>de</strong> même <strong>de</strong> G/G 2 .<br />

Les groupes G 1 <strong>et</strong> G 2 ont un indice fini dans G <strong>et</strong> G 1 ∩ G 2 = {1 n } . D’après (V.4.c), <strong>le</strong> groupe G est fini,<br />

<strong>et</strong> la démonstration par récurrence aussi.<br />

42

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!