ИДЕАЛ (матем.), одно из основных алгебраич. понятий. Возникнув первоначально в связи с изучением алгебраич. иррациональных чисел, И. нашли впоследствии многочисл. применения в др. отделах математики.

Известно, что всякое целое (рациональное) число можно разложить в произведение простых множителей; напр., 60 =2*2*3*5, причём разложение единственно с точностью до порядка и знака множителей:

60 = 2*5*3*2=(-2)*2*(-3)*5...

В 19 в. математики столкнулись с необходимостью разлагать на множители числа более общей природы. Если, напр., рассматривать числа вида  где тип - любые целые (рациональные) числа, то так же, как и для обычных целых чисел, здесь каждое число всегда можно разложить в произведение далее неразложимых множителей. Однако в этом случае нарушается единственность разложения. Так, число 9 (к-рое получается, если считать m = 9, n= 0) допускает здесь два различных разложения:

причём ни один из множителей  дальше разложить в произведение чисел вида  нельзя. Нарушения привычных законов единственности разложения не будет, если свойство делимости связывать не с числами, а с И. В совр. алгебре И. вводятся в произвольных кольцах. В случае числовых колец (таковым является, напр., рассмотренная выше совокупность чисел вида И. наз. также идеальными чиcлами. И. - это совокупность чисел, принадлежащих данному числовому кольцу (а в случае произвольного кольца - совокупность его элементов), обладающая следующими свойствами: 1) сумма и разность двух чисел (элементов) совокупности принадлежит этой совокупности; 2) произведение числа (элег мента) из этой совокупности на любое другое число (на любой другой элемент) кольца также принадлежит этой совокупности. Затем рассматривают вместо чисел соответствующие им И.; так, напр., числу 9 соответствует И. р= (9), состоящий из всех чисел, делящихся на 9.

Числовые понятия, связанные с делимостью чисел, переносятся на И.: один И. делится на другой, если любой элемент первого лежит также и во втором (для чисел это эквивалентно тому, что любое число первого И. делится хотя бы на одно число второго); произведение И, определяется как наименьший И., содержащий всевозможные попарные произведения элементов из обоих идеалов-множителей; наибольший общий делитель двух И.- наименьший И., содержащий элементы как первого, так и второго И., и др. В совокупности целых чисел любой И. состоит из кратных к.-л. фиксированного числа: любой И. является главным. В общем случае, уже для алгебраич. иррациональных чисел, не всякий И. является главным. Делимость на главный И. эквивалентна делимости на соответствующее этому И. число. Благодаря наличию не главных И. для целых алгебраич. чисел остаётся справедливой теорема о том, что любой И. единственным образом разлагается в произведение неразложимых далее И. Эти неразложимые И., наз. также простыми И., выполняют роль простых чисел и характеризуются тем, что обязательно содержат хотя бы один из множителей, если они содержат их произведение. Так, в рассмотренном выше примере где

новые И., напр. И. pi, являющийся наибольшим общим делителем И. (3) и  состоит из всех чисел вида  где k и l- любые целые рациональные числа. Понятие "И." (или в первоначальной терминологии "идеального числа") было введено в 1847 для одного частного случая числовых полей нем. математиком Э. Куммером. Строгое и полное обоснование теории И. для любых числовых полей дали независимо друг от друга нем. математик Р. Дедекинд в 1871 и рус. математик Е. И. Золотарёв в 1877. Новое содержание теория И. получила в сер. 20 в. в связи с развитием общей теории колец.

Лит.: Ван-дер-Варден Б. Л., Современная алгебра, пер. с нем., 2 изд., ч. 12, М. -Л., 1947.