Teoreme de izomorfism pentru grupuri

Definiia 1. Fie (G1, ) i (G2, ) dou grupuri. O aplicaie f : G1 G2 se numete morfism de grupuri dac : f(x y) = f(x) f(y), pentru orice x, y G1. Dac, n plus, f este aplicaie injectiv (respectiv surjectiv, respectiv bijectiv), atunci morfismul f va fi numit monomorfism (respectiv epimorfism, respectiv izomorfism) de grupuri. n situaia n care f este izomorfism, spunem c grupurile (G1, ) i (G2, ) sunt izomorfe i notm acest fapt prin G1~G2. Dac G este un grup, atunci un morfism (respectiv un izomorfism) de grupuri f : G G va fi numit endomorfism (respectiv automorfism) al grupului G. Exemple. Fie (G, ) un grup i H un subgrup al su. 1) Aplicaia u : H G, u(h) = h, pentru orice h H, este un monomorfism de grupuri, numit incluziunea canonic. 2) Dac, n plus, H G, atunci aplicaia p : G G/H, p(x) = xH, pentru orice x G este un epimorfism de grupuri, numit proiecia canonic. 3) Aplicaia identic 1G : G G, 1G(x) = x, pentru orice x G, este un automorfism al grupului G. Definiia 2. Fie (G1, ) i (G2, ) dou grupuri i f : G1 G2 un morfism de grupuri. Atunci mulimile: Kerf = {x G1 | f(x) = e2}, Imf = {y G2 | exist x G1 astfel nct f(x) = y}, sunt numite nucleul, respectiv imaginea morfismului f. Propoziia 1. Considernd (G1, ) i (G2, ) dou grupuri, f : G1 G2 un morfism de grupuri i notnd cu e1, e2 elementele neutre din G1, G2, respectiv x1 si x2 simetricele elementelor x1G1, x2 G2, avem i) f(e1) = e2. ii) f(x1-1)=[ f(x1)]-1 pentru orice x1 G1 iii) iv) v) vi) Imf G2, Kerf

G1.

f este monomorfism, dac i numai dac Kerf = {e1}. f este epimorfism, dac i numai dac Imf = G2. f este izomorfism, dac i numai dac exist un morfism de grupuri g : G2 G1 astfel nct f g = 1G2 i g f = 1G1 .

Propoziia 2. Fie f : G1 G2 un morfism de grupuri i H1 G1,H2 G2. Atunci i) a) f -1(H2) G1. : b) Dac, n plus, H2 G2, avem f -1(H2) G1. ii) a) f(H1) G2. b) Dac, n plus, H1 G1 i f este epimorfism, avem f(H1) G2. Propoziia 3. (teorema 1 de izomorfism pentru grupuri) Dac f : G1 G2 este un morfism de grupuri, atunci exist un izomorfism canonic de grupuri : G1 / Kerf Imf, (x Kerf) = f(x), pentru orice x G1. Propoziia 4. (teorema 2 de izomorfism pentru grupuri) Fie f : G1 G2 un morfism de grupuri. Au loc: i) Dac H2 G2 i H1= f--1(H2) atunci exist un monomorfism canonic de grupuri
f : G1 / H1 G2/ H 2 , f (xH1) = f(x)H2, pentru orice x G1.

ii) Dac, n plus, f este epimorfism, atunci: a) Exist o coresponden biunivoc ntre mulimea subgrupurilor H1 ale lui G1 ce conin Kerf i mulimea subgrupurilor H2 ale lui G2 (anume H1 f(H1)). b) f este izomorfism.

Corolar. Fie G un grup, H G i p : G G / H proiecia canonic. i)Exist o coresponden biunivoc ntre mulimea subgrupurilor K ale lui G ce conin pe H i mulimea subgrupurilor K ale lui G / H (Kp(K) = K / H). ii)Dac K G astfel nct H K,atunci K / H G / H i exist un izomorfism canonic : G / K (G / H) / (K / H) Propoziia 5. (teorema 3 de izomorfism pentru grupuri) Dac G este un grup, H G, atunci exist un izomorfism canonic de grupuri : K / K H (KH) / H.

G i K

Propoziia 6. Orice grup ciclic este izomorf fie cu grupul (Z, +) (n cazul n care este infinit), fie cu grupul (Zn, +) (n cazul n care este finit de ordin n). Observaie. Fie G un grup. Atunci mulimea AutG ={f : G G | f =automorfism} mpreun cu operaia de compunere a funciilor este un grup, numit grupul automorfismelor grupului G.