Главная > Математика > Алгебра (Ван дер Варден Б.Л.)
<< Предыдущий параграф
Следующий параграф >>
<< Предыдущий параграф Следующий параграф >>
Макеты страниц

§ 131. Примарные идеалы

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

Под словом «установить» здесь имеется в виду не фактическая проверка в конечное число шагов, хотя таковая всегда возможна, а метод проверки, который одновременно выяснял бы строение идеала и выявлял геометрическое соотношение между корнями и его элементами Один из таких методов был впервые предложен

Ласкером, рассмотревшим разложение идеалов на примарные компоненты.

Основная идея метода Ласкера состоит в следующем: согласно теореме о разложении из § 118 каждый идеал представим в виде пересечения примарных идеалов:

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

Согласно § 117 каждому примарному идеалу соответствуют простой идеал у и показатель со следующими свойствами:

В случае простой идеал соответствует, в свою очередь, некоторому неприводимому многообразию . В силу 1) все корпи идеала являются одновременно корнями идеала у и наоборот. Следовательно, многообразие примарного идеала неприводимо и равно многообразию соответствующего простого идеала.

Пусть примарный идеал относительно простого идеала показателя и многообразие этого идеала. Если некоторый многочлен, содержащий многообразие то следовательно, Но если не содержит то в соответствии со свойством 2), сформулированным выше, в каждом сравнении по модулю можно сокращать на Таким образом, у нас есть уже два важных средства, часто позволяющих обнаружить справедливость сравнения или соответственно . С помощью теоремы о разложении они сразу переносятся на произвольные идеалы Действительно, если многочлен, содержащий многообразие идеала и если наибольший из показателей примарных идеалов то

откуда

Тем самым заново доказана теорема Гильберта о корня х (§ 130), причем дополнительно замечено, что показатель зависит только от идеала

Далее, если многочлен, который не содержит ни одного из многообразий примарных идеалов то в каждом

сравнении

можно сократить на и получить

поскольку соответствующее сравнение имеет место для всех примарных идеалов Кратко и ярко это можно выразить так:

согласно § 119 это равенство имеет место тогда и только тогда, когда не делится ни на один из простых идеалов соответствующих идеалу (и, таким образом, не содержит ни одного из соответствующих многообразий).

Согласно § 119 для произвольного идеала а имеет место несколько более общее утверждение: равенство

выполняется тогда и только тогда, когда а не делится ни на один из идеалов или, что то же самое, когда многообразие идеала а не содержит ни одного из многообразий простых идеалов Эта теорема часто оказывается полезной при отыскании простых идеалов соответствующих заданному идеалу Именно, чтобы установить, совпадает ли некоторый простой идеал с одним из простых идеалов берут произвольный идеал а, делящийся на например, и смотрят, выполняется соотношение (1) или нет, т. е. выясняют, следует ли из Если (1) имеет место, то не совпадает ни с одним из

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

(см. скан)

<< Предыдущий параграф Следующий параграф >>
Оглавление