monoid

(redirected from Monoid morphism)

monoid

[′mä‚nȯid]
(mathematics)
A semigroup which has an identity element.

monoid

An operator * and a value x form a monoid if * is associative and x is its left and right identity.
Mentioned in ?
References in periodicals archive ?
The first property says that a is a monoid morphism. Note that [sigma] is an order preserving poset morphism: that is, if a [[less than or equal to].sub.R] b, then [sigma](a) [less than or equal to] [sigma](b).
Davydov proves z(A) is a commutative monoid in Z(C), i is a monoid morphism in C, and z(A) [congruent to] z(B) for Morita equivalent A and B.
Proposition 2.12 The map C : S [right arrow] L defined by C(x) = [Sx.sup.w] is a surjective monoid morphism.