Регулярний ідеал

В абстрактній алгебрі регулярний ідеал (також модулярний ідеал)— правий (лівий) ідеал $𝔦$ кільця R з властивістю: у кільці R знайдеться хоч би один такий елемент e, що для всіх елементів $x\in R$ виконується $ex-x\in 𝔦$ (відповідно $xe-x\in 𝔦$). Елемент e називається лівою (правою) одиницею по модулю ідеалу $𝔦$.

Двосторонній ідеал $R𝔦$ є регулярним тоді і тільки тоді коли фактор-кільце $A/𝔦$ є кільцем з одиницею. У кільці з одиницею e для довільного ідеалу $𝔦$ виконується $ex-x=0\in 𝔦$ і $xe-x=0\in 𝔦$ для кожного $x\in R$, тобто довільний ідеал кільця з одиницею є регулярним.

Довільний власний регулярний правий (лівий) ідеал можна вкласти в максимальний правий (лівий) ідеал, який автоматично буде регулярним.

Перетин усіх максимальних регулярних правих ідеалів асоціативного кільця збігається з перетином усіх максимальних регулярних лівих ідеалів і є радикалом Джекобсона цього кільця.

Приклади

• В кільці парних цілих чисел (кільце без одиниці), ідеал (6) є регулярним ($e=4$) тоді як ідеал (4) не є регулярним.

Джерела

• Джекобсон Н., Строение колец, пер. с англ.,М.: 1961.