Кольцо Крулля
Кольцо́ Кру́лля, коммутативное целостное кольцо , для которого существует семейство дискретных нормирований поля частных кольца , удовлетворяющее следующим условиям: а) для любого и для всех исключая, быть может, конечное число, ; б) для условие эквивалентно тому, что для всех . Нормирования называются при этом существенными.
Кольца Крулля были рассмотрены В. Круллем (Krull. 1932) под названием колец конечного дискретного главного порядка. Они являются наиболее естественным классом колец, в которых существует теория дивизоров (см. также Дивизориальный идеал, Группа классов дивизоров). Упорядоченная группа дивизоров кольца Крулля канонически изоморфна упорядоченной группе . Существенные нормирования кольца Крулля могут быть отождествлены с множеством простых идеалов высоты 1. Кольцо Крулля вполне целозамкнуто. Любое целозамкнутое нётерово кольцо, в частности дедекиндово кольцо, является кольцом Крулля. Кольцо многочленов от бесконечного числа переменных – пример кольца Крулля, не являющегося нётеровым. Вообще, любое факториальное кольцо – кольцо Крулля. Для того чтобы кольцо Крулля было факториально, необходимо и достаточно, чтобы любой его простой идеал высоты 1 был главным.
Класс колец Крулля замкнут относительно операций локализации, перехода к кольцу многочленов или формальных степенных рядов, а также целого замыкания в конечном расширении поля частных .