Идеал (теория на пръстените) – Уикипедия
За информацията в тази статия или раздел не са посочени източници. Въпросната информация може да е непълна, неточна или изцяло невярна. Имайте предвид, че това може да стане причина за изтриването на цялата статия или раздел. |
Идеал в теория на пръстените е подмножество на пръстен притежаващо специални свойства.
Идеалът е конструкция подобна на нормалната група от теория на групите. Използвайки идеали може да се образуват факторпръстени, както чрез използване на нормални групи се образуват факторгрупи.
История на понятието
[редактиране | редактиране на кода]Идеалите са въведени от Рихард Дедекинд през 1876 в книгата му Лекции по теория на числата (Vorlesungen über Zahlentheorie). Появяват се като обобщение на понятието идеално число въведено от Ернст Кумер. Основни заслуги за развитието на теория на идеалите имат Давид Хилберт и Еми Ньотер.
Формални определения
[редактиране | редактиране на кода]Нека е пръстен. Подмножеството на , ще наричаме ляв(съответно десен) идеал, ако е непразно и са удоволетворени условията:
, ще наричаме двустранен идеал или само идеал, ако е едновременно ляв и десен идеал (означава се с ). Ако пръстенът е комутативен, то всеки ляв/десен идеал е двустранен идеал.
Сума на идеали дефинираме, като множеството .
Собствен идеал е идеал, който не съвпада, като множество, с (бележи се с ).
Примери
[редактиране | редактиране на кода]- Всяка адитивна подгрупа на целите числа е идеал в пръстена на целите числа. Четните числа образуват идеал в пръстена .
- В пръстена на квадратните матрици, подмножеството от матрици, чиито последен стълб е съставен само от нули, е ляв (, но не десен) идеал. Обратно, подмножеството от матрици, чиито последен ред е съставен само от нули, е десен (, но не ляв) идеал.
- и са идеали във всеки пръстен .
- Компактните оператори образуват идеал в пръстена на ограничените оператори.
Видове идеали
[редактиране | редактиране на кода]- Максимален идеал. наричаме максимален идеал ако не съществува друг собствен идеал такъв, че да съдържа като подмножество.
- Прост идеал е собствен идеал, за който е изпълнено: , ако , то следва, че поне едно от a и b принадлежи на .
- Примитивен идеал. Ако за всеки , ако от , следва че поне едно от a и bn принадлежи на за някое n – естествено. Всеки прост идеал е примитивен, но обратното не е вярно.
- Главен идеал е идеал породен от един елемент a на комутативен пръстен с единица , бележи се . Лесно се вижда, че .
- Неприводим идеал е такъв, който не може да се представи като сечение на идеали, които го съдържат като собствено подмножество.
- Два идеала и се наричат комаксимални, ако за някое и .
Свойства на идеалите
[редактиране | редактиране на кода]- Един идеал е собствен тогава и само тогава, когато не съдържа 1.
- Всеки собствен идеал се съдържа в максимален идеал.
- Комутативен пръстен с 1 е поле тогава и само тогава, когато няма нетривиални идеали (различни от {0} и самият пръстен).
- Всеки идеал е непразен, защото 0 принадлежи на идеала, следователно идеалът е подгрупа на адитивната група на пръстена, както и подпръстен на пръстена.
- Всеки ляв/десен идеал на е ляв/десен R-подмодул на .
- Сечение на леви/десни/двустранни идеали е ляв/десен/двустранен идеал.
- Всеки идеал е псевдопръстен.
- Идеалите на един пръстен образуват полупръстен с действия събиране и умножение на идеали.