Идеал (алгебра)

Идеал — одно из основных понятий общей алгебры. Наибольшее значение идеалы имеют в теории колец, но также определяются и для полугрупп, алгебр и некоторых других алгебраических структур. Название «идеал» ведёт своё происхождение от «идеальных чисел», которые были введены в 1847 году немецким математиком Э. Э. Куммером. Простейшим примером идеала может служить подкольцо чётных чисел в кольце целых чисел. Идеалы дают удобный язык для обобщения результатов теории чисел на общие кольца.

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

В некотором важном классе колец (т. н. дедекиндовых) можно даже получить аналог основной теоремы арифметики: в этих кольцах каждый ненулевой идеал можно единственным образом представить как произведение простых идеалов.

Источник: Википедия

а б в г д е ё ж з и й к л м н о п р с т у ф х ц ч ш щ э ю я