Monoid
A monoid is a set with an operation
which is associative and has an identity. That is,
is a monoid if and only if
for all
- There is an element
such that
for all
.
Alternatively, a monoid can be thought of as a group without inverses.
Because the conditions on monoids are so weak, there are very few theorems of "monoid theory." However, monoids do arise from time to time in the study of abstract algebra, and many objects (such as all groups, as well as any ring with respect to either of its operations) are in fact monoids.
This article is a stub. Help us out by expanding it.