A submonoid of a monoid MM with unit 11 is a subset NN of MM containing 11 which is also a monoid with respect to the inherited multiplication.


  • Given a group GG, any subgroup is a submonoid.
  • Given a category CC and a subcategory DD, an object XX in both, the monoid Hom D(X,X)\Hom_D(X,X) is a submonoid of Hom C(X,X)\Hom_C(X,X).
  • A commutative? and cancellative? monoid MM is a submonoid of its Grothendieck group G(M)G(M).

Last revised on May 11, 2016 at 14:50:29. See the history of this page for a list of all contributions to it.