Уникальная область факторизации

«Уникальная факторизация» перенаправляется сюда. Чтобы узнать о единственности факторизации целых чисел, см. фундаментальную теорему арифметики .

В математике уникальная область факторизации ( UFD ) (также иногда называемая факториальным кольцом, следуя терминологии Бурбаки ) — это кольцо , в котором выполняется утверждение, аналогичное основной теореме арифметики . В частности, UFD — это область целостности ( нетривиальное коммутативное кольцо , в котором произведение любых двух ненулевых элементов не равно нулю), в котором каждый ненулевой неединичный элемент может быть записан как произведение неприводимых элементов , однозначно до заказа и единиц.

Важными примерами UFD являются целые числа и кольца многочленов от одной или нескольких переменных с коэффициентами, полученными из целых чисел или из поля .

Уникальные домены факторизации появляются в следующей цепочке включений классов :

rngs ⊃ кольца ⊃ коммутативные кольца ⊃ области целостности ⊃ целозамкнутые области ⊃ области НОД ⊃ области уникальной факторизации ⊃ области главных идеалов ⊃ евклидовы области ⊃ поля ⊃ алгебраически замкнутые поля

Определение

Формально, уникальная область факторизации определяется как целая область R, в которой каждый ненулевой элемент x из R может быть записан как произведение единицы u и нуля или более неприводимых элементов p _i из R :

Икс знак равно ты п ₁ п ₂ ⋅⋅⋅ п _п с п ≥ 0

и это представление уникально в следующем смысле:Если q ₁ , ..., q _m — неприводимые элементы R и w — такая единица, что

Икс знак равно ш q ₁ q ₂ ⋅⋅⋅ q _м с м ≥ 0 ,

тогда m = n , и существует биективное отображение φ : {1, ..., } → {1, ..., m } такое, что p _i сопоставлен с n q _{φ ( i )} для i ∈ {1, ..., н } .

Примеры

Большинство колец, знакомых из элементарной математики, представляют собой UFD:

• Все области главных идеалов , а следовательно, и все евклидовы области , являются UFD. В частности, целые числа (см. также «Основную теорему арифметики »), гауссовы целые числа и целые числа Эйзенштейна являются UFD.
• Если R — UFD, то таковым является и R [ X ], кольцо многочленов с коэффициентами R. из Если R не является полем, R [ X ] не является областью главного идеала. По индукции кольцо полиномов от любого числа переменных над любым UFD (и, в частности, над полем или над целыми числами) является UFD.
• формальных степенных рядов Кольцо K [[ X ₁ , ..., X _n ]] над полем K (или, в более общем плане, над регулярным UFD, таким как PID), является UFD. С другой стороны, формальное кольцо степенных рядов над UFD не обязательно должно быть UFD, даже если UFD является локальным . Например, если R — это локализация k [ x , y , z ]/( x ² + и ³ + я ⁷ ) в простом идеале ( x , y , z ), то R — локальное кольцо, которое является UFD, но кольцо формальных степенных рядов R [[ X ]] над R не является UFD.
• Теорема Ауслендера –Бухсбаума утверждает, что каждое регулярное локальное кольцо является UFD.
• $\mathbb {Z} \left[e^{\frac {2\pi i}{n}}\right]$ является УФД для всех целых чисел 1 ≤ n ≤ 22 , но не для n = 23 .
• Мори показал, что если пополнение кольца Зарисского , такого как нетерово локальное кольцо , является UFD, то кольцо является UFD. Обратное неверно: существуют нетеровы локальные кольца, которые являются UFD, но пополнения которых таковыми не являются. Вопрос, когда это произойдет, довольно тонкий: например, для k [ y x , локализации , z ] /( x ² + и ³ + я ⁵ ) в простом идеале ( x , y , z ) и локальное кольцо, и его пополнение являются UFD, но в очевидно похожем примере локализации k [ x , y , z ]/( x ² + и ³ + я ⁷ ) в простом идеале ( x , y , z ) локальное кольцо является UFD, но его пополнение - нет.
• Позволять $R$ быть полем любой характеристики, отличной от 2. Кляйн и Нагата показали, что кольцо R [ X ₁ , ..., X _n ]/ Q является UFD, если Q является неособой квадратичной формой в X s и n не менее 5. Когда n = 4 , кольцо не обязательно должно быть UFD. Например, R [ X , Y , Z , W ]/( XY − ZW ) не является UFD, поскольку элемент XY равен элементу ZW, так что XY и ZW представляют собой две разные факторизации одного и того же элемента в неприводимые.
• Кольцо Q [ x , y ]/( x ² + 2 года ² + 1) является УФД, но кольцо Q ( i )[ x , y ]/( x ² + 2 года ² +1) нет. С другой стороны, кольцо Q [ x , y ]/( x ² + и ² − 1) является не УФД, а кольцом Q ( i )[ x , y ]/( x ² + и ² − 1) есть. Аналогично координатное кольцо R [ X , Y , Z ]/( X ² + И ² + Я ² − 1) двумерной вещественной сферы является УФО, но координатное кольцо C [ X , Y , Z ]/( X ² + И ² + Я ² − 1) сложной сферы нет.
• Предположим, что переменным X _i заданы веса w _i , а F ( X ₁ , ..., X _n ) является однородным полиномом веса w . Тогда, если c взаимно просто с w и R является UFD и либо каждый конечно порожденный проективный модуль над R свободен, либо c равен 1 по модулю w , кольцо R [ X ₁ , ..., X _n , Z ]/( Z ^с − F ( X ₁ , ..., X _n )) является УФО.

Непримеры

