Monoid: razlika između inačica

Izbrisani sadržaj Dodani sadržaj
Nema sažetka uređivanja
Nema sažetka uređivanja
Redak 3:
== Definicija ==
''Monoid'' je skup M s binarnom operacijom ''* : M × M → M'', te za koji vrijede sljedeći aksiomi:
*[[Zatvorenost (matematika)|Zatvorenost]]: Za<math>(\forall svake ''a'', ''b'' iz\in M),\ jea*b \in M</math> (za svake ''a *i b'' iz M., a*b je također u M)
*[[Asocijativnost]]: <math>(\forall a, b, c \in M</math>),\ <math>(a * b) * c = a * (b * c)</math>
*Neutralni element: Postoji<math>(\exists e \in M)\ (\forall a \in M)\ (a * e = e * a = a)</math> (postoji element ''e'' iz M, takav da je za svaki ''a'' iz M, vrijedi ''a*e = e*a = a''.)
 
Također možemo reći da je monoid [[polugrupa (matematika)|polugrupa]] s neutralnim elementom.