Симметри́ческий многочле́н — многочлен от переменных, не изменяющийся при всех перестановках входящих в него переменных . Так, для многочлена двух переменных это означает ; примерами симметрических многочленов двух переменных являются , и .

Основные типы

править

Часто используются несколько последовательностей многочленов   ( -й многочлен — от   переменных), таких что предыдущие получаются из следующих подстановкой нулей в лишние переменные:

 .

Поэтому такие многочлены обозначаются без указания числа переменных:   или  , где   — не индекс внутри последовательности, а способ нумерации таких последовательностей. Например, степенные суммы   степени   — это многочлены

 .

Иногда удобно задавать эти последовательности симметрических многочленов при помощи производящих функций: для последовательности симметрических многочленов   такая производящая функция — это степенной ряд

 

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

 

или производящей функцией

 .

В частности,

 .

Многочлен   полагают равным  , а многочлены   при   — равными  .

Другой пример, полные симметрические многочлены   степени   — это суммы всех мономов степени  , без ограничения на повторения переменных; они задаются формулой

 

или производящей функцией

 .

Важными для теории представлений симметрических групп являются многочлены Шура — симметрические многочлены, параметризуемые разбиениями в сумму неотрицательных натуральных чисел. Многочлен Шура степени  , соответствующий разбиению   равен[1]

 .

Другим примером является дискриминант — многочлен

 ,

где   — корни некоторого многочлена от одной переменной:  .

Основная теорема теории симметрических многочленов

править

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

 ,

то есть они являются равными многочленами от  , при этом такой многочлен   единственен.

Иначе говоря, элементарные симметрические многочлены алгебраически независимы и образуют базис алгебры симметрических функций: кольцо симметрических функций   изоморфно кольцу  

Аналогичная теорема верна и для полных симметрических многочленов.

Детерминантные формулы

править

Производящие формулы элементарных и полных симметрических многочленов связаны соотношениями  , которые развёртываются в формулы

 ,

которые выражают элементарные симметрические многочлены через предыдущие элементарные и через все полные. Итоговая формула выглядит как[2]

 ;

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

См. также

править

Примечания

править
  1. А. Окуньков, Г. Ольшанский, «Сдвинутые функции Шура», Алгебра и анализ, 9:2 (1997), 73-146
  2. Прасолов, 2003, с. 93.

Ссылки

править
  • В. Г. Болтянский, Н. Я. Виленкин. Симметрия в алгебре. — М.: МЦНМО, 2002. — 240 с. — 2000 экз. — ISBN 5-94057-041-0.
  • В. В. Прасолов. Многочлены. — М.: МЦНМО, 2003. — С. 91—99. — 335 с. — ISBN 5-94057-077-0.
  • З. Б. Райхштейн. Тождества Ньютона и математическая индукция // Математическое просвещение. — 2000. — Вып. 4. — С. 204–205.