Целостное кольцо
Це́лостное кольцо́ (область целостности), коммутативное кольцо с единицей и без делителей нуля. Любое поле, а также любое кольцо с единицей, содержащееся в некотором поле, является целостным кольцом. Обратно, любое целостное кольцо может быть вложено в некоторое поле. Такое вложение даёт конструкция поля частных.
Если – целостное кольцо, то кольцо многочленов и кольцо формальных степенных рядов над также будут целостными кольцами. Если – коммутативное кольцо с единицей и – некоторый идеал в , то кольцо является целостным тогда и только тогда, когда идеал прост. Кольцо будет целостным тогда и только тогда, когда спектр кольца – неприводимое топологическое пространство.
Иногда в определении целостного кольца не требуют коммутативности кольца . Примерами некоммутативных областей целостности являются тела, а также подкольца тел, содержащие единицу. Однако, вообще говоря, неверно, что любое некоммутативное целостное кольцо может быть вложено в некоторое тело (см. Кон. 1975).