• Aucun résultat trouvé

Feuille d’exercices 5

N/A
N/A
Protected

Academic year: 2022

Partager "Feuille d’exercices 5"

Copied!
2
0
0

Texte intégral

(1)

Ecole Normale Sup´erieure Paris Ann´ee 2013-2014 Alg`ebre 1

Feuille d’exercices 5

Exercice 1 D´eterminer le groupe d´eriv´e de GL2(F2) = SL2(F2).

Exercice 2 Soient G un groupe etH un sous-groupe de G.

1. Montrer que si Gest r´esoluble, alors H l’est aussi.

2. On suppose d´esormais dans la suite que H est distingu´e dansG. Montrer que si G est r´esoluble, alors G/H est r´esoluble.

3. Montrer que si H et G/H sont r´esolubles, alors G est r´esoluble.

4. Si G est r´esoluble et simple, montrer que G est cyclique de cardinal un nombre premier.

5. Montrer que S3 et D4 sont r´esolubles.

6. Montrer que Sn n’est pas r´esoluble si n≥5

7. Soit p un nombre premier. Montrer que toutp-groupe est r´esoluble.

Exercice 3 Soit G= SL2(Z) et notons S =

0 −1

1 0

etT =

1 1 0 1

. 1. Calculer l’ordre de S, de T et de ST.

2. Soit γ =

a b c d

∈SL2(Z).

(a) Calculer Sγ etT γ.

(b) Montrer que si c= 0 alors γ ∈< T, S >.

(c) On supposec6= 0. Montrer qu’il existeg ∈< T, S >tel quegγ soit de la forme a0 b0

0 d0

. Conclure queγ ∈< T, S >.

(d) D´eduire que SL2(Z) est engendr´e par T etS.

Exercice 4 1. Soit K un corps et E un K-espace vectoriel de dimension finie. Rap- peler pourquoi PGL(E) agit fid`element sur P(E).

1

(2)

2. Expliciter un isomorphisme entre PGL2(F2) et S3.

3. Montrer que PGL2(F3) est isomorphe `aS4 et que PSL2(F3) est isomorphe `aA4. 4. Montrer que PSL2(F4) est isomorphe `aA5.

5. On rappelle que siH est un sous-groupe d’indicendansSn, il est isomorphe `aSn−1. Montrer que PSL2(F5) est isomorphe `a PGL2(F4).

6. Montrer que SL2(F3) n’est pas isomorphe `aS4.

Exercice 5 On veut montrer un th´eor`eme de Jordan-Frobenius : tout sous groupe fini de GLn(C)admet un sous-groupe distingu´e, commutatif, d’indice fini, born´e par une fonction explicite den. Soitn ≥1; on munit leC-espace vectorielCndu produit scalaire hermitien usuel ( | ). On note Un(C) le sous-groupe de GLn(C) des matrices hermitiennes. Soit enfin G un sous-groupe fini de GLn(C).

1. En consid´erant (x|y)G := |G|−1P

g∈G(gx|gy), montrer que G est conjugu´e `a un sous-groupe de Un(C).

2. On suppose d´esormais que G ⊂ Un(C) et on munit GLn(C) de la norme triple.

Soient u, h∈Un(C) tels queu commute avec [u, h] =uhu−1h−1 et tels queh v´erifie

||id−h|| <√

2. En consid´erant les espaces propres de u et de huh−1, prouver que u eth commutent.

3. Soit v ∈Un(C). On suppose queu et v v´erifient ||id−u||<2−1 et||id−v||<√ 2.

On d´efinit la suite (vk) par v0 := v et vk+1 = [u, vk]. Prouver l’in´egalit´e suivante, pour tout entier k∈N :

||id−vk|| ≤2k||id−u||k||id−v||.

4. Montrer que u etv commutent si et seulement si la suite (vk) est stationnaire.

5. Soit δ∈]0,12[ un r´eel et soit Hδ le sous-groupe de Gengendr´e par les{g ∈G| ||id− g||< δ}. Montrer que Hδ est un sous-groupe ab´elien, distingu´e dans G.

6. On identifie Un(C) `a un sous-ensemble du R-ev Mn(C) = R2n

2 muni de la norme induite par la norme hermitienne sur Mn(C). Soit T un syst`eme de repr´esentants deG/Hδ. Montrer que

[

t∈T

B(t,¯ δ

2)⊂B(0,¯ 1 + δ

2)−B¯(0,1− δ 2).

7. Conclure.

2

Références

Documents relatifs

→ En 1949, Erdös montra le joli résultat suivant : pour tout entier k &gt;1 donné, il existe une infinité de nombres 2-pseudo-premiers qui sont chacun produit de k facteurs

Si G est r´ esoluble et simple, montrer que G est cyclique de cardinal un nombre premier.. Soit p un

1. Supposons d´ esormais P irr´ eductible. Notons G le groupe de Galois de l’extension K|Q. Que peut-on dire de la densit´ e de l’ensemble de tels nombres premiers ?. 6. est produit

x≤p≤x 1/p, lorsque x tend vers l’infini et o` u, dans la somme, p parcourt les nombres premiers compris entre √. x

Un nombre entier n est dit « puissant » si pour chaque facteur premier p de cet entier, p² est aussi un diviseur de n.. Un nombre d’Achille (1) est un entier puissant sans être

Un nombre est puissant si « pour chaque facteur premier p de cet entier, p² est aussi un diviseur de n », ce qui implique que chacune des exposants de sa décomposition soit

Un nombre d’Achille est un entier dont tous les exposants du développement en facteurs premiers sont &gt; 1 et premiers entre eux dans leur ensemble.. Un nombre d’Achille doit

A ce sujet, nous allons démontrer un théorème de la dernière importance dans cette matière et dont l’énoncé suit : “Étant donnée une équation avec un certain nombre