Главный идеал домен

редактировать
Алгебраическая структура

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

Главные идеальные области, таким образом, являются математическими объектами, которые ведут себя как целые числа в отношении делимости : любой элемент PID имеет уникальное разложение на простые элементы (так что имеет место аналог основной теоремы арифметики ); любые два элемента PID имеют наибольший общий делитель (хотя его может быть невозможно найти с помощью алгоритма Евклида ). Если x и y являются элементами PID без общих делителей, то каждый элемент PID можно записать в форме ax + by.

Главные идеальные домены - это нетеровы, они интегрально замкнутые, это уникальные домены факторизации и дедекиндовы домены. Все евклидовы области и все поля являются главными идеальными областями.

Области главных идеалов появляются в следующей цепочке включений классов :

rngsколецкоммутативных колецобластей целостностиинтегрально замкнутых областейобластей GCDуникальные домены факторизацииглавные идеальные доменыЕвклидовы доменыполяалгебраически замкнутые поля
Содержание
  • 1 Примеры
    • 1.1 Не-примеры
  • 2 Модуля
  • 3 Свойства
  • 4 См. Также
  • 5 Примечания
  • 6 Ссылки
  • 7 Внешние ссылки
Примеры

Примеры включают:

Non-examples

Примеры интегральных домены, которые не являются PID:

  • Z [- 3] {\ displaystyle \ mathbb {Z} [{\ sqrt {-3}}]}{\ displaystyle \ mathbb {Z} [{ \ sqrt {-3}}]} - пример кольца, которое не является уникальная область факторизации, поскольку 4 = 2 ⋅ 2 = (1 + - 3) (1 - - 3). {\ displaystyle 4 = 2 \ cdot 2 = (1 + {\ sqrt {-3}}) (1 - {\ sqrt {-3}}).}{\ displaystyle 4 = 2 \ cdot 2 = (1 + {\ sqrt {-3}}) (1 - {\ sqrt {-3}}).} Следовательно, это не основная идеальная область поскольку области главных идеалов являются уникальными областями факторизации.
  • Z [x] {\ displaystyle \ mathbb {Z} [x]}\ mathbb {Z} [x] : кольцо всех многочленов с целыми коэффициентами. Это не принципиально, потому что ⟨2, x⟩ {\ displaystyle \ langle 2, x \ rangle}{\ displaystyle \ langle 2, x \ rangle} является примером идеала, который не может быть сгенерирован одним полиномом.
  • K [ x, y] {\ displaystyle K [x, y]}{\ displaystyle K [x, y]} : кольца многочленов от двух переменных. Идеальный ⟨x, y⟩ {\ displaystyle \ langle x, y \ rangle}\ langle x, y \ rangle не является главным.
  • Большинство колец алгебраических целых чисел не являются области основных идеалов, потому что в них есть идеалы, которые не порождаются одним элементом. Это одна из основных мотиваций, лежащих в основе определения Дедекинда доменов Дедекинда, поскольку простое целое число больше не может быть разложено на элементы, вместо этого они являются простыми идеалами. На самом деле многие Z [ζ p] {\ displaystyle \ mathbb {Z} [\ zeta _ {p}]}{\ displaystyle \ mathbb {Z} [\ zeta _ {p}]} для корня p-й степени из единицы ζ p {\ displaystyle \ zeta _ {p}}\ zeta _ {p} не являются принципиально идеальными областями. Фактически, номер класса кольца алгебраических целых чисел OK {\ displaystyle {\ mathcal {O}} _ {K}}{\ mathcal {O}} _ {K} дает представление о том, «насколько далеко прочь "это не область главных идеалов.
Модули

Ключевым результатом является структурная теорема: если R - область главных идеалов, а M - конечно порожденный R-модуль, то M {\ displaystyle M}M представляет собой прямую сумму циклических модулей, т. Е. Модулей с одним образующим. Циклические модули изоморфны R / x R {\ displaystyle R / xR}R / xR для некоторого x ∈ R {\ displaystyle x \ in R}x \ in R (примечание что x {\ displaystyle x}x может быть равно 0 {\ displaystyle 0}{\ displaystyle 0 } , и в этом случае R / x R {\ displaystyle R / xR}R / xR равно R {\ displaystyle R}R ).

Если M является свободным модулем над областью главных идеалов R, то каждый подмодуль M снова свободен. Это не выполняется для модулей над произвольными кольцами, как, например, (2, X) ⊆ Z [X] {\ displaystyle (2, X) \ substeq \ mathbb {Z} [X]}{\ displaystyle (2, X) \ substeq \ mathbb {Z} [X] } модулей более Z [X] {\ displaystyle \ mathbb {Z} [X]}{\ displaystyle \ mathbb {Z} [X]} показывает.

Свойства

В области главного идеала любые два элемента a, b имеют наибольший общий делитель, который может быть получен как генератор идеала (a, б).

