Then formula_1 is a Krull ring if# formula_5 is a discrete valuation ring for all formula_6,#formula_1 is the intersection of these discrete valuation rings (considered as subrings of the quotient field of formula_1).
formula_1 является кольцом Крулля тогда и только тогда, когда:# formula_5 — кольцо дискретного нормирования для всех formula_6,# formula_1 равняется пересечению этих колец дискретного нормирования (рассматриваемых как подкольца поля частных formula_1).