Definition:Power (Algebra)/Natural Number

From ProofWiki
Jump to: navigation, search

Definition

Let $\N$ denote the natural numbers.


For each $m \in \N$, recursively define $e_m: \N \to \N$ to be the mapping:

$e_m \left({n}\right) = \begin{cases} 1 & : n = 0 \\ m \times e_m \left({x}\right) & : n = x + 1 \end{cases}$

where:

$+$ denotes natural number addition.
$\times$ denotes natural number multiplication.


$e_m \left({n}\right)$ is then expressed as a binary operation in the form:

$m^n := e_m \left({n}\right)$

and is called $m$ to the power of $n$.


Sources