Кольца дискретного нормирования. Дедекиндовы кольца. Кольца целых алгебраических чисел как дедекиндовы кольца.
Показывается, что любое кольцо целых алгебраических чисел 𝑂𝐾 является дедекиндовым кольцом, то есть нетеровым целостным целозамкнутым кольцом размерности 1. Вводится понятие кольца дискретного нормирования, и доказывается, что локализация дедекиндового кольца в ненулевом простом идеале является кольцом дискретного нормирования.