Il ben noto algoritmo di Euclide permette facilmente di trovare il massimo comun divisore di due numeri interi. Un anello nel quale sia presente un simile procedimento di divisione con resto (in cui il resto sia in un certo senso "più piccolo" del divisore) viene chiamato dominio euclideo. Usando lalgoritmo di Euclide si dimostra che gli ideali di tale anello sono tutti principali, ovvero esso è anche un dominio a ideali principali (mentre non è vero lopposto). Questo libro affronta tale problematica nel caso degli anelli degli interi di un campo globale (ovvero unestensione finita del...