Index Laws for Monoids

Theorem
These results are an extension of the results in Index Laws for Semigroups in which the domain of the indices is extended to include all integers.

Let $\left ({S, \odot}\right)$ be a monoid whose identity is $e_S$.

Let $a \in S$ be invertible for $\odot$.

Let $n \in \N$.

Let $a^n = \odot^n \left({a}\right)$ extend the definition in Power of an Element to include the identity as an index:


 * $a^n = \begin{cases}

e_S : & n = 0 \\ a^x \odot a : & n = x + 1 \end{cases}$

... that is, $a^n = a \odot a \odot \cdots \left({n}\right) \cdots \odot a = \odot^n \left({a}\right)$.

Also, for each $n \in \N$ we can define:


 * $a^{-n} = \left({a^{-1}}\right)^n$

(Note that the notation $a^n$ and $\odot^n \left({a}\right)$ mean the same thing. The former is more compact and readable, but the latter is more explicit and can be more useful when more than one structure is under consideration.)

Then we have the following results:

Sum of Indices
Let $a \in S$ be invertible for $\odot$.

Then:
 * $\forall m, n \in \Z: a^{n+m} = a^n \odot a^m$

Product of Indices
Let $a \in S$ be invertible for $\odot$.

Then:
 * $\forall m, n \in \Z: a^{n m} = \left({a^m}\right)^n = \left({a^n}\right)^m$

Sum of Indices
For each $c \in S$ which is invertible for $\odot$, we define the mapping $g_c: \Z \to S$ as:


 * $\forall n \in \Z: g_c \left({n}\right) = \odot^n \left({c}\right)$

By the Index Law for Negative Index above, $g_a \left({n}\right)$ is invertible for all $n \in \Z$.

By Recursive Mapping to Semigroup, the restriction of $g_a$ to $\N$ is a homomorphism from $\left({\N, +}\right)$ to $\left({S, \odot}\right)$.

From Recursive Mapping to Semigroup, $g_a \left({0}\right)$ is the identity for $\odot$ by definition.

Hence, by the Extension Theorem for Homomorphisms, there is a unique homomorphism $h_a: \left({\N, +}\right) \to \left({S, \odot}\right)$ which coincides in $\N$ with $g_c$.

But by Homomorphism with Identity Preserves Inverses:

Hence $h_a = g_a$ and so $g_a$ is a homomorphism and so the result follows.

Product of Indices

 * Let $m \in \N, c = a^m, d = \left({a^{-1}}\right)^m$.

Let $g_c$ be as defined in the proof of Index Law for Sum of Indices.

Let $h: \Z \to \Z$ be the mapping defined as:


 * $\forall z \in \Z: h \left({z}\right) = z m$

Then:

By Index Law for Sum of Indices and Naturally Ordered Semigroup Power Law, $g_a \circ h$ and $g_c$ are homomorphisms from $\Z$ to $S$ which coincide on $\N$.

So by the Extension Theorem for Homomorphisms, $g_a \circ h = g_c$.

Therefore:


 * $\forall n \in \Z, m \in \N: a^{n m} = \left({a^m}\right)^n$

Also:

and

So, by the same reasoning as before, $g_{a^{-1}} \circ h = g_d$.

Therefore:
 * $\forall n \in \Z, m \in \N: a^{n \left({-m}\right)} = \left({a^{-m}}\right)^n$

Thus:
 * $\forall n, m \in \Z: a^{n m} = \left({a^m}\right)^n$

As $n m = m n$, the result follows.