Ce ai tu pe caiet nu este tocmai definitia completa a inelului.
Fie
si
si
doua legi de compozitie pe M.
Atunci
este inel daca:
a)
este grup abelian, adica:
-
, (legea este comutativa)
-
, (legea este asociativa)
-
a.i.
, (legea admite element neutru)
-
a.i.
, (orice element este simetrizabil).
b)
este monoid, adica:
-
, (legea este asociativa)
-
a.i.
, (legea admite element neutru)
c) Legea
este distributiva fata de legea
:
Daca, in plus, monoidul este comutativ, atunci si inelul este comutativ.
Pentru exemplul dat nu trebuie decat sa verifici toate axiomele inelului pentru cele doua legi de compozitie.