Все евклидовы области являются областями главных идеалов, но обратное неверно. Примером области главных идеалов, не являющейся евклидовой областью, является кольцо Z [1 + - 19 2]. {\ displaystyle \ mathbb {Z} \ left [{\ frac {1 + {\ sqrt {-19}}} {2}} \ right].}{\ displaystyle \ mathbb {Z} \ left [{\ frac {1 + {\ sqrt {-19 }}} {2}} \ right].} В этой области нет q и r, с 0 ≤ | r | < 4, so that (1 + - 19) = (4) q + r {\ displaystyle (1 + {\ sqrt {-19}}) = (4) q + r}(1 + {\ sqrt {-19}}) = (4) q + r , несмотря на 1 + - 19 {\ displaystyle 1 + {\ sqrt {-19}}}1 + {\ sqrt {-19}} и 4 {\ displaystyle 4}4 с наибольшим общим делителем 2.

Каждый главный идеальный домен является уникальным доменом факторизации (UFD). Обратное неверно, поскольку для любого UFD K кольцо K [X, Y] многочленов от 2 переменных является UFD, но не PID. (Чтобы доказать это, взглянем на идеал, порожденный ⟨X, Y⟩. {\ Displaystyle \ left \ langle X, Y \ right \ rangle.}\ left \ langle X, Y \ right \ rangle. Это не все кольцо, поскольку оно содержит нет полиномов степени 0, но он не может быть порожден каким-либо одним элементом.)

  1. Каждая область главных идеалов нётерова.
  2. Во всех кольцах с единицей максимальные идеалы равны простое число. В областях главных идеалов имеет место почти обратное: каждый ненулевой простой идеал максимален.
  3. Все области главных идеалов интегрально замкнуты.

Предыдущие три утверждения дают определение дедекиндовской области, и, следовательно, всякая область главных идеалов является дедекиндовской.

Пусть A - область целостности. Тогда следующие эквивалентны.

  1. A - PID.
  2. Каждый простой идеал A является главным.
  3. A - область Дедекинда, которая является UFD.
  4. Каждый конечно порожденный идеал A является главным (т. е. A является областью Безу ) и A удовлетворяет условию возрастающей цепочки на главных идеалах.
  5. A допускает норму Дедекинда – Хассе.

A норма поля - норма Дедекинда-Хассе; таким образом, (5) показывает, что евклидова область является PID. (4) сравнивается с:

  • Область целостности является UFD тогда и только тогда, когда она является областью GCD (т. Е. Областью, где каждые два элемента имеют наибольший общий делитель), удовлетворяющей условию возрастающей цепочки на главных идеалах.

Область целостности является областью Безу тогда и только тогда, когда любые два элемента в ней имеют НОД, который является линейной комбинацией этих двух. Таким образом, домен Безу является доменом GCD, и (4) дает еще одно доказательство того, что PID является UFD.

См. Также
Примечания
  1. ^См. Fraleigh Katz (1967), стр. 73, следствие теоремы 1.7 и примечания на стр. 369, после следствия теоремы 7.2
  2. ^См. Fraleigh Katz (1967), с. 385, теорема 7.8 и с. 377, теорема 7.4.
  3. ^Милн. «Алгебраическая теория чисел» (PDF). п. 5.
  4. ^См. Также Рибенбойм (2001), стр. 113, доказательство леммы 2.
  5. ^Уилсон, Джек К. «Главное кольцо, не являющееся евклидовым кольцом». Математика. Mag 46(январь 1973 г.) 34-38 [1]
  6. ^Джордж Бергман, основная идеальная область, не являющаяся евклидовой - разработана как серия упражнений файл PostScript
  7. ^Доказательство: каждое простое число Идеал порождается одним элементом, который обязательно прост. Теперь обратимся к тому факту, что область целостности является UFD тогда и только тогда, когда ее простые идеалы содержат простые элементы.
  8. ^Джейкобсон (2009), стр. 148, теорема 2.23.
  9. ^Fraleigh Katz (1967), стр. 368, теорема 7.2
  10. ^Хазевинкель, Губарени и Кириченко (2004), с.166, теорема 7.2.1.
  11. ^Т. Ю. Лам и Мануэль Л. Рейес, Основной идеальный принцип в коммутативной алгебре Архивировано 26 июля 2010 г. в Wayback Machine
  12. ^Hazewinkel, Gubareni Kirichenko (2004), с.170, Предложение 7.3.3.
Список литературы
  • Мишель Хазевинкель, Надежда Губарени, В.В. Кириченко. Алгебры, кольца и модули. Kluwer Academic Publishers, 2004. ISBN 1-4020-2690-0
  • Джон Б. Фрали, Виктор Дж. Кац. Первый курс абстрактной алгебры. Издательство Эддисон-Уэсли. 5 изд., 1967. ISBN 0-201-53467-3
  • Натан Джейкобсон. Основы алгебры I. Dover, 2009. ISBN 978-0-486-47189-1
  • Пауло Рибенбойм. Классическая теория алгебраических чисел. Springer, 2001. ISBN 0-387-95070-2
Внешние ссылки
Последняя правка сделана 2021-06-02 06:44:26
Содержание доступно по лицензии CC BY-SA 3.0 (если не указано иное).
Обратная связь: support@alphapedia.ru
Соглашение
О проекте