Tag Info

A monoid is a set $S$ with an associative binary operation that has an identity element. Examples of monoids are the non-negative integers under addition and the positive integers under multiplication. For questions on groups, use the gr.group.theory tag.