Общий многочлен - Generic polynomial

В математика, а общий многочлен обычно относится к многочлену, коэффициенты которого равны неопределенный. Например, если а, б, и c являются неопределенными, общий многочлен степени два от Икс является

Однако в Теория Галуа, филиал алгебра, а в этой статье термин общий многочлен имеет другое, хотя и родственное, значение: общий многочлен для конечная группа грамм и поле F это монический многочлен п с коэффициентами в поле рациональных функций L = F(т1, ..., тп) в п не определяет F, так что поле расщепления M из п имеет Группа Галуа грамм над L, и такое, что каждое расширение K/F с группой Галуа грамм может быть получено как поле расщепления многочлена, который является специализацией п в результате установки п неопределенный п элементы F. Иногда это называют F-родовой или относительно поля F; а Q-общий многочлен, который является общим относительно рациональных чисел, называется просто общим.

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

Группы с типичными многочленами

является полиномом общего положения для Sп.

  • Циклические группы Cп, где п не делится на восемь. Ленстра показал, что циклическая группа не имеет многочлена общего положения, если п делится на восемь, и Г. В. Смит явно строит такой многочлен в случае п не делится на восемь.
  • Конструкция циклической группы приводит к другим классам полиномов общего положения; в частности группа диэдра Dп имеет общий многочлен тогда и только тогда, когда n не делится на восемь.
  • В группа кватернионов Q8.
  • Группы Гейзенберга для любого нечетного простого числа п.
  • Переменная группа А4.
  • Переменная группа А5.
  • Группы отражения определены над Q, в том числе, в частности, группы корневых систем для E6, E7, и E8.
  • Любая группа, которая является прямой продукт двух групп, каждая из которых имеет общие многочлены.
  • Любая группа, которая является венок двух групп, каждая из которых имеет общие многочлены.

Примеры полиномов общего положения

ГруппаОбщий многочлен
C2
C3
S3
V
C4
D4
S4
D5
S5

Типичные многочлены известны для всех транзитивных групп степени 5 или меньше.

Общее измерение

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

Примеры:

Публикации

  • Дженсен, Кристиан У., Ледет, Арне, и Юи, Норико, Общие многочлены, Издательство Кембриджского университета, 2002 г.