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

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

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

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

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

Определение

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

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

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

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

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

Примеры

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

Все области главных идеалов , а следовательно, и все евклидовы области , являются UFD. В частности, целые числа (см. также «Основную теорему арифметики »), целые числа Гаусса и целые числа Эйзенштейна являются UFD.
Если R — UFD, то таковым является и [ X ] , кольцо многочленов с коэффициентами из R. R Если R не является полем, R [ X ] не является областью главного идеала. По индукции кольцо многочленов от любого числа переменных над любым УФД (и, в частности, по полю или над целыми числами) является УФД.
формальных степенных Кольцо рядов 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. ^[1]Обратное неверно: существуют нетеровы локальные кольца, которые являются UFD, но пополнения которых таковыми не являются. Вопрос, когда это произойдет, довольно тонкий: например, для [ x локализации k , y , 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) есть. ^[2] Аналогично координатное кольцо 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 )) является УФО. ^[3]

Непримеры

Квадратичное целочисленное кольцо $\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}}$ являются ассоциированными . Нетрудно показать, что все четыре фактора также являются нередуцируемыми, хотя это может быть и неочевидно. ^[4] См. также Алгебраическое целое число .
Для положительного целого числа без квадратов 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 следующие условия эквивалентны:

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

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

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

Смотрите также

Цитаты

^ Бурбаки (1972) , 7.3, № 6, Предложение 4.
^ Сэмюэл (1964) , с. 35
^ Сэмюэл (1964) , с. 31
^ Артин (2011) , с. 360
^ Капланский
^ Область Шрайера — это целозамкнутая область целостности, где всякий раз, когда x делит yz , x можно записать как x = x ₁ x _2, так что x ₁ делит y , а x ₂ делит z . В частности, домен GCD является доменом Шрайера.
^ Бурбаки (1972) , 7.3, № 2, Теорема 1.