de Bourgogne Universite

e 2013-2014 Anne

U.F.R. Sciences et Techniques Fili` ere : L3-Math ematiques Partiel ALGEBRE CORRECTION

5 novembre, 2013

(1) (Question de cours) Donner la d enition dune partition et dune relation d equivalence. Enoncer et d emontrer le lien entre les deux notions. Enoncer et d emontrer la proposition de la propri et e universelle du quotient et le premier th eor` eme disomorphie. (2) Soit G un groupe ni. Si g G, on note O(g ) lordre de g . (a) Soit g G. Montrer que O(g ) divise lordre du groupe G. CORRECTION : Soit e = l el ement neutre du groupe. Lordre dun el ement g est le plus d petit entier d 1 tel g = e. Si d = lordre de g , on a vu que le sous groupe de G engendr e par g est dordre d. Par le th eor` eme de Lagrange, lordre dun sous-groupe divise lordre du groupe. Donc d divise n. (b) Soit G un autre groupe, et soit : G G un homomorphisme. Montrer que lordre O((g )) de (g ) G divise O(g ). CORRECTION : On a vu que g k = e si et seulement si k est un multiple de lordre de g . Si lordre de g est d, alors ((g ))d = (g d ) = (eG ) = eG . En particulier, d est un multiple de lordre de (g ). (Ici, eG est l el ement neutre de G, et eG est l el ement neutre de G .) (c) Supposons que G est ab elien. Soient g, h G. Si O(g ) et O(h) sont premiers entre eux, montrer que O(gh) = O(g )O(h). CORRECTION : Soit d = O(g )= et k = O(h). Dabord, on a que (gh)kd = g kd hkd = e, car G est ab elien. Ceci implique que kd est un multiple de lordre de gh. Maintenant on consid` ere les sous-groupes H1 = g et H2 = h de G. H1 H2 est un sousgroupe de H1 et un sous-groupe de H2 , donc, par le th eor` eme de Lagrange, lordre de H1 H2 divise d et k . Comme d et k sont premiers entre eux, lordre est 1, et H1 H2 = {e}. Soit = lordre de gh. Comme G est ab elien, on a (gh) = g h . Ceci implique que g = h H1 H2 . Donc, g = h = e. Ceci implique que est un multiple de k et de d, et comme d et k sont premiers entre eux, ceci implique que est un multiple de kd. En conclusion, lordre de gh est egale ` a dk . (d) Si G nest pas ab elien, est-ce que la propri et e de (c) est vraie ? (Indication : consid erer le groupe G = D3 .) CORRECTION : NON. Contre-exemple : G = D3 , g = r est dordre 3, h = s est dordre 2, et rs est dordre 2. (3) Soit G = GL2 (R) le groupe de matrices 2 2 avec coecients dans R et de d eterminant non 1 0 nul. Soit H = O2 (R) le sous-ensemble de matrices A G telles que A t A = I = . 0 1 (a) Montrer que H est un sous-groupe de G. CORRECTION : Lidentit e appartient ` a H , donc H nest pas vide. On utilise les faits que t (AB ) =t B t A, et que t (A1 ) = (t A)1 . En particulier, si A t A = I et B t B = I , alors (AB ) t (AB ) = AB t B t A = I . En plus, si A t A = I , alors t A = A1 , et donc I = A1 (t A)1 = A1 (t A1 ). (b) Est-ce que H est un sous-groupe normal ? Justier votre r eponse.

CORRECTION : NON. Donner un contre-exemple : Par exemple, on choisit B = H , et C =

0 1 1 0

2 0 0 2 G. On calcul CBC 1 = H. 0 1 1/2 0 (c) D eterminer le centre Z (H ) de H . CORRECTION : Z (H ) = {I }. Dabord, I et I commutent avec toute matrice de GL2 (R), donc aussi avec toute matrice de H . Donc {I } Z (H ). Pour lautre inclusion, soit a b 0 1 1 0 A= Z (H ). En particulier, A commute avec et avec . Ceci c d 1 0 0 1 implique que a = d, et b = c = 0. Finalement, comme A H , on a que a = 1. (4) Soient G et G deux groupes, et soit : G G un homomorphisme. Soit D(G) le sousgroupe de G engendr e par les commutateurs dans G, et D(G ) le sous-groupe de G engendr e par les commutateurs dans G . Soient : G Ab(G) et : G Ab(G ) les homomorphismes quotients. (Rappel : Ab(G) = G/D(G) et Ab(G ) = G /D(G ).) (a) Montrer que (D(G)) est un sous-groupe de D(G ). CORRECTION : On montre dabord que (D(G)) est un sous-ensemble de D(G ). Chaque el ement de D(G) est produit de commutateurs. Si [a, b] est un commutateur quelconque de G, alors ([a, b]) = (aba1 b1 ) = (a)(b)(a)1 (b)1 = [(a), (b)]. C.-` a-d., limage dun commutateur de G est un commutateur de G . Comme est un homomorphisme, limage dun produit de commutateurs de G est un produit de commutateurs de G , et donc appartient ` a D(G ). En plus, on va montrer que, en g en eral, si H est un sous-groupe de G et est un homomorphisme de G ` a G , alors, (H ) est un sous-groupe de G . (H ) est non vide, car il contient l el ement neutre. Si y1 , y2 (H ), alors il existe x1 et x2 H tels que (x1 ) = y1 , et 1 1 1 = (x1 )(x2 )1 = (x1 x (x2 ) = y2 . On a y1 y2 2 ) (H ), car x1 x2 H . (b) En d eduire que si G est ab elien, alors D(G) est contenu dans le noyau de . CORRECTION : Comme G est ab elien, D(G ) = {eG }. Par (a), (D(G)) {eG }, et donc D(G) ker(). (c) Montrer quil existe un unique homomorphisme : Ab(G) Ab(G ) tel que = . CORRECTION : Le groupe Ab(G ) est ab elien, et lhomomorphisme : G Ab(G ) satisfait les hypoth` eses de (b). Donc D(G) ker( ). Par le th eor` eme universel du quotient, il existe un unique homomorphisme : G/D(G) = Ab(G) Ab(G ) tel que = .