Jump to content

идеальный одночлен

(Перенаправлено с Торического идеала )

В абстрактной алгебре мономиальный идеал — это идеал, порождённый мономами в кольце многомерных многочленов над полем .

Торический идеал — это идеал, порожденный разностью мономов (при условии, что идеал прост ). Аффинное или проективное алгебраическое многообразие, определяемое торическим идеалом или однородным торическим идеалом, является аффинным или проективным торическим многообразием , возможно, ненормальным .

Определения и свойства

[ редактировать ]

Позволять быть полем и — кольцо полиномов над с n неопределенным .

Моном в это продукт для n -кортежа неотрицательных целых чисел .

Следующие три условия эквивалентны для идеала :

  1. порождается мономами,
  2. Если , затем , при условии, что ненулевое значение.
  3. является ли тор фиксированным , т. е. заданным , затем фиксируется под действием для всех .

Мы говорим, что является мономиальным идеалом , если он удовлетворяет любому из этих эквивалентных условий.

Учитывая мономиальный идеал , находится в тогда и только тогда, когда каждый мономиальный идеальный терм из кратно единице . [1]

Доказательство: Предполагать и это находится в . Затем , для некоторых .

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

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

Следующее иллюстрирует пример мономиальных и полиномиальных идеалов.

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

Мономиальные идеалы и диаграммы Юнга

[ редактировать ]

Двумерные мономиальные идеалы можно интерпретировать как диаграммы Юнга .

Позволять быть мономиальным идеалом в где это поле . Идеал имеет уникальный минимальный порождающий набор формы , где и . Мономы в это одночлены такой, что существует такой и [2] Если моном представлена ​​точкой на плоскости фигура, образованная мономами из называют лестницей часто из-за его формы. На этом рисунке минимальные генераторы образуют внутренние углы диаграммы Юнга.

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

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

Диаграмма Юнга и ее связь с мономиальным идеалом.

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

Более того, - действие на съемочной площадке такой, что как векторное пространство над имеет неподвижные точки, соответствующие только мономиальным идеалам, которые соответствуют целочисленным разбиениям размера n , которые идентифицируются диаграммами Юнга с n ящиками.

Мономиальные порядки и базисы Грёбнера

[ редактировать ]

Мономиальный порядок является хорошим упорядочением. на множестве мономов таких, что если являются мономами, то .

В соответствии с порядком мономиальности мы можем сформулировать следующие определения многочлена от .

Определение [1]

  1. Рассмотрим идеал и фиксированный мономиальный порядок. Главный член ненулевого многочлена , обозначенный – мономиальный член максимального порядка в и ведущий член является .
  2. Идеал ведущих термов , обозначаемый , — это идеал, порожденный ведущими членами каждого элемента идеала, то есть .
  3. Основа Грёбнера идеала представляет собой конечный набор образующих для чьи ведущие термины порождают идеал всех ведущих термов в , то есть, и .

Обратите внимание, что вообще зависит от используемого порядка; например, если мы выберем лексикографический порядок на при условии x > y , тогда , но если мы возьмем y > x , то .

Кроме того, мономы присутствуют на базисе Грёбнера и определяют алгоритм деления многочленов на несколько неопределенных.

Заметим, что для мономиального идеала , конечное множество образующих является базисом Грёбнера для . Чтобы убедиться в этом, заметим, что любой полином может быть выражено как для . Тогда главный член является кратным для некоторых . Как результат, генерируется так же.

См. также

[ редактировать ]
  • Миллер, Эзра; Штурмфельс, Бернд (2005), Комбинаторная коммутативная алгебра , Тексты для аспирантов по математике , том. 227, Нью-Йорк : Springer-Verlag , ISBN.  0-387-22356-8
  • Даммит, Дэвид С.; Фут, Ричард М. (2004), Абстрактная алгебра (третье изд.), Нью-Йорк : John Wiley & Sons, ISBN  978-0-471-43334-7

Дальнейшее чтение

[ редактировать ]
Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: 01b90e9104ca9bac1ec2fb96d465e384__1721243460
URL1:https://arc.ask3.ru/arc/aa/01/84/01b90e9104ca9bac1ec2fb96d465e384.html
Заголовок, (Title) документа по адресу, URL1:
Monomial ideal - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)