Область целостности

целостное кольцо,- коммутативное кольцо с единицей и без делителей нуля. Любое поле, а также любое кольцо с единицей, содержащееся в нек-ром поле, является О. ц. Обратно, любая О. ц. может быть вложена в нек-рое поле. Такое вложение дает конструкция поля частных (см. Частных кольцо). Если А- О. ц., то кольцо многочленов [img: http://localhost:8080/file/031601-82.jpg] и кольцо формальных степенных рядов [img: http://localhost:8080/file/031601-83.jpg] над Атакже будут О. ц. Если А-коммутативное кольцо с единицей и I - нек-рый идеал в А, то кольцо А/I является О. ц. тогда и только тогда, когда идеал I прост. Кольцо Абудет О. ц. тогда и только тогда, когда спектр кольца А- неприводимое топологич. пространство. Иногда в определении О. ц. не требуют коммутативности кольца А. Примерами некоммутативных областей целостности являются тела, а также подкольца тел, содержащие единицу. Однако, вообще говоря, неверно, что любая некоммутативная О. ц. может быть вложена в нек-рое тело (см. [2], а также Вложение кольца).