Morfism de grupuri și

izomorfism de grupuri
Fie grupurile și
Definiția SA15: Morfim de grupuri
Numim morfism (omomorfism) de grupuri funcția dacă
verifică relația oricare ar fi
Definiția SA16: Izomorfism de grupuri
Spunem că funcția este un izomorfism de grupuri, dacă
funcția este morfism de grupuri și este o funcție bijectivă (adică este o
funcție injectivă și totodată este și o funcție surjectivă).
Definiția SA17: Grupuri izomorfe
Grupurile și se numesc grupuri izomorfe, notându-se
, dacă între ele există cel puțin un izomorfism de grupuri,
.
Cele două grupuri și nu sunt izomorfe și notăm
atunci când nu există un izomorfism de grupuri, .

În figura de mai jos se poate observa mai bine noțiunea de morfism de

grupuri:
Exemple:
1. Fie funcția dată de legea Această
funcție este un morfism între grupurile și deoarece
este verificată relația pentru orice
Într-adevăr, avem că:

2. Un exemplu de izomorfism între grupurile și este

funcția dată de legea
Într-adevăr, funcția exponențială este bijectivă și îndeplinește condiția:

oricare ar fi
Teorema SA18: Morfism de grupuri care au element neutru

Fie grupurile și care au elementele neutre și, respectiv

Fie funcția un morfism între cele două grupuri.
Atunci avem următoarele relații:

i.

ii. pentru orice

iii. oricare ar fi și
În scriere aditivă (adică referitor la operația de adunare), relațiile de mai
sus pot fi scrise astfel:
i.
ii. pentru orice
iii. oricare ar fi și

Teorema SA19: Relații între grupuri

Fie grupurile și
i. Dacă și sunt două morfisme de grupuri,
atunci și funcția dată de legea este un morfism
de grupuri.
ii. Dacă este un izomorfism de grupuri, atunci funcția
este un izomorfism de grupuri.
Definiția SA20: Automorfism și endomorfism de grupuri
Fie grupurile și
Dacă grupurile și coincid, atunci funcția se
numește automorfism al grupului .
Un morfism se numește endomorfism al grupului

Mulțimea endomorfismelor unui grup o notăm cu iar

mulțimea automorfismelor lui o notăm cu
Teorema SA21:

Fie grupul . Atunci:

i. este un monoid;

ii. este un grup.

Subgrup
Fie grupul în notație multiplicativă și o submulțimea nevidă,
Definiția SA22: Subgrup

Spunem că mulțimea este un subgrup al lui dacă perechea

formează un grup.
Exemple:

1. Grupul aditiv este un subgrup al grupurilor aditive

2. este un subgrup al grupurilor multiplicative

3. Mulțimea este un subgrup al grupului

Definiția SA23: Subgrupuri improprii și subgrupuri proprii

1. Dacă grupul admite element neutru, notat cu atunci

și sunt subgrupuri ale lui numite subgrupuri
improprii.
2. Numim subgrupuri proprii, orice subgrup al lui care este
diferit de subgrupurile și
Teorema SA24: Proprietăți ale subgrupului H

Fie grupul și submulțimea

i. Dacă cele două mulțimi au ca și elemente neutre pe , respectiv
atunci avem următoarea egalitate:
ii. Dacă pentru elementul , avem simetricele și ale lui în
, respectiv în , atunci avem egalitatea:
Din această teoremă putem trage concluzia că elementul neutru al unui
grup este element neutru în orice subgrup al acelui grup, iar
simetricul unui element din subgrup, coincide cu simetricul lui în

Teorema SA25: Echivalența unor afirmații

Fie grupul notat și submulțimea nevidă ,
Următoarele afirmații sunt echivalente:
a. este un subgrup al lui

b. Pentru orice avem că

c. este parte stabilă a lui pentru orice element ne rezultă
că

Definiția SA26: Nucleul și imaginea unui morfism

Fie grupurile și care admit ca și elemente neutre pe
respectiv pe iar funcția reprezintă un morfism de
grupuri.
Mulțimile și
sunt subgrupuri ale grupurilor
respectiv
Spunem că subgrupurile și se numesc nucleul, respectiv
imaginea morfismului
Subgrupurile grupului aditiv
Fie grupul aditiv al numerelor întregi.
Teorema SA27:
Fie o mulțime nevidă, .
Spunem că este un subgrup al grupului aditiv , dacă și numai dacă
există astfel încât

Grupul finit și grupul infinit

Fie o mulțime nevidă și o lege de compoziție pe această mulțime,

Definiția SA28 : Grup finit și infinit

Numim grup finit, grupul , al cărei mulțime este finită.
Dacă mulțimea nu este finită, atunci spunem că grupul este un
grup infinit.

Subgrupul generat de un element

Fie grupul și un element . Notăm cu
mulțimea puterilor întregi ale elementului
Această mulțimea a puterilor întregi ale elementului , notată , este parte
stabilă a mulțimii a grupului .
Dacă atunci există astfel încât și
Atunci avem că:

ap-q

Conform Teoremei SA24: Proprietăți ale subgrupului H avem că mulțimea

este un subgrup al grupului
Definiția SA29: Subgrupul ciclic
Subgrupul notat mai sus prin mulțimea se numește subgrupul ciclic
generat de elementul

Ordinul unui element într-un grup

Fie un grup, notat și un element
Definiția SA31 : Ordinul grupului G

Dacă numărul se numește ordinul

grupului (adică cardinalul mulțimii ). Notăm acest ordin astfel:
.

Deoarece ne rezultă că există grupuri finite de orice ordin.

Definiția SA32: Ordinul elementului a
Ordinul subgrupului , notat cu , se numește ordin al
elementului
Definiția SA33: Ordin finit și ordin infinit
Un element este numit de ordin finit, dacă și în caz
contrar, elementul se numește de ordin infinit.
Exemple:
 1. În orice grup , Cu alte cuvinte, spunem că elementul
neutru al grupului este singurul element de ordinul
2. Dacă , se observă ușor că este cel mai mic număr
natural nenul pentru care

Pentru exercitii, scrieti din urmatorul videoclip

https://www.youtube.com/watch?v=Lex4R_jgFS4 pana la minutul 7:00 , apoi de la minutul 10:38 pana

la minutul 27:02.