I.T50 — Fundamental Theorem of Internal Galois Theory

Every unit of Z/M_k Z generates a valid ring automorphism preserving both addition and multiplication. This gives a bijection between units and automorphisms, the τ-internal Galois correspondence.