Идеал (алгебраич. понятие) это:

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

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



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


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



причем ни один из множителей


дальше разложить в произведение чисел вида


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


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

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

(3) = p1 p2,



где


и


— новые И., например И. p1, являющийся наибольшим общим делителем И.


состоит из всех чисел вида


где k и l — любые целые рациональные числа.

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


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


Большая советская энциклопедия. — М.: Советская энциклопедия. 1969—1978.

Смотреть что такое "Идеал (алгебраич. понятие)" в других словарях:

  • ИДЕАЛ — специального рода подобъект в иек рой алгебраич. структуре. Понятие И. возникло первоначально в теории колец. Название И. ведет свое происхождение от идеальных чисел. Для алгебры, кольца или полугруппы Аидеал I есть подалгебра, подкольцо или… …   Математическая энциклопедия

  • АЛГЕБРАИЧЕСКАЯ ТЕОРИЯ ЧИСЕЛ — раздел теории чисел, основной задачей к рого является изучение свойств целых чисел полей алгебраических чисел конечной степени над полем рациональных чисел. Все целые числа поля расширения К поля степени п могут быть получены с помощью… …   Математическая энциклопедия

  • АЛГЕБРА — часть математики, посвященная изучению алгебраических операций. Исторический очерк. Простейшие алгебраич. операции арифметич. действия над натуральными и положительными рациональными числами встречаются в самых ранних математич. текстах,… …   Математическая энциклопедия

  • КОММУТАТИВНАЯ АЛГЕБРА — раздел алгебры, изучающий свойства коммутативных колец и связанных с ними объектов ( идеалов, модулей, нормирований и т. д.). К. а. выросла из задач, возникавших в теории чисел и алгебраич. геометрии. Задачи эти, как правило, относились к… …   Математическая энциклопедия

  • ДИФФЕРЕНЦИАЛЬНАЯ АЛГЕБРА — раздел алгебры, изучающий объекты, в к рых, наряду с операциями сложения и умножения, имеются операции дифференцирования: дифференциальные кольца, дифференциальные модули, дифференциальные поля, дифференциальные алгебраич. многообразия. Один из… …   Математическая энциклопедия

  • МОДУЛЬ — абелева группа с кольцом операторов. М. является обобщением (линейного) векторного пространства над полем Кдля случая, когда Кзаменяется нек рым кольцом. Пусть задано кольцо А. Аддитивная абелева группа Мназ. левым А модулем, если определено… …   Математическая энциклопедия

  • ДИВИЗОР — обобщение понятия делителя элемента коммутативного кольца. Впервые (под назв. идеальный делитель ) это понятие возникло в работах Э. Куммера [1] об арифметике круговых полей. Теория Д. для коммутативного кольца А с единицей без делителей нуля… …   Математическая энциклопедия

  • КОЛЬЦА И АЛГЕБРЫ — множества с двумя бинарными операциями, к рые обычно принято наз. сложением и умножением. Кольцом наз. множество: 1) являющееся абелевой группой относительно сложения (в частности, в кольце существует нулевой элемент, обозначаемый 0, и… …   Математическая энциклопедия

  • АНАЛИТИЧЕСКОЕ ПРОСТРАНСТВО — обобщение понятия аналитического многообразия. Локальной моделью (и одновременно важнейшим примером) аналитич. ространства над полным недискретно нормированным полем kявляется аналитическое множество в области n мерного пространства над полем k,… …   Математическая энциклопедия

  • МАТЕМАТИКА — наука, или группа наук, о познаваемых разумом многообразиях и структурах, специально – о математических множествах и величинах; напр., элементарная математика – наука о числовых величинах (арифметика) и величинах пространственных (геометрия) и о… …   Философская энциклопедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»