ФАКТОРИАЛЬНОЕ КОЛЬЦО


ФАКТОРИАЛЬНОЕ КОЛЬЦО

- кольцо с однозначным разложением на множители. Точнее, Ф. к. А- это область целостности, в к-рой можно выбрать систему экстремальных элементов . такую, что любой ненулевой элемент допускает единственное представление вида


где иобратим, а целые неотрицательные показатели (р)отличны от нуля только для конечного числа элементов При этом элемент наз. экстремальным в А, если из p=uv следует, что либо и, либо vобратим в А, и р необратим в А.
В Ф. к. существует наибольший общий делитель и наименьшее общее кратное любых двух элементов. Кольцо Афакториально тогда и только тогда, когда оно является кольцом Крулля и выполняется одно из следующих эквивалентных условий: (1) любой диви-зориальный идеал в . является главным; (2) любой простой идеал высоты 1 главный; (3) любое непустое семейство главных идеалов обладает максимальным элементом, н пересечение любых двух главных идеалов является главным идеалом. Любое кольцо главных идеалов факторнально. Дедекиндово кольцо факториально, только если оно - кольцо главных идеалов. Если S - мультипликативная система в Ф. к. А, то кольцо частных S-1Aфакториально. Для кольца Зариского Rиз факториальности его пополнения Rследует факториальность самого R.
Подкольцо и факторкольцо Ф. к. не обязаны быть Ф. к. Кольцо многочленов над Ф. к. и кольцо формальных степенных рядов над полем или дискретно нормированным кольцом факториально. Однако кольцо формальных степенных рядов над Ф. к. не обязано быть факториальным.
Область целостности факториальна тогда и только тогда, когда ее мультипликативная полугруппа гауссова (см. Гауссова полугруппа), в связи с этим Ф. к, наз, также гауссовыми кольцами.

Лит.: [1] Бурбаки Н., Коммутативная алгебра, пер. с франц., М., 1971.
Л. В. Кузьмин.


Математическая энциклопедия. — М.: Советская энциклопедия. . 1977—1985.

Смотреть что такое "ФАКТОРИАЛЬНОЕ КОЛЬЦО" в других словарях:

  • Факториальное кольцо — Факториальное кольцо  область целостности R, в которой каждый ненулевой элемент a является единицей кольца, либо представляется в виде произведения неприводимых элементов a=p1…pn (n≥1), причем данное разложение единственно в том смысле, что… …   Википедия

  • Кольцо Безу — (названное по имени французского математика Этьена Безу)  это всякая область целостности, в которой каждый конечнопорождённый идеал является главным. Из этого определения следует, что колецо Безу нётерово тогда и только тогда, когда оно… …   Википедия

  • КРУЛЛЯ КОЛЬЦО — коммутативное целостное кольцо А, для к poro существует семейство дискретных нормировании поля частных Ккольца А, удовлетворяющее следующим условиям: а) для любого н для всех i, исключая, быть может, конечное число, б) для условие эквивалентно… …   Математическая энциклопедия

  • КЛАССОВ ДИВИЗОРОВ ГРУППА — факторгруппа группы диеизориалъных идеалов D (А) Крулля кольца А по подгруппе главных идеалов F(A). К. д. г. является абелевой группой и обычно обозначается С(А). Группа С(А)порождается классами простых идеалов высоты 1 в кольце А. В некотором… …   Математическая энциклопедия

  • ЦЕЛОЕ РАСШИРЕНИЕ — кольца расширение Bкоммутативного кольца Ас единицей такое, что любой элемент является целым над A, т. е. удовлетворяет нек рому уравнению вида где называемому уравнением целой зависимости. Элемент хцел над Атогда и только тогда, когда… …   Математическая энциклопедия

  • Факторизация — Эта статья  о математической концепции. Другие значения термина в заглавии статьи см. на Фактор. Иллюстрация полинома x2 + …   Википедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.