Конечность группы классов идеалов. Примеры.
Доказывается конечность факторгруппы группы дробных идеалов поля 𝐾 по подгруппе главных дробных идеалов (эта факторгруппа называется группой классов идеалов поля 𝐾 и обозначается 𝐶𝑙(𝐾)). Проводится вычисление группы 𝐶𝑙(𝐾) для некоторых квадратичных расширений 𝐾 поля Q. Показывается, что все идеалы кольца 𝑂k одновременно становятся главными при переходе к некоторому конечному расширению поля 𝐾.