Головний ідеал — в теорії кілець, що є розділом абстрактної алгебри, це такий ідеал, що породжений одним елементом кільця R.

ВизначенняРедагувати

  • Лівий головний ідеал кільця R це така підмножина кільця Ra := {ra : r in R};
  • Правий головний ідеал кільця R це така підмножина кільця aR := {ar : r in R};
  • Двосторонній головний ідеал кільця R це така підмножина кільця RaR := {r1as1 + ... + rnasn : r1,s1,...,rn,sn in R}.

Для комутативного кільця всі три поняття збігаються.

Наприклад, ідеали   кільця цілих чисел   всі є головними. Усі ідеали   є головними.[1]

Приклад не головного ідеалаРедагувати

Не всі ідеали є головними. Наприклад, розглянемо комутативне кільце C[x,y] всіх многочленів від двох змінних x і y, з комплексними коефіцієнтами. Ідеал ⟨x,y⟩ породжений x і y, тобто такий, що містить усі многочлени з C[x,y] вільний член яких дорівнює нулю, не є головним. Щоб побачити це, припустимо що p є генератором для ⟨x,y⟩; тоді x і y були б подільні на p, оскільки і x, і y входять в ⟨x,y⟩, що можливо лише якщо p є ненульовою сталою. Але єдина стала у ⟨x,y⟩ це нуль, отже, протиріччя.

ПриміткиРедагувати

  1. Weisstein, Eric W. Головний ідеал(англ.) на сайті Wolfram MathWorld.

ЛітератураРедагувати

Див. такожРедагувати