• Квадратичное целочисленное кольцо $\mathbb {Z} [{\sqrt {-5}}]$ всех комплексных чисел вида $a+b{\sqrt {-5}}$, где a и b — целые числа, не является UFD, поскольку 6 факторов как 2×3, так и как $\left(1+{\sqrt {-5}}\right)\left(1-{\sqrt {-5}}\right)$. Это действительно разные факторизации, потому что единственные единицы в этом кольце — 1 и −1; таким образом, ни один из 2, 3, $1+{\sqrt {-5}}$, и $1-{\sqrt {-5}}$ являются ассоциированными . Нетрудно показать, что все четыре фактора также являются нередуцируемыми, хотя это может быть и неочевидно. См. также Алгебраическое целое число .
• Для положительного целого числа без квадратов d кольцо чисел целых $\mathbb {Q} [{\sqrt {-d}}]$ не будет UFD, если d не является числом Хегнера .
• Кольцо формальных степенных рядов по комплексным числам является УФД, но подкольцо тех, которые сходятся всюду, то есть кольцо целых функций от одной комплексной переменной, не является УФД, поскольку существуют целые функции с бесконечностью. нулей и, следовательно, бесконечность неприводимых факторов, в то время как факторизация UFD должна быть конечной, например:

  $\sin \pi z=\pi z\prod _{n=1}^{\infty }\left(1-{{z^{2}} \over {n^{2}}}\right).$

Характеристики

Некоторые концепции, определенные для целых чисел, можно распространить на UFD:

• В УФД каждый неприводимый элемент является простым . (В любой области целостности каждый простой элемент неприводим, но обратное не всегда верно. Например, элемент z ∈ K [ x , y , z ]/( z ² − xy ) неприводимо, но не просто.) Обратите внимание, что это имеет частичное обратное: область, удовлетворяющая ACCP , является UFD тогда и только тогда, когда каждый неприводимый элемент является простым.
• Любые два элемента УФД имеют наибольший общий делитель и наименьшее общее кратное . Здесь наибольший общий делитель a и b — это элемент d, который делит и a, и b , и такой, что любой другой общий делитель a и b делит d . Все наибольшие общие делители a и b связаны чисел .
• Любой УФД является целостно закрытым . Другими словами, если R — UFD с полем частных K элемент k в K является корнем монического многочлена с коэффициентами из R , то k — элемент R. , и если
• Пусть S — мультипликативно замкнутое подмножество УФД A . Тогда локализация S ⁻¹ А — УФО. Частичное обратное этому также справедливо; см. ниже.

Эквивалентные условия, при которых кольцо может быть UFD

Нётерова простой область целостности является UFD тогда и только тогда, когда каждый высоты 1 идеал является главным (доказательство приведено в конце). Кроме того, дедекиндова область является UFD тогда и только тогда, когда ее идеальная группа классов тривиальна. В данном случае это фактически область главного идеала .

В общем случае для области целостности A следующие условия эквивалентны:

1. А — УФО.
2. Каждый ненулевой идеал A простой содержит простой элемент .
3. A удовлетворяет условию возрастающей цепи главных идеалов (ACCP), а локализация S ⁻¹ A — UFD, где S — мультипликативно замкнутое подмножество , A порожденное простыми элементами. (критерий Нагаты)
4. A удовлетворяет ACCP , и каждая неприводимая является простой .
5. А атомарно , и все неприводимые числа просты .
6. A — домен GCD, удовлетворяющий ACCP .
7. A — домен Шрейера , и атомный .
8. A — это домен Шрейера и атомарный .
9. A имеет теорию дивизоров , в которой каждый дивизор является главным.
10. A — область Крулля , в которой каждый дивизориальный идеал является главным (фактически это определение UFD у Бурбаки).
11. A — область Крулля, и каждый простой идеал высоты 1 является главным.

На практике условия (2) и (3) являются наиболее полезными для проверки. Например, из (2) сразу следует, что PID является UFD, поскольку каждый простой идеал порождается простым элементом в PID.

В качестве другого примера рассмотрим нётерову область целостности, в которой каждый простой идеал высоты один является главным. Поскольку каждый простой идеал имеет конечную высоту, он содержит простой идеал высоты один (индукция по высоте), который является главным. Согласно (2) кольцо является УФД.

См. также

• Парафакторное локальное кольцо
• Некоммутативная уникальная область факторизации

Ссылки

• Артин, Майкл (2011). Алгебра . Прентис Холл. ISBN  978-0-13-241377-0 .
• Бурбаки, Н. (1972). Коммутативная алгебра . Пэрис, Герман; Ридинг, Массачусетс, паб Addison-Wesley. компании ISBN  9780201006445 .
• Хартли, Б .; Т. О. Хоукс (1970). Кольца, модули и линейная алгебра . Чепмен и Холл. ISBN  0-412-09810-5 . Глава. 4.
• Ланг, Серж (1993), Алгебра (Третье изд.), Ридинг, Массачусетс: Аддисон-Уэсли, ISBN  978-0-201-55540-0 , Збл   0848.13001 Глава II.5
• Дэвид Шарп (1987). Кольца и факторизация . Издательство Кембриджского университета . ISBN  0-521-33718-6 .
• Сэмюэл, Пьер (1964), Мурти, М. Павман (редактор), Лекции по уникальным областям факторизации , Лекции по математике Института фундаментальных исследований Таты, том. 30, Бомбей: Институт фундаментальных исследований Тата, MR   0214579
• Самуэль, Пьер (1968). «Уникальная факторизация». Американский математический ежемесячник . 75 (9): 945–952. дои : 10.2307/2315529 . ISSN   0002-9890 . JSTOR   2315529 .