Definition:Semigroup/Multiplicative

From ProofWiki
Jump to navigation Jump to search

Definition

Let $\struct {S, \circ}$ be a semigroup whose operation is multiplication.


Then $\struct {S, \circ}$ is a multiplicative semigroup.


It is implicit in this definition that the elements of $S$ are numbers, or objects derived from numbers upon which the concept of multiplication is applicable.


Also see


Sources