GRUPURI

Fie G   mulţime şi ,,  “ o lege de compoziţie.

 G ,  grup 
1) ,,  ” lege de compoziţie pe G ( G parte stabilă în raport cu ,,  ” ; ,,  ” bine
definită pe G )     x, y  G  x  y  G
2) ,,  “ asociativă   x  y z  x   y  z  ,    x, y , z  G
3) ,,  “ admite element neutru în G    e  G astfel ăncât x  e  e  x  x    x  G
4)  element din G simetrizabil în raport cu “  ”     x  G,  x '  G astfel încât
x  x'  x '  x  e
Dacă, în plus, este satisfacută şi propietatea
5) ,,  “ comutativă  x  y  y  x,    x, y  G , atunci  G, se numeşte grup
abelian ( comutativ)

Observaţii:
1. Dacă trebuie sa demonstrăm că un grup este comutativ, demonstrăm comutativitatea
imediat după asociativitate .
2. Condiţiile 1-4 se numesc axiomele grupului

Reguli de calcul într-un grup

Fie G, grup
1. Într-un grup sunt adevarate regulile de simplificare:
- la stânga : a  b  a  c  b  c
- la dreapta : b  a  c  a  b  c
2.  a, b  G , ecuaţiile următoare au soluţii unice în G:
a '  a  x  b  a ' a  x  a ' b  x  a ' b , unde a ' = simetricul lui a
y  a  b a '  y  a  a '  b  a '  y  b  a ' , unde a ' = simetricul lui a
2. În orice linie (coloană) a tablei operaţiei unui grup G cu un număr finit de elemente,
fiecare element al lui G apare o dată şi numai o singură dată .

Morfisme de grupuri
Fie  G ,  si  G ',   grupuri.
Definiţia 1
Numim morfism de grupuri o aplicaţie f : G  G ' cu proprietatea
f  x  y   f  x   f  y  , x, y  G
Definiţia 2
Numim izomorfism de grupuri o aplicaţie f : G  G ' cu proprietăţile
1. f  x  y   f  x   f  y  , x, y  G ( f morfism)
2. f bijectivă