instigate::algebra::multiplicative_monoid Namespace Reference

Multiplicative Monoid Concept. More...

Classes
struct	tag
	Multiplicative Monoid Concept tag. More...
struct	interface
	Interface for the Multiplicative Monoid Concept. More...
struct	requirements
	Requirements of the Multiplicative Monoid Concept. More...

---

Detailed Description

Multiplicative Monoid Concept.

A Multiplicative Monoid is an algebraic structure with a single, associative binary operation and an identity element,satisfies all the axioms of a Multiplicative Group with the exception of having inverses. A Multiplicative Monoid with inverses is a Multiplicative Group. Alternatively, a Multiplicative Monoid is a Multiplicative Semigroup with a multiplicative identity element.