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)

Imf G2, Kerf

iv)

f este monomorfism, dac i numai dac Kerf = {e1}.

v)

f este epimorfism, dac i numai dac Imf = G2.

vi)

f este izomorfism, dac i numai dac exist un morfism de grupuri

G1.

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.