Multiplicative Inverse in Ring of Integers Modulo m

Theorem
Let $$\left({\mathbb{Z}_m, +_m, \times_m}\right)$$ be the Ring of Integers Modulo m.

Then $$\left[\!\left[{k}\right]\!\right]_m \in \mathbb{Z}_m$$ has an inverse in $$\left({\mathbb{Z}_m, \times_m}\right)$$ iff $$k \perp m$$.

Proof

 * First, suppose $$k \perp m$$. That is, $$\gcd \left\{{k, m}\right\} = 1$$.

Then, by GCD is Smallest Positive Integer Combination, $$\exists u, v \in \mathbb{Z}: u k + v m = 1$$.

Thus $$\left[\!\left[{u k + v m}\right]\!\right]_m = \left[\!\left[{u k}\right]\!\right]_m = \left[\!\left[{u}\right]\!\right]_m \left[\!\left[{k}\right]\!\right]_m = \left[\!\left[{1}\right]\!\right]_m$$.

Thus $$\left[\!\left[{u}\right]\!\right]_m$$ is an inverse of $$\left[\!\left[{k}\right]\!\right]_m$$.


 * Suppose $$\exists u \in \mathbb{Z}: \left[\!\left[{u}\right]\!\right]_m \left[\!\left[{k}\right]\!\right]_m = \left[\!\left[{u k}\right]\!\right]_m = 1$$.

Then $$u k \equiv 1 \left({\bmod\, m}\right)$$ and $$\exists v \in \mathbb{Z}: u k + v n = 1$$.

Thus from GCD is Smallest Positive Integer Combination, $$k \perp m$$.