Legi de compoziție

Fie o funcție * : M x M → M sn lege de compoziție internă/ lege de compoziție pe M

(x,y) |→ x*y / operație algebrică pe M

* este lege de compoziție pe M  ∀ x,y € M => x*y € M

𝐻 ≠ ∅
H este parte stabilă a lui M, în raport cu legea *  { 𝐻 ⊂𝑀
∀ 𝑥, 𝑦 € 𝐻 => 𝑥 ∗ 𝑦 € 𝐻

Obs: Daca M, H sunt mulțimi finite, cu numar mic de elemente, putem studia
proprietățile legii de compoziție, cu ajutorul tablei operației.

Tabla operației x x1 x2 ……….. xn

M={ x1, x2, … , xn }
x1 x1*x1 x1*x2 ............ x1*xn
x2
…
xn

Proprietăți:
P1. Asociativitate : ∀ 𝑥, 𝑦, 𝑧 € M  (x*y)*z = x*(y*z)
P2. Comutativitate : ∀ 𝑥, 𝑦 € M  x*y =y* x
P3. Element neutru : ∃ 𝑒 € 𝑀 𝑎. î. ∀ 𝑥 € M => x*e = e*x = x
P4. Element simetrizabil : ∃ 𝑥′ € 𝑀 𝑎. î. ∀ 𝑥 € M => x*x‘ = x‘ *x = e
Grupuri
𝒊) ∀ 𝑥, 𝑦 € 𝐺 => 𝑥 ∗ 𝑦 € 𝐺
𝒊𝒊) ∀ 𝑥, 𝑦, 𝑧 € 𝐺  (𝑥 ∗ 𝑦) ∗ 𝑧 = 𝑥 ∗ (𝑦 ∗ 𝑧)
(G, *) grup  𝒊𝒊𝒊) ∀ 𝑥, 𝑦 € 𝐺  𝑥 ∗ 𝑦 = 𝑦 ∗ 𝑥 >> Grup abelian
𝒊𝒗) ∃ 𝑒 € 𝑀 𝑎. î. ∀ 𝑥 € 𝐺 => 𝑥 ∗ 𝑒 = 𝑒 ∗ 𝑥 = 𝑥
{𝒗) ∃ 𝑥′ € 𝑀 𝑎. î. ∀ 𝑥 € 𝑀 => 𝑥 ∗ 𝑥‘ = 𝑥‘ ∗ 𝑥 = 𝑒

Daca lipsește axioma iv) => G* este monoid

Daca lipsește axioma v) => G* este monoid abelian

Izomorfism de grupuri
Fie (G, *) , (G’, ○) două grupuri.
Spunem că funcția f: G –» G’ este morfism de grupuri  f(x*y)=f(x)○f(y)
P1: f(eG) = eG’ - f – morfism de la grupul G la G’
- eG € G este elementul neutru al grupului G
- eG‘ € G‘ este elementul neutru al grupului G‘

P2: f(x’)=f(x)’ - ∀ x € G, f – morfism de la grupul G la G’

- x’ € G este simetricul lui x în raport cu legea *
- (f(x))’ € G‘ este simetricul lui f(x) în raport cu ○
Un morfism de la un grup la el însuși sn endomorfism al grupului G.
Fie (G, *) , (G’, ○) două grupuri.
Spunem că funcția f: G –» G’ este izomorfism de grupuri 
1. 𝑓 − 𝑏𝑖𝑗𝑒𝑐𝑡𝑖𝑣ă
{
2. 𝑓 − 𝑚𝑜𝑟𝑓𝑖𝑠𝑚 𝑑𝑒 𝑔𝑟𝑢𝑝𝑢𝑟𝑖  f(x*y)=f(x)○f(y), ∀ x, y € G
Spunem că două grupuri, (G, *) , (G’, ○), notăm G ≅ G’dacă între ele ∃ izomorfism.
1. 𝑓 − 𝑏𝑖𝑗𝑒𝑐𝑡𝑖𝑣ă
{
2. 𝑓 − 𝑚𝑜𝑟𝑓𝑖𝑠𝑚 𝑑𝑒 𝑔𝑟𝑢𝑝𝑢𝑟𝑖  f(x*y)=f(x)○f(y), ∀ x, y € G
Un izomorfism de la un grup la altul sn automorfism.