Mappings Between Residue Classes

Theorem
Let $\left[\!\left[{a}\right]\!\right]_m$ be the residue class of $a$ (modulo $m$).

Let $\phi: \Z_m \to \Z_n$ be a mapping given by:
 * $\phi \left({\left[\!\left[{x}\right]\!\right]_m}\right) = \left[\!\left[{x}\right]\!\right]_n$

Then $\phi$ is well defined $m$ is a divisor of $n$.

Proof
For $\phi$ to be well defined, we require that:


 * $\forall x, y \in \Z_m: \left[\!\left[{x}\right]\!\right]_m = \left[\!\left[{y}\right]\!\right]_m \implies \phi \left({\left[\!\left[{x}\right]\!\right]_m}\right) = \phi \left({\left[\!\left[{y}\right]\!\right]_m}\right)$

Now:
 * $\left[\!\left[{x}\right]\!\right]_m = \left[\!\left[{y}\right]\!\right]_m \implies x - y \mathrel \backslash m$

For $\phi \left({\left[\!\left[{x}\right]\!\right]_m}\right) = \phi \left({\left[\!\left[{y}\right]\!\right]_m}\right)$ we require that:
 * $\left[\!\left[{x}\right]\!\right]_n = \left[\!\left[{y}\right]\!\right]_n \implies x - y \mathrel \backslash n$

Thus $\phi$ is well defined :
 * $x - y \mathrel \backslash m \implies x - y \mathrel \backslash n$

That is, $m \mathrel \backslash n$.