monoid
A monoid is a semigroup which contains an identity element; that is, there exists an element such that for all .
If and are identity elements of a monoid , then , so we may speak of “the” identity element of .
A monoid homomorphism from monoids to is a semigroup homomorphism such that , where are identity elements of and respectively.
Title | monoid |
---|---|
Canonical name | Monoid |
Date of creation | 2013-03-22 11:50:15 |
Last modified on | 2013-03-22 11:50:15 |
Owner | djao (24) |
Last modified by | djao (24) |
Numerical id | 9 |
Author | djao (24) |
Entry type | Definition |
Classification | msc 20M99 |
Classification | msc 34-01 |
Synonym | homomorphism |
Related topic | Semigroup |
Defines | monoid homomorphism |