GLMA403 - FICHE N◦2D CPUS 2013-2014
GROUPES - GROUPE QUOTIENT
EXERCICE 25.
Soit Al’ensemble de toutes les droites affines du plan.
1) La relation “xRysi xest orthogonale `a y” est-elle r´eflexive ? sym´etrique ? transitive ?
2) Montrer que la relation “xR0ysi xest soit orthogonale soit parall`ele `a y” est une relation d’´equivalence.
3) Soit Xune classe d’´equivalence pour cette relation R0. Sur Xon d´efinit une relation d’´equivalence en posant
“xR00ysi xest parall`ele ou ´egale `a y”. Quel est le cardinal de X/R00 ?
EXERCICE 26.
Soient G,G0deux groupes commutatifs, el’´el´ement neutre de G. Posons H=G×G0et H0={e} × G0. Montrer que
H/H0est isomorphe `a G.
EXERCICE 27.
Soit Gun groupe, posons H=G×G.
1) Montrer que H0={(g, g), g ∈G}est un sous-groupe de H.
2) Montrer que H0est isomorphe `a G.
3) Montrer que si Gest commutatif, H/H0est isomorphe `a G.
EXERCICE 28.
Soit Gle sous-groupe des racines n`emes de l’unit´e de C∗.
1) Montrer que Gest isomorphe `a Z/nZ.
2) Si Hest un sous-groupe d’ordre nde C∗, montrer que H=G.
3) Montrer que C∗/G est isomorphe `a C∗.
EXERCICE 29.
Soit Gun groupe commutatif et T(G) l’ensemble des ´el´ements de Gd’ordre fini.
1) Montrer que T(G) est un sous-groupe de G.
2) Montrer que le seul ´el´ement d’ordre fini de G/T (G) est l’´el´ement neutre.
3) Montrer que si Hest un sous-groupe de Gtel que le seul ´el´ement d’ordre fini de G/H soit l’´el´ement neutre, alors
T(G)⊂H.
4) Calculer T(R/Z).
EXERCICE 30.
Soit Gun groupe commutatif, et soient Het Kdeux sous-groupes de G.
1) Montrer que HK est un sous-groupe de G.
2) Montrer que Kest un sous-groupe de HK.
3) Montrer que H∩Kest un sous-groupe de H.
4) Montrer que les groupes HK/K et H/H ∩Ksont isomorphes.
EXERCICE 31.
Soient Get G0deux groupes commutatifs, Het H0des sous-groupes de Get G0respectivement. Soit ϕ:G→G0un
morphisme de groupes tel que ϕ(H) = H0. Si x∈G, notons xsa classe dans G/H, et si y∈G0, notons ˆysa classe
dans G0/H0. Montrer que φ:G/H →G0/H0, x 7→ [
ϕ(x) est bien d´efini, que φest un morphisme de groupes, que son
noyau est ´egal `a ϕ−1(H0)/H et son image `a Im ϕ/H0.
4