Module un_algebra::monoid::mul_monoid

Algebraic multiplicative monoid traits.

An algebraic multiplicative monoid is a multiplicative semigroup S, with a unique multiplicative identity element, called one, and denoted 1.

Axioms

∀x ∈ S
 
Identity: ∃1 ∈ S: 1 × x = x × 1 = x.

References

See references for a formal definition of a multiplicative monoid.

Traits

MulMonoid	An algebraic multiplicative monoid.
NumMulMonoid	A "numeric" algebraic multiplicative monoid.