идеальный одночлен
В абстрактной алгебре мономиальный идеал — это идеал, порождённый мономами в кольце многомерных многочленов над полем .
Торический идеал — это идеал, порожденный разностью мономов (при условии, что идеал прост ). Аффинное или проективное алгебраическое многообразие, определяемое торическим идеалом или однородным торическим идеалом, является аффинным или проективным торическим многообразием , возможно, ненормальным .
Определения и свойства
[ редактировать ]Позволять быть полем и — кольцо полиномов над с n неопределенным .
Моном в это продукт для n -кортежа неотрицательных целых чисел .
Следующие три условия эквивалентны для идеала :
- порождается мономами,
- Если , затем , при условии, что ненулевое значение.
- является ли тор фиксированным , т. е. заданным , затем фиксируется под действием для всех .
Мы говорим, что является мономиальным идеалом , если он удовлетворяет любому из этих эквивалентных условий.
Учитывая мономиальный идеал , находится в тогда и только тогда, когда каждый мономиальный идеальный терм из кратно единице . [1]
Доказательство: Предполагать и это находится в . Затем , для некоторых .
Для всех , мы можем выразить каждое как сумму одночленов, так что можно записать как сумму кратных . Следовательно, будет суммой кратных одночленов хотя бы для одного из .
Обратно , пусть и пусть каждый одночлен в быть кратным одному из в . Тогда каждый одночлен в можно разложить по каждому моному . Следовательно имеет форму для некоторых , как результат .
Следующее иллюстрирует пример мономиальных и полиномиальных идеалов.
Позволять тогда полином находится в I , поскольку каждый терм кратен элементу в J , т. е. их можно переписать как и оба в я . Однако, если , то этот полином не находится в J не кратны элементам в J. , поскольку его члены
Мономиальные идеалы и диаграммы Юнга
[ редактировать ]Двумерные мономиальные идеалы можно интерпретировать как диаграммы Юнга .
Позволять быть мономиальным идеалом в где это поле . Идеал имеет уникальный минимальный порождающий набор формы , где и . Мономы в это одночлены такой, что существует такой и [2] Если моном представлена точкой на плоскости фигура, образованная мономами из называют лестницей часто из-за его формы. На этом рисунке минимальные генераторы образуют внутренние углы диаграммы Юнга.
Мономы, которых нет в под лестницей и образуют векторного пространства базис факторкольца лежат .
Например, рассмотрим мономиальный идеал Набор точек сетки соответствует минимальным мономиальным генераторам Тогда, как видно из рисунка, розовая диаграмма Юнга состоит из мономов, не входящих в . Точки во внутренних углах диаграммы Юнга позволяют определить минимальные мономы в как показано в зеленых прямоугольниках. Следовательно, .
В общем, любому набору точек сетки мы можем связать диаграмму Юнга, так что мономиальный идеал строится путем определения внутренних углов, составляющих лестничную диаграмму; аналогично, учитывая мономиальный идеал, мы можем составить диаграмму Юнга, глядя на и представляя их как внутренние углы диаграммы Юнга. Координаты внутренних углов будут представлять степени минимальных мономов в . Таким образом, мономиальные идеалы можно описать диаграммами Юнга разбиений.
Более того, - действие на съемочной площадке такой, что как векторное пространство над имеет неподвижные точки, соответствующие только мономиальным идеалам, которые соответствуют целочисленным разбиениям размера n , которые идентифицируются диаграммами Юнга с n ящиками.
Мономиальные порядки и базисы Грёбнера
[ редактировать ]Мономиальный порядок является хорошим упорядочением. на множестве мономов таких, что если являются мономами, то .
В соответствии с порядком мономиальности мы можем сформулировать следующие определения многочлена от .
Определение [1]
- Рассмотрим идеал и фиксированный мономиальный порядок. Главный член ненулевого многочлена , обозначенный – мономиальный член максимального порядка в и ведущий член является .
- Идеал ведущих термов , обозначаемый , — это идеал, порожденный ведущими членами каждого элемента идеала, то есть .
- Основа Грёбнера идеала представляет собой конечный набор образующих для чьи ведущие термины порождают идеал всех ведущих термов в , то есть, и .
Обратите внимание, что вообще зависит от используемого порядка; например, если мы выберем лексикографический порядок на при условии x > y , тогда , но если мы возьмем y > x , то .
Кроме того, мономы присутствуют на базисе Грёбнера и определяют алгоритм деления многочленов на несколько неопределенных.
Заметим, что для мономиального идеала , конечное множество образующих является базисом Грёбнера для . Чтобы убедиться в этом, заметим, что любой полином может быть выражено как для . Тогда главный член является кратным для некоторых . Как результат, генерируется так же.
См. также
[ редактировать ]Сноски
[ редактировать ]Ссылки
[ редактировать ]- Миллер, Эзра; Штурмфельс, Бернд (2005), Комбинаторная коммутативная алгебра , Тексты для аспирантов по математике , том. 227, Нью-Йорк : Springer-Verlag , ISBN. 0-387-22356-8
- Даммит, Дэвид С.; Фут, Ричард М. (2004), Абстрактная алгебра (третье изд.), Нью-Йорк : John Wiley & Sons, ISBN 978-0-471-43334-7
Дальнейшее чтение
[ редактировать ]- Кокс, Дэвид . «Лекции по торическим многообразиям» (PDF) . Лекция 3. §4 и §5.
- Штурмфельс, Бернд (1996). Базисы Грёбнера и выпуклые многогранники . Провиденс, Род-Айленд: Американское математическое общество .
- Тейлор, Дайана Кан (1966). Идеалы, порожденные мономами в R-последовательности (кандидатская диссертация). Чикагский университет. МР 2611561 . ПроКвест 302227382 .
- Тейсье, Бернар (2004). Мономиальные идеалы, биномиальные идеалы, полиномиальные идеалы (PDF) .