Definition:Power of Element/Monoid/Invertible Element
Jump to navigation
Jump to search
Definition
Let $\struct {S, \circ}$ be a monoid whose identity element is $e$.
Let $b \in S$ be invertible for $\circ$.
Let $n \in \Z$.
The definition $b^n = \map {\circ^n} b$ as the $n$th power of $b$ in $\left({S, \circ}\right)$ can be extended to include the inverse of $b$:
- $b^{-n} = \paren {b^{-1} }^n$