Argomenti

1. Definizione di congruenza modulare

   1. Segue esempio

   PROPOSIZIONE: congruenze sono equivalenze

   PROPOSIZIONE: congruenze proprietà di somma e prodotto

   PROPOSIZIONE: ogni intero ha resto

   PROPOSIZIONE: Uguaglianza tra la classe di un numero e quella del suo resto

2. Definizione di insieme quoziente di $\Z/_{\equiv}$

3. Definizione dell’operazione operazioni sulle classi di resto

4. Teorema $\Z/_{\equiv}$ è un anello commutativo unitario

   1. Segue esempio

5. Proposizione: Legge di Cancellazione

   1. Dimostrazione