Definition:Power of Element/Notation

Notation for Power of Element
Let $\left({T, \oplus}\right)$ be an algebraic structure.

Let $a \in T$. Let $\oplus^n a$ be the $n$th power of $a$ under $\oplus$.

The usual notation for $\oplus^n a$ in a general algebraic structure is $a^n$, where the operation is implicit and its symbol omitted.

In an algebraic structure in which $\oplus$ is addition, or derived from addition, this can be written $n a$, that is, $n$ times $a$.

Thus:
 * $a^1 = \oplus^1 a = a$

and in general:
 * $\forall n \in \N_{>0}: a^{n + 1} = \oplus^{n + 1} a = \left({\oplus^n a}\right) \oplus a= \left({a^n}\right) \oplus a$