Legi de compoziţie (l.c.

)
Fie M   o mulţime nevidă.
Numim lege de compoziţie pe M ( operaţie algebrică pe M, operaţie binară pe M ) o aplicaţie
 : M  M  M ,  x , y     x, y 
  x, y  se numeşte compusul lui x cu y.
Simboluri folosite pentru notarea legilor de compoziţie:  ,  ,  ,  ,  ,  ,  , etc.
Notaţia “ + “ se numeşte notaţia aditivă, iar “  “ notaţia multiplicativă.

Parte stabilă (p.s.)

Fie M   o mulţime, ,,  “ o lege de compoziţie pe M şi H  M o submulţime a lui M.
Spunem că H este parte stabilă a lui M în raport cu l.c. ,,  “  x, y  M  x  y  M

Proprietăţile legilor de compoziţie

Fie M   o multime şi ,,  “ o lege de compoziţie pe M.

,,  “ asociativă   x  y   z  x   y  z    , x, y, z  M

,,  “ comutativă  x  y  y  x ,    x, y  M

,,  “ admite element neutru    e  M astfel încât x  e = e  x = x,    x  M

Un element x  M este simetrizabil în raport cu ,,  “   x '  M a.i. x  x '  x ' x  e

Monoizi
Fie M   o mulţime şi ,,  “ o lege de compoziţie .
M , monoid 
1) ,,  “ este lege de compoziţie pe M ( sau ,,  “ este bine definită pe M , sau M =
parte stabilă în raport cu ,,  “ )     x, y  M  x  y  M
2) ,,  “ asociativă   x  y   z  x   y  z  ,    x, y , z  M
3) ,,  “ admite element neutru    e  M astfel încât x  e = e  x = x,    x  M
Dacă, în plus, se îndeplineşte şi condiţia
4) ,,  “ comutativă  x  y  y  x,    x, y  M , atunci monoidul este monoid
comutativ.

Observaţii:
1. Dacă trebuie demonstrat că M , monoid comutativ, atunci comutativitatea se
demonstrează imediat după asociativitate.
2. Notăm U M   mulţimea elementelor din M simetrizabile în raport cu ,,  “