Головний ідеал

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до: навігація, пошук

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

Визначення[ред.ред. код]

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

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

Наприклад, ідеали n\mathbb{Z} кільця цілих чисел \mathbb{Z} всі є головними. Усі ідеали \mathbb{Z} є головними.[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.

Література[ред.ред. код]

Див. також[ред.ред. код]


Сигма Це незавершена стаття з математики.
Ви можете допомогти проекту, виправивши або дописавши її.