GRUPURI-DEFINITII SI PROPRIETATI

n matematic, un grup este o structur algebric ce const dintr-o mulime pe care este definit o lege de
compoziie intern (operaie) care combin dou elemente ale mulimii pentru a forma un al treilea
element al aceleiai mulimi. Pentru a fi un grup, mulimea i operaia trebuie s satisfac o serie de
condiii, denumite axiomele grupurilor, i anume asociativitatea, existena elementului neutru i
a elementului simetric. Dei acestea sunt proprieti cunoscute ale multor structuri matematice, cum ar fi
mulimile de numerede exemplu, mulimea numerelor ntregi mpreun cu operaia de adunare
formeaz un grup formularea axiomelor este detaat de natura concret a grupului i de operaia
respectiv. Aceasta permite manevrarea unor entiti de origini matematice diferite ntr-o manier
flexibil, pstrnd n acelai timp aspecte structurale eseniale comune ale multor tipuri de obiecte.
Omniprezena grupurilor n numeroase domeniiatt matematice ct i din afara matematiciiface din
ele un principiu central de organizare n matematica contemporan. Grupurile au proprietatea
fundamental de apropiere de noiunea de simetrie.
Proprietati ale legilor de compozitie
Asociativitatea
Legea de compozitie * se numeste asociativa pe multimea M daca:
Comutativitatea
Legea de compozitie * se numeste comutativa pe multimea M daca:
Element neutru
Legea de compozitie * admite element neutru pe multimea M daca exista

astfel incat:

Elemente simetrizabile
Un element
se numeste simetrizabil in raport cu legea de compozitie * daca exista x' in M astfel
incat:
Grupuri
Definitie:
Fie G o multime nevida pe care s-a dat o lege de compozitie *.
Spunem ca perechea
formeaza o structura algebrica de grup daca sunt indeplinite conditiile:
G1)Legea * este asociativa;
G2)Legea * are element neutru;
G3)Orice element din G este simetrizabil in raport cu legea *;
Conditiile G1,G2,G3 se numesc axiomele grupului.
In plus daca este indeplinita si axioma G4 se spune ca grupul
G4)Legea * este comutativa.

este comutativ sau abelian.