Ex 1 Facile On consid`ere un groupe (G,.). Montrer que l`application f

MPSI 2 : Exercices 19 1 Structures alg´ebriques
Ex 1 Facile
On consid`ere un groupe (G,.). Montrer que l’application f:GG
x7→ x1est un isomorphisme de groupes
si et seulement si le groupe Gest commutatif.
Ex 2 Facile
On consid`ere deux groupes Get G0et une application φ:G7→ G0. On d´efinit l’ensemble
H={x,φ(x);xG}
Montrer l’´equivalence φmorphisme
(i)Hsous-groupe de G×G0
(ii)
Ex 3 Moyen, classique
Soit un ensemble Enon-vide muni d’une lci ?associative telle que :
(a,b)E2,(x,y)E2tq b=a ? x =y ? a
Montrer que (E,?) est un groupe.
Indication : Pour trouver un ´el´ement neutre, consid´erer a=b=a1, ce qui donne
l’existence de (e,f)E2erifiant la propri´et´e de l’´enonc´e. Consid´erer ensuite bE,
et montrer que b ? e=b,f ? b =b. Montrer ensuite que e=f.
Ex 4 Difficile
Soit un groupe (G,.) et deux sous-groupes H,Kdu groupe G.
On note
HK ={xG| ∃hH,kK, x =hk}
a) Soit xG. Montrer que
xHK x1KH
b) Montrer que les propri´et´es suivantes sont ´equivalentes :
(i) HK est un sous-groupe de G.
(ii) KH est un sous-groupe de G.
(iii) HK =KH.
Indication : Il faut bien comprendre la signification des notations. Par exemple,
HK =KH ne revient pas `a dire que (h,k)H×K,hk =kh!
Ex 5 Moyen
Soit un anneau (A, +,×). On dit qu’un ´el´ement aAest nilpotent s’il existe un entier nNtel que an= 0.
1. Montrer que si aest nilpotent, alors 1 aest inversible et calculer son inverse.
2. Soit un ´el´ement aA. On d´efinit l’application u:AA
xu(x) = ax xa . D´eterminer l’application
up=uo . . . ou
|{z }
p fois
.
3. Montrer que si aest nilpotent , il existe pNtel que upsoit l’application nulle.
Indication : Pour b, commencer par d´eterminer u2,u3, puis deviner la formule
g´en´erale que l’on emontrera par r´ecurrence.
Ex 6 Moyen
Soit un anneau (A, +,×) et deux ´el´ements a,b de A.
1. Si (ab) est un ´el´ement nilpotent, montrer que 1 ab est inversible et d´eterminer (1 ab)1.
2. Si (ab) et (ba) sont nilpotents, exprimer (1 ba)1en fonction de (1 ab)1.
3. On ne suppose plus (ab) ni (ba) nilpotents. Montrer que si 1 ab est inversible, alors 1 ba est ´egalement
inversible.
MPSI 2 : Exercices 19 2 Structures alg´ebriques
Corrig´e des exercices
Q1 L’application fest bijective quel que soit le groupe G(v´erification imm´ediate).
1. Montrons que si Gest commutatif, alors fest un morphisme. Soient deux ´el´ements (x,y)G2. Alors
f(xy) = (xy)1=y1x1=x1y1=f(x)f(y)
2. Montrons que si l’application fest un morphisme de groupes, alors le groupe Gest commutatif. Soient
deux ´el´ements (x,y)G2. Puisque
f(x1y1) = f(x1)f(y1)(x1y1)1=xy (y1)1(x1)1=xy yx =xy
et donc la loi est commutative.
Q2
(i)(ii) Puisque φest un morphisme, on sait que φ(e) = e0. Donc (e,e0) = (e,φ(e)) H. Soient deux ´el´ements X,
Yde H. Il existe (x,y)G2tels que X= (x,φ(x)) et Y= (y(y)). Alors
XY 1= (x,φ(x))(y(y))1= (xy1(x)φ(y)1) = (xy1(xy1)) H
On a utilis´e la propri´et´e d’un morphisme, φ(y1) = φ(y)1.
(ii)(i) Soient (x,y)G2, montrons que φ(xy) = φ(x)φ(y). Puisque (x,φ(x)) Het que (y,φ(y)) H, comme H
est un sous-groupe de G×G0, (x,φ(x))(y,φ(y)) = (xy(x)φ(y)) H. Mais alors, par d´efinition de H, il
existe zGtel que xy =zet φ(z) = φ(x)φ(y). Cela donne φ(xy) = φ(z) = φ(x)φ(y).
Q3
1. On sait ej`a que la lci est associative ;
2. ´
El´ement neutre : Soit un ´el´ement a1E. En prenant b=a1, on sait qu’il existe (e,f)E2tels que
a1=a1? e =f ? a1. Montrons que eest neutre. Soit bE. Il existe (x,y)E2tel que b=a1? x =y ? a1.
Alors
b ? e = (y ? a1)? e =y ? (a1? e) = y ? a1=b
f ? b =f ? (a1? x) = (f ? a1)? x =a1? x =b
On a donc montr´e que xE,x?e=xet f ? x =x. En particulier, si x=f,f ? e =fet si x=e,
f ? e =e. On en d´eduit que e=fet donc que xE,e ? x =x?e=x:eest l’´el´ement neutre pour ?.
3. Soit un ´el´ement XE. Montrons que cet ´el´ement admet un sym´etrique : En prenant b=eet a=X, il
existe (x,y)E2tels que e=X ? x =y ? X. Il suffit de montrer que x=y.´
Ecrivons
y=y ? e =y ? (X ? x) = (y ? X)? x =e ? x =x
Donc x=yest le sym´etrique de X.
Q4 a) Soit un ´el´ement xHK, il existe deux ´el´ements (h,k)H×Ktels que x=hk. Alors x1=k1h1KH.
Si x1KH, alors il existe (k,h)K×Htels que x1=kh et donc x= (x1)1=h1k1HK (car Het
Ksont des sous-groupes et donc si hH, on a aussi h1H).
1. (i)(ii) : Montrons que KH est un sous-groupe. Si eesigne l’´el´
ement neutre de G, alors puisque eK
et eH(sous-groupes), par d´efinition, e=ee KH. Soit (x,y)(KH)2. Montrons que xy1KH.
D’apr`es a), il suffit de montrer que (xy1)1HK. Or (xy1)1=yx1et puisque yKH,y1HK
et x1HK. Mais puisque HK est un groupe, y= (y1)1HK et aussi yx1HK.
2. (ii)(i) se d´emontre de mˆeme. (A faire !).
3. Montrons que (ii)(iii). Montrons que HK KH: Soit xHK.(h,k)H×Ktel que x=hk.
Mais puisque KH est un sous-groupe et qu’on a (ii)(i), on sait aussi que HK est un sous-groupe.
Par cons´equent, x1HK:(h0,k0)H×Ktels que x1=h0k0. Alors x= (k0)1(h0)1KH. On
d´emontre de la mˆeme fa¸con que KH HK.
4. (iii)(i) : On a bien e=ee HK. Soit xHK. D’apr`es a), x1KH et puisque KH =HK, il vient
que x1HK. Soient (x,y)(HK)2. Montrons que xy HK. Comme xHK,(h,k)H×Ktels
que x=hk. De eme, (h0,k0)H×Ktels que y=h0k0. Alors xy =h(kh0)k0. Mais comme kh0KH et
que KH =HK, il vient que kh0HK. Donc (h00,k00)H×Ktels que kh0=h00k00. Alors xy =hh00k00k.
Mais puisque Het Ksont des sous-groupes, hh00 Het k00kKet donc xy =hh00k00kHK.
MPSI 2 : Exercices 19 3 Structures alg´ebriques
Q5 Montrer par r´ecurrence que
xA, up(x) =
p
X
k=0 p
k(1)kapkxak
Si l’on choisit alors p2n1, pour kn,apkxak= 0, et si kn1, alors pkpn+ 1 net alors
on a ´egalement apkxak= 0. Finalement, tous les termes de la somme sont nuls, et ceci quel que soit xA.
Donc up= 0.
Q6
1. (1 ab)1= 1 + ab +abab +···+abab . . . ab ;
2. (1 ba)1= 1 + ba +baba +···+baba . . . ba. Si (ab)n= 0 et (ba)p= 0, on peut ´ecrire les formules
pr´ec´edentes pour max(n,p). Ecrivons alors
(1 ba)1= 1 + b(1 + ab +abab +···+abab . . . ab)a= 1 + b(1 ab)1a
3. Posons c= (1 ab)1. Montrons que (1 ba) est inversible et que (1 ba)1= 1 + bca . Pour cela,
calculons
(1 ba)(1 + bca) = 1 ba +bca babca = 1 + b[1 + (1 ab)c]a= 1 + b×0×a= 1
(1 + bca)(1 ba) = 1 ba +bca bcaba = 1 + b[1 + c(1 ab)]a= 1
1 / 3 100%
La catégorie de ce document est-elle correcte?
Merci pour votre participation!

Faire une suggestion

Avez-vous trouvé des erreurs dans linterface ou les textes ? Ou savez-vous comment améliorer linterface utilisateur de StudyLib ? Nhésitez pas à envoyer vos suggestions. Cest très important pour nous !