ABSTRACT
Our main aim here is to introduce some of the basic “arithmetic” of Z. In its turn arithmetic can be used to introduce the finite rings Z/mZ of residue classes modulo m and, in particular, the finite fields Fp = Z/pZ, where p is a prime. The arithmetic of Z to be discussed below already appears in Euclid. Congruences and residue classes were introduced by Gauss.
