This chapter is about the ring
of integers
modulo
.
First we discuss when linear equations modulo
have a solution,
then introduce the Euler
function and prove Fermat's Little
Theorem and Wilson's theorem. Next we prove the Chinese Remainer
Theorem, which addresses simultaneous solubility of several linear
equations modulo coprime moduli. With these theoretical foundations
in place, in Section 2.3 we introduce algorithms for
doing interesting computations modulo
, including computing large
powers quickly, and solving linear equations. We finish with a very
brief discussion of finding prime numbers using arithmetic modulo
.