struktura algebraiczna z łącznym działaniem dwuargumentowym i elementem neutralnym Z Wikipedii, wolnej encyklopedii
Monoid[1] (z gr. μονοειδές od μόνος monos „jedyny” i εἶδος eîdos „wygląd, postać, kształt”) – półgrupa, której działanie ma element neutralny[2]. Formalnie monoid to algebra sygnatury gdzie jest niepustym zbiorem, natomiast
jest działaniem dwuargumentowym, spełniającym warunki:
Szczególny przypadek monoidu stanowi grupa. Wynika stąd następujące zawieranie:
Każdy monoid jest izomorficzny z półgrupą wszystkich endomorfizmów pewnej algebry Jest to uogólnienie twierdzenia Cayleya.
Seamless Wikipedia browsing. On steroids.