Definition:Group of Units/Monoid

From ProofWiki
Jump to navigation Jump to search

Definition

Let $\struct {S, \circ}$ be a monoid.


Then the set $U_S$ of invertible elements of $\struct {S, \circ}$ can be referred to as the group of units of $\struct {S, \circ}$.


This can be denoted explicitly as $\struct {U_S, \circ}$.


Also see


Sources