Structuri algebrice:
Monoid:
Un monoid este o structură algebrică formată dintr-o mulțime M și o lege de compoziție internă "*" (operație binară pe M) asociativă și cu element neutru. Astfel, un monoid este un semigrup cu element neutru.
Dacă în plus are loc şi axioma comutativităţii, se va numi monoid comutativ.
Grup:
Un grup este o structură algebrică formată dintr-o mulțime M și o lege de compoziție internă "*" (operație binară pe M) asociativă, cu element neutru şi toate elementele simetrizabile.
Dacă în plus are loc şi axioma comutativităţii, se va numi grup abelian sau comutativ.
Inel
Fie A o mulţime nevidă, şi două legi de compoziţie "*" şi "".
este inel dacă:
1. este grup abelian
2. este monoid
3. legea "" este distributivă faţă de legea "*".
Dacă legea "" este comutativă, atunci va fi inel comutativ.
Corp
Fie K o mulţime nevidă, şi două legi de compoziţie "*" şi "".
este corp dacă:
1. este grup abelian
2. este grup
3. legea "" este distributivă faţă de legea "*".
Dacă legea "" este comutativă, atunci va fi corp comutativ.