область главных идеалов

Область главных идеалов — это область целостности, в которой любой идеал является главным. Более общее понятие — кольцо главных идеалов, от которого не требуется целостности (однако некоторые авторы, например Бурбаки, ссылаются на кольцо главных идеалов как на целостное кольцо). Элементы кольца главных идеалов в некотором смысле похожи на числа: для любого элемента существует единственное разложение на простые, для любых двух элементов существует наибольший общий делитель. Области главных идеалов можно указать на следующей цепочке включений: Коммутативные кольца ⊃ Области целостности ⊃ Факториальные кольца ⊃ Области главных идеалов ⊃ Евклидовы кольца ⊃ Поля Кроме того, все области главных идеалов являются нётеровыми и дедекиндовыми кольцами.