PROPOSIZIONE: Divisione con resto
PROPOSIZIONE: Ogni primo è irriducibile
PROPOSIZIONE: Legge di Cancellazione congruenze
PROPOSIZIONE: Divisione Euclidea di Polinomi
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
PROPOSIZIONE: Risolubilità delle congruenze
PROPOSIZIONE: Criterio dei sottogruppi
PROPOSIZIONE: Il Centro è un Sottogruppo
PROPOSIZIONE: Intersezione di Sottogruppi
PROPOSIZIONE: equicardinalità delle classi laterali
PROPOSIZIONE: Struttura dei sottogruppi dei gruppi ciclici
PROPOSIZIONE: Caratterizzazione dei sottogruppi normali tramite coniugio
PROPOSIZIONE: Proprietà di sottospazio della chiusura lineare