A combinatorial proof of a decomposition property of reduced residue systems

Abstract

In this paper, we look at three common theorems in number theory: the Chinese remainder theorem, the multiplicative property of the Euler totient function, and a decomposition property of reduced residue systems. We use a grid of squares to give simple transparent visual proofs.