Реализация групп Галуа триномами над полем рациональных чисел Q

Размещено на http://www.allbest.ru/

Аннотация

УДК 519.115.1

01.00.00 Физико-математические науки

РЕАЛИЗАЦИЯ ГРУПП ГАЛУА ТРИНОМАМИ НАД ПОЛЕМ РАЦИОНАЛЬНЫХ ЧИСЕЛ Q

Сергеев Александр Эдуардович, к. ф.-м. н., доцент,

Соколова Ирина Владимировна, к. п. н., доцент,

Кубанский государственный аграрный университет, Краснодар, Россия.

Известно, что не каждая конечная группа может быть реализована над полем рациональных чисел как группа Галуа некоторого бинома. В связи с этим возникает более общий вопрос: пусть дана конечная транзитивная подгруппа G симметрической группы S на n символах; можно ли эту группу G реализовать как группу Галуа некоторого тринома степени n над полем рациональных чисел? В рассматриваемой статье доказано, что всякую транзитивную подгруппу группы S можно реализовать в виде группы Галуа некоторого конкретного неприводимого над полем рациональных чисел тринома степени n для значений n = 2, 3, 4. Для значений n = 5, 6 приводятся примеры, реализующие конкретные группы Галуа. В случае n = 7 реализуются все транзитивные подгруппы группы S, кроме возможно одной группы изоморфной диэдральной группы D. Дальнейшие вычисления будут направлены на реализацию конкретных групп Галуа для n = 8, 9…, однако количество транзитивных подгрупп группы S при n = 8, 9… очень быстро растёт, поэтому чем больше значение n, тем сложнее реализовать не то что все, а конкретную подгруппу группы S в виде тринома над Q.

Ключевые слова: ТРИНОМ, ГРУППА ГАЛУА, ПОДГРУППЫ ГРУППЫ ГАЛУА.

Annotation

UDC 519.115.1

Physical-Mathematical sciences

THE REALIZATION OF GALOIS GROUPS BY TRINOMIALS OVER THE FIELD OF RATIONAL NUMBERS Q

Sergeev Alexandr Eduardovich, Cand. Phys.-Math. Sci., associate Professor,

Sokolova Irina Vladimirovna, Cand. Ped. Sci., associate Professor,

Kuban State Agrarian University, Krasnodar, Russia.

It is known that not every finite group can be realized over the field of rational numbers as a Galois group of some binomial. In this connection, a more general question arises: suppose that there is given a finite transitive subgroup G of the symmetric group S on n symbols; Can this group G be realized as a Galois group of some trinomial of degree n over the field of rational numbers? In this paper we prove that every transitive subgroup of the group S can be realized in the form of the Galois group of a certain trinomial of the degree n, for the values n = 2, 3, 4. For n = 5, 6 we give examples that realize concrete Galois groups. In the case n = 7, all the transitive subgroups of the group S are realized, except possibly one group of the isomorphic dihedral group D. Further calculations will be directed to the realization of specific Galois groups for n = 8, 9..., however, the number of transitive subgroups of the group S for n = 8, 9... grows very fast, so the larger the value of n, the more difficult it is to realize not just everything but the specific subgroup of the group S in the form of a trinomial over Q.

Keywords: TRINOMIAL, GALOIS GROUPS, SUBGROUPS OF GALOIS GROUPS.

Doi: 10.21515/1990-4665-131-124

Содержание статьи

Сейчас, по крайней мере, на данный момент, реализованы все группы Галуа подгруппы S_n для 3?n?15, но неизвестно, какие группы из них реализуются в виде триномов.

Целью данной работы является сравнительно полный ответ на вышеназванный вопрос для 3? n ?7.

1) n=3

Для этого случая имеется ровно 2 вида триномов, это: x³+ax+b и x³+ax²+b. Как известно, единственными транзитивными подгруппами группы S₃ является сама S₃ и альтернативная группа A₃. Они легко реализуются как группа Галуа триномов. Например, для реализации группы A₃ надо "лишь" решить диофантовы уравнения:

-4a^3-27b² = u² для триномов вида x³ + ax + b, (1)

-4a³b -27b³ = u² для триномов вида x³ + ax² + b. (2)

Эти уравнения выражают не что иное, как то, что для реализации группы A₃ надо, чтобы выполнялось условие равенства дискриминанта квадрату натурального числа. Решением уравнения (1) является:

a = -3(c²+3b²), b = 2c(c²+3b²).

Отсюда, задавая целые значения для с и b получим, целые b и a. Например, если с = 1, b = 1, то b = 8, a = -12, т.е. таким образом можно получить бесконечно много примеров - триномов с группой Галуа A₃ и естественно с S₃ (ее реализовать еще проще):

Gal(x^3-12x + 8) A₃

Gal(x³ + x + 1) S₃.

Но все-таки этот случай не так интересен, ввиду малого количества транзитивных подгрупп группы S₃.

Поэтому перейдем к следующему случаю:

2) n = 4

Для этого случая имеются ровно 5 транзитивных подгрупп группы S₄: это самая симметрическая группа 24-го порядка S₄, альтернативная группа 12-го порядка A₄, диэдральная группа 8-го порядка D₄, четвертая группа Клейна V₄ и циклическая группа 4-го порядка C₄.

Все они, как впоследствии мы увидим, также легко реализуются, как группы Галуа некоторых триномов. Для этого случая имеются 3 вида триномов: x⁴ + ax + b, x⁴ + ax² + b и x⁴ + ax³ + b. Мы остановимся лишь на первых двух (так как третий вид тринома легко сводится к первому).

1) x⁴ + ax² + b галуа трином рациональное транзитивная

Как известно, для этого вида тринома имеет место теорема [1]:

Теорема 1. Если

ѓ= x⁴ + ax² + b

- неприводимый полином кольца Q [x], charF?2, тогда:

i) если Q, то Gal(ѓ) V_4;

ii) если Q и Q, то Gal(ѓ) С_4;

iii) если Q и Q, то Gal(ѓ) D_4,

Доказательство:

Пусть m= [Q(бёв,г):Q]. Т.к.

ѓ(х) = x⁴ + ax² + b,

то кубическая резольвента r(f) имеет вид:

r(f) = x³ - ax^2-4bх + 4ab = (x - a)(x^2-4b) = (x - - a)(x - )(x + ),

следовательно, по известному критерию (см. [1]) для того чтобы

Gal(ѓ) V₄

необходимо и достаточно, чтобы степень m была бы равна единице, т.е. чтобы [Q(бёв,г):Q]= 1. В данном случае мы получаем, что:

m= [Q(бёв,г):Q]= [Q(a, - ):Q]= 1 Q,

т.е. пункт i) доказан.

Далее, если Q, то тогда получаем: [Q(a, - ):Q]= = [Q(a,):Q]= 2, и, очевидно, что f(x) имеет вид

ѓ(x)= x⁴ + ax² + b = ,

следовательно, для того чтобы f(x) был приводим над:

[Q(a, - ):Q]= Q []

а именно это условие является условием необходимым и достаточным для того, чтобы

Gal(ѓ) С_4,

см. [1]), необходимо и достаточно, чтобы Q. Если же Q, то тогда f(x) будет неприводимым в Q [], а это уже в свою очередь является необходимым и достаточным условием для того, чтобы

Gal(ѓ) D₄

(опять же из [1]). Таким образом, пункты ii) и iii) доказаны, т.е. теорема доказана полностью.

Приведем на эту теорему определенные примеры:

Пример 1.1. Пусть

f(x) = x⁴ + 2x² + 16.

По теореме 1 элемент Q, следовательно

Gal(ѓ) V₄.

Пример 1.2. Пусть

f(x) = x^4-4x² + 2.

По теореме 1 элемент Q, а Q, т.е. тогда получаем, что:

Gal(ѓ) С_4.

Пример 1.3. Пусть

f(x) = x^4-3x² + 2.

По теореме 1 элемент Q, Q, т.е. получаем, что

Gal(ѓ) D_4.

Таким образом, в случае, когда

f(x) = x⁴ + ax² + b,

могут реализоваться только 3 транзитные подгруппы группы S₃, а именно: диэдральная группа 8-го порядка D₄, четвертая группа Клейна V₄ и циклическая группа 4-го порядка С₄.

2) х ⁴ + ax + b

Для этого вида тринома мы показываем, что можно реализовать оставшиеся две группы Галуа (S₄ и A₄). Реализуем вначале группу A₄ таким образом: т.е. необходимыми и достаточными условиями для того, чтобы группа Галуа была изоморфна A₄, являются 2 условия, а именно: дискриминант полинома f(x) есть квадрат в поле Q и кубическая резольвента r(f) неприводима в Q [x].

Дискриминантом для полинома

f(x) = x⁴ + ax + b

является выражение:

D(f) = 4⁴b^3-3³a⁴.

Сделаем так, чтобы он был квадратом в поле Q: пусть a = 4c, b = 3c (cZ), тогда дискриминант D(f) примет вид:

D(f) = 4⁴3³c^3-3³4⁴c⁴ = 4⁴(3c)³(1-c),

пусть теперь:

1- с = 3ck² (kZ),

c =

D(ѓ) = .

Как видим, дискриминант D(f) в этом случае есть квадрат. Дадим теперь некоторые примеры:

Пример 2.1) k = 1, следовательно, c = , b = , a = 1, следовательно, после умножения полученного полинома на 2⁴ получим полином вида:

f(x) = x^4-8x + 12.

Его дискриминант D(f) = 3⁴ - квадрат, а резольвента, которая неприводима Q [x], имеет вид

r(f) = x^3-48x - 64,

поэтому получаем, что

Gal(ѓ) А₄.

Пример 2.2) k = 2, следовательно c = , b = , a = , тогда, после умножения полученного полинома на 13⁴, получим полином вида:

f(x) = x⁴ + 676x - 6591,

его дискриминант D(f) = 3⁴ - квадрат, а

r(f) = x³-2636x - 456976,

поэтому получаем, что

Gal(ѓ) А₄.

Исходя из вышесказанного, можно выписать параметрическое семейство полиномов, имеющее в качестве группы Галуа группу A₄, а именно:

f(x) = x⁴ + 4(3k² + 1)²x + 3(3k² + 1)³.

Группу S₄ реализовать просто, т.к. особо сложных условий для её реализации нет (дискриминант полинома не является квадратом в Q и кубическая резольвента является неприводимой). В качестве таких примеров можно рассмотреть следующие:

Пример 2.3

f(x) = x⁴ + x + 1.

Пример 2.4

f(x) = x⁴ + 2x + 2.

Все они имеют в качестве группы Галуа группу S₄ (т.к. дискриминант полинома не является квадратом в Q и кубическая резольвента является неприводимой).

Таким образом, исходя из этого, мы получаем, что все 5 транзитных подгрупп группы S₄ (т.е. S₄, A4, D4, V₄, C₄) реализуются как группы Галуа некоторых триномов, т.е. с помощью триномов можно реализовать все транзитивные подгруппы группы S₄.

3) n = 5

Для этого случая имеется ровно 5 транзитивных подгрупп группы S₅: это сама симметрическая группа 120-го порядка S₅, альтернативная группа 60-го порядка А ₅, диэдральная группа 16-го порядка D₅, фробениусная группа 20-го порядка F₂₀ и циклическая группа 5-го порядка С ₅.

Все они, как впоследствии мы увидим, также легко реализуются, как группы Галуа некоторых триномов, за исключением, что очевидно, циклической группы С ₅ (по известному критерию Эйлера о числе вещественных корней триномов вида x^m+n + Axⁿ + B) [2].

Для этого случая имеются 2 вида триномов: x⁵ + ax² + b (т.к. трином x⁵ + ax³ + b приводится к x⁵ + ax² + b, a x⁵ + ax⁴ + b к x⁵ + ax + b).

1) х ⁵ + ах + b

С помощью этого вида тринома можно реализовать все транзитивные подгруппы группы S₅, кроме, конечно же, C₅.

Справедлива следующая теорема:

Теорема 2. Пусть

ѓ= x⁵ + ax + b

- неприводимый трином кольца Q [x], charF?2, тогда

Gal_Q(ѓ) D₅

или F₂₀ тогда и только тогда, когда коэффициенты a и b можно представить в виде:

c Q и . Если при этом дискриминант тринома

D(f) = = 4⁴a⁵ + 5⁵b⁴

есть квадрат рационального числа, то тогда

Gal_Q(ѓ) D₅,

если же это не так, то тогда

Gal_Q(ѓ) F₂₀.

Доказательство:

Примем без доказательства тот факт, что если многочлен (y^3-5ay² + 15a²y + 5a³)² - Dy имеет кратный корень, то трином вида

ѓ = х ⁵ + ах + b

решается в радикалах (а группы D₅ и F₂₀ как известно разрешимы) [3]. Пользуясь формулой

D(f) = 4⁴a⁵ + 5⁵b⁴,

(y^3-5ay² + 15a²y + 5a³)² - Dy = (y - a)⁴(y^2-6ay + 25a²) - 5⁵b⁴. (3)

Пусть полином (3) имеет корень у ₀ Q. Полагая:

.

Из последнего уравнения и вытекает справедливость теоремы.

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

Приведем некоторые примеры:

Gal_Q(x^5-5x + 12) D₅,

Gal_Q(x⁵ + 15x + 12) F₂₀,

Gal_Q(x^5-80x + 384) D₅,

Gal_Q(x⁵ + 750x + 3750) F₂₀

Gal_Q(x⁵ + 11x + 44) D₅,

Gal_Q(x^5-40x - 64) F₂₀.

Стоит также упомянуть о приемах Ноама Элкиеса (Noam Elkies), который получил следующие триномы с помощью теории эллиптических кривых [4]. Вот они:

Gal_Q(4u² + 16)x⁵ + (5u^2-5)x + (4u² +10u + 6) F₂₀

и если:

u = (t - 1)/t,

то тогда получаем:

Gal_Q.

В конструктивной теории Галуа Хенрих Матцат получил также некоторые другие триномы с разрешимыми группами Галуа [5]. Вот они:

Gal_Q

Gal_Q.

Для этого вида тринома можно, естественно, реализовать и симметрическую группу S₅. Конечно, существуют очень много примеров и различных критериев для ее реализации, но самый простой критерий дал Кенцо Комацу:

Теорема 3. Пусть a - рациональное число, и пусть р - простое со следующим условиями:

a) p = 3 или 5, или 7 (mob 8), p?3

b) (p, a) = 1;

c) f(x) = x^p + ax + a

- неприводим над Q. Тогда группа Галуа

Gal_Q(x⁵ + ax + а) .

Доказательство этого можно найти в [6].

Из теоремы ясно, что наш случай р = 5 подходит под формулировку этой теоремы.

Примерами на эту теорему могут служить следующие:

Gal_Q(x⁵ + 3х + 3) ,

Gal_Q(x⁵ + 101х + 101) ,

Gal_Q(x⁵ + 89х + 89) ,

2) x⁵ + ax² + b

Выведем в этом случае, подобно тому как это было сделано для степени 4, трином с группой Галуа А ₅ (для этого дискриминант резольвента f₂₀(x) (см. [7]) должна быть неприводима):

Попытаемся получить хотя бы частное решение диофантового уравнения

D = b(5⁵b³ + 3³2²a⁵) = u².

Пусть,

b = ma,

тогда это уравнение примет вид:

(5⁵m²a²)²5+(6а)²3a²m = u², пусть u = a²u₁,

тогда мы имеем:

(5⁵m²)²5 + (6a)²3m = u₁²,

3m = m₁²,

m₁ = 3m₂

наше исходное уравнение примет следующий вид:

,

вычтя из второго уравнения системы первое, получим:

108am₂ = ,

откуда найдем а (предварительно сделав получим замену

m₂ = 3m₃): ,

.

Следовательно, т.к. у полученного тринома дискриминант квадрат , а соответствующая ему резольвента f₂₀(x) неприводима, то тогда имеем:

Gal_Q.

Приведем некоторые примеры:

Gal_Q(x⁵+ 225x² +6075)A₅,

Gal_Q(x⁵ + 14400x² + 6220800) A₅,

Gal_Q(x⁵ + 494325x² + 2255604975)A₅.

Существуют также для этого вида тринома примеры и с разрешимыми группами Галуа. Однако, в отличие от предыдущего вида тринома, где были получены условия на коэффициенты, при которых в зависимости от дискриминанта реализовывались группы D₅ и F₂₀, в этом случае таких триномов (с разрешимыми группами Галуа) существуют всего 5 [7]. Вот они:

Gal_Q(x⁵+ 5x² +3) D₅,

Gal_Q(x⁵+ 5x^2-15)D₅,

Gal_Q(x⁵+ 25x² +300) D₅,

Gal_Q(x⁵+ 250x² +625) F₂₀,

Gal_Q(x⁵+ 100x² +1000)F₂₀,

Для этого вида тринома можно также, что очевидно, реализовать симметрическую группу S₅.

Таким образом, мы получили, что для случая n = 5 с помощью триномов можно реализовать все транзитивные группы, кроме циклической.

4) n = 6

Для этого случая имеются ровно 16 транзитивных подгрупп группы S₆, это: сама симметрическая группа 720-го порядка S_6, альтернативная группа 120-го порядка А ₆, еще одна группа 120-го порядка PGL(2,5) (простая), разрешимая группа 48-порядка G₄₈, две разрешимые группы 36-го порядка и

,

три разрешимые группы 24-го порядка G₂₄, S₄/V₄ и S₄/C₄, разрешимая группа 18 порядка G₁₈, две разрешимых групп 12 порядка D₆ (диэдральная группа) и альтернативная группа A₄ и две разрешимых групп 6-го порядка S₃ и С₆.

Покажем, что из этого списка можно реализовать все группы как группы Галуа некоторых триномов, за исключением возможно, .

Для этого случая (степени 6) рассмотрим 4 вида триномов:

4.1)

Дискриминант этого тринома имеет вид: . Опять, как и в случаях для степеней четыре и пять, если мы попытаемся, как там, найти хотя бы частное решение диофатового уравнения

,

то мы получим трином вида:

,

у которого дискриминант является квадратом, а непосредственные вычисления на MAPLE показывают, что:

Ясно, что для этого вида тринома можно также легко реализовать и саму симметрическую группу S₆, например:

Замечание 2. Триномы нечетной степени (больше 3) этого вида не могут иметь в качестве группы Галуа группу C_n (n > 3), так как у этих триномов обязательно имеется либо один, либо три вещественных корня (всех пяти корней не вещественных, ни мнимых мы не получим), однако для четных степеней и для этого вида тринома (x²ⁿ + ax + b) это возможно, ввиду того, что эти триномы могут иметь все шесть корней мнимых и какие-то пять из них выражаются через один). Примером такого вида тринома может служить пример Малле: (в этот трином переводится трином ).

Замечание 3. Используя преобразование триномов вида X^6-6aX⁵ - b в трином вида X⁶ + aX + b, легко реализовать все транзитивные подгруппы группы S_n, кроме (см. ниже).

4.2) x⁶ + ax³ + b

Для этого вида тринома имеет место теорема:

Теорема 4. Пусть

f(x) = x⁶ + ax³ + b

- неприводимый трином степени шесть в Q [x]. Тогда группами Галуа для этого вида тринома могут быть лишь следующие:

Доказательство. Ясно, что

f(x) = x⁶ + ax³ + b = (x³ - б)(x³ - в) = ,

.

Тогда после расщепления будет:

E = Q,

и, следовательно, имеет следующие возможности:

Q, (4)

,

следовательно, максимальный порядок у группы Галуа может быть 36, т.е.

Gal_Q(f) ,

что непосредственно видно из башни полей (4). Если

бв = b = c³,

то очевидно, что,

,

следовательно, в этом где случае выражается через

,

поэтому башня полей примет вид (5):

, (5)

и как видно из (5), порядок группы Галуа в этом случае равен 12, т.е.

Gal_Q(f)

Легко понять, что в этом случае только одна из двух транзитивных по подгрупп 12 порядка, а именно D₆, а не A₄ может реализоваться в виде тринома, так как дискриминант этого тринома не может быть квадратом некоторого рационального числа). Трином f будет при этом иметь вид: x⁶ + ax³ + с ³. Если выражается через б и в, не выражается через , то тогда башня полей примет вид (6):

, (6)

причем бв = b Это возможно, если расширение Q(б)/Q будет единственным расширением поля Q степени два, т.е. если

т.е.

где D - дискриминант полинома х ² + ax + b), следовательно,

а ^2-4b = т.е. .

Если:

а = 3t₁

и, следовательно, получен трином 18, что видно из башни полей (6)). Если в выражается через б, то тогда башня примет вид (7):

. (7)

Для того чтобы получить полином параметрический с группой Галуа C₆ в равенстве a^2-4b = (-3) будем считать, что

t₁ = 2t, тогда a^2-4b = t²(-12) или 12t² + a² = 4b.

a = 2a₁, а a₁ = tu, то тогда 3t² + = b = c³ = t²(3 + u²),

следовательно,

t = 3 + u²,

a₁ = (3 + u²)u, а b = t³ + = 3(3 + u²)² + + (3 + u²)u² = (3 + u²)³,

т.е. мы построили трином:

f(x) = x⁶ + 2(3 + u²)ux + + (3 + u²)³ с Gal_Q(f) C₆

(порядок группы Галуа равен 6, что видно из башни полей (4)).

Таким образом, теорема доказана полностью.

Естественно, используя теорему 4, можно привести некоторые

примеры:

Gal_Q(x⁶ + 4x³ + 19) ,

Gal_Q(x⁶ + 4x³ + 16) G₁₈,

Gal_Q(x⁶ + 12x³ + 39) G₁₈,

Gal_Q(x⁶ + 11x³ + 64) D₆,

Gal_Q(x⁶ + 8x³ + 64) C₆,

Gal_Q(x⁶ +28x³ + 343) C₆.

Так как группа:

(C₂ЧC₂)(C₃ Ч C₃)

содержит две различные подгруппы индекса два, а группа:

(C₃ЧC₃)C₄

только одну, то исходя из башни полей (4), заключаем, что из этих двух групп реализуется в виде тринома (в частности, тринома x⁶ + mx³ + n) только одна - .

4.3) x⁶ + ax⁴ + b

Для этого тринома имеет место теорема:

Теорема 5. Пусть

f(x) = x⁶ + ax⁴ + b

- неприводимый трином степени шесть в Q [x]. Тогда группами Галуа для этого вида тринома могут быть лишь следующие: ,

2A₄, S₄ / C₄, D₆ и A₄.

Доказательство. Пусть

x² = t,

следовательно,

f(t) = t³ + at² + b.

Пусть далее в₁, в₂, в₃ - корни f(t), тогда ±, ±, ± - корни f(x), причем в₁, в₂, в₃ = -b, и если в₁, в₂ известны, то

в₃ = Q,

поэтому имеем возможности:

, (8)

т.е. это будет, если, как уже сказано,

= Q,

у кубического полинома f(t) не все корни выражаются через один и дискриминант

D(f(x))? a².

В этом случае, так как это максимально возможная степень расширения, группа Галуа:

Gal_Q(f) = G₄₈

(степень расширения равна 48, что видно из башни полей (8)).

, (9)

т.е. это будет, если, как уже сказано,

= Q,

у кубического полинома f(t) не все корни выражаются через один, в свою очередь, выражается через , и дискриминант:

D(f(x))? a²,

т.е. группа Галуа:

Gal_Q(f) S₄ /C₄

(так как степень расширения равна 24, что видно из башни полей (9)).

, (10)

т.е. это будет, если:

у кубического полинома f(t) все корни выражаются через один и дискриминант тринома

D(f(x))? б²,

т.е. группа Галуа:

Gal_Q(f) S₄/V₄

(так как степень расширения равна 24, что видно из башни полей (10)), и это единственная транзитивная подгруппа 24-го порядка, которая содержится в A₆.

), (11)

т.е. это будет, если

,

у кубического полинома f(t) все корни выражаются через один и дискриминант тринома

D(f(x))? б²

т.е. группа Галуа:

Gal_Q(f)

так как степень расширения равна 24, что видно из башни полей (11)).

, (12)

т.е. этот случай возможен, если

у кубического полинома f(t) все корни выражаются через один и в свою очередь, выражается через , и дискриминант

D(f(x))? б²,

т.е. группа Галуа:

Gal_Q(f)

(так как степень расширения равна 12, что видно из башни полей (12)).

, (13)

т.е. этот случай возможен, если

,

у кубического полинома f(t) все корни выражаются через один и в свою очередь, выражается через , и дискриминант

D(f(x))? б²,

т.е. группа Галуа:

Gal_Q(f)

(так как степень расширения равна 12, что видно из башни полей (13)).

, (14)

т.е. это возможно, если

,

в свою очередь, выражается через , а выражается через т.е.

Gal_Q(f)

(так как степень расширения равна 6, что видно из башни полей (14)).

Случай (14), как показывает исследование вещественности корней этого вида тринома, невозможен [2].

Таким образом, теорема доказана полностью.

Естественно, используя теорему 5, можно привести некоторые конкретные примеры:

Gal_Q(x⁶ + 5x⁴ + 14)

Gal_Q(x^6-18x^4-2)

Gal_Q(x^6-3x⁴ + 1)

Gal_Q(x^6-3x⁴ + 3)

Gal_Q(x⁶ + x⁴ + 23) S₄/C₄

Gal_Q(x⁶ + 6x⁴ + 16) S₄/C₄

Gal_Q(x⁶ + 7x^4-23) S₄/V₄

Gal_Q(x^6-17x^4-1) S₄/V₄

Gal_Q(x⁶ + 8x⁴ + 1)

Gal_Q(x⁶ + 2x^4-2)

Gal_Q(x⁶ + 3x^4-1)

Gal_Q(x⁶ + 27x^4-729)

4.3) x⁶ + 6ax⁵ + b

Триномы вида x^6-6ax⁵ - b впервые встречаются в работе немецкого математика J. Malle [9], в которой он с помощью этих триномов смог реализовать такие группы Галуа, как S₆, A₆, S₅, G₇₂, A₅, G₄₈, S₄, G₃₆, С ₆ (заметим, что в работе Малле [9]

A₅ PSL(2, 5), S₅ PGL(2, 5), S₄ S₄/C₄).

Приведем пример тринома с группой Галуа PSL(2, 5), а также его дискриминант:

f(x) = x^6-6x^5-124,

D(f) = 2¹⁴ 3⁸ 19² 31⁴.

Этот же трином, как впоследствии мы увидим, получается и из параметрического примера Малле для этой группы Галуа и, по-видимому, это единственный пример тринома целыми коэффициентами и с группой Галуа PSL(2, 5).

С триномами шестой степени связана следующая теорема, принадлежащая Малле (J. Malle). Сформулируем эту теорему:

Теорема 6 (Malle).

(a) Пусть N - поле расщепления над Q(w) тринома:

g₁(X,w) = X⁶ - -6X⁵ -.

Тогда получаем:

Gal_Q(w)(g₁(X, w)) PGL(2, 5) для v 1 (mod209) (w Z).

(b) Пусть N - поле расщепления над Q(w) тринома вида g₁(X, v - 5) Q [x]. Тогда получаем:

Gal_Q(w)(g₁(X, v - 5)) PSL(2, 5)

для числа v 1 (mod35) (v Z).

(с) Пусть N - поле расщепления над Q(y) тринома

g₁(X, y) = X⁶ - - 6X⁵+ .

Тогда получаем:

Gal_Q(y)(g₂(X, y)) G₇₂

для y 1 (mod87) (y Z).

(d) Пусть N - поле расщепления над Q(z) тринома

g₃(X, z)= X⁶ - -6X⁵+ .

Тогда получаем:

Gal_Q(z)(g₃(X, z)) G₄₈

для z1 (mod247) (z Z).

(e) Пусть N - поле расщепления над Q(u) тринома вида:

g₃(X, ) Q(u) [x].

Тогда получаем (взяв в качестве тринома):

g₄(X, u) = g₃(X, ) Q(u) [x]),

Gal_Q(u)(g₃(X, u)) S₄/C₄

для числа u 1(mod143) (u Z).

Доказательство и более подробную информацию о конструкции этих триномов можно найти в [9].

Заметим, что тот трином, который был приведен выше, а именно x^6-6x^5-124, получается и из формул Малле (взяв w = -4) и, возможно, это единственный трином с группой Галуа PSL(2, 5) и с целыми коэффициентами.

В [9] рассмотрены также следующие примеры:

Gal_Q(y)(g₂(X, 2)) = Gal_Q(y)(X^6-6X⁵ +2⁶5⁵3^-37^-1)

Gal_Q(z)(g₂(X, 10)) = Gal_Q(z)(X^6-6X⁵+2⁵5⁵11⁵3^-37^-213^-3) S₄/C₄

Gal_Q(y)(g₂(X, -2/7)) = Gal_Q(y)(X^6-6X⁵+ 2⁶5⁶11⁵7^-619^-1)

Таким образом, как нетрудно видеть, все транзитивные подгруппы группы S₆ реализованы, кроме, возможно,

C₄.

5) x⁷ + ax^z + b (n =7)

Для этого случая имеются ровно 7 транзитивных подгрупп группы S₇, а именно: сама симметрическая группа 5040-го порядка S₇, альтернативная группа 2520-го порядка A₇, простая группа 168-го порядка PSL(2, 7), разрешимая группа 42-го порядка F₄₂, разрешимая группа 21-го порядка F₂₁, диэдральная группа 14-го порядка D₇ и циклическая группа 7-го порядка C_7.

Для этого случая, т.е. для случая n = 7, не так много известно о триномах и какие группы из этого списка можн реализовать триномами, поэтому сначала выведем, как и во всех предыдущих случаях, параметрическое семейство триномов с группой Галуа A₇, а затем дадим некоторый обзор по триномам, включая проблему реализации данных групп Галуа.

5.1) x⁷ + ax + b

Дискриминант этого вида тринома имеет вид

D(f) = -(7⁷b⁶+6⁶a⁷).

Попытаемся найти хотя бы частное решение диофантова уравнения

(7⁷b⁶+6⁶a⁷) = u².

Для этого сделаем предварительно замены: a = -7c, b = 6c, тогда дискриминант примет вид

D(f)= 6⁶7⁷c^7-7⁷6⁶c⁶ = 6⁶7⁷c⁶(с-1).

Теперь, сделав еще одну замену:

c - 1 = 7k²,

c =7k² +1,

получаем, что дискриминант тринома D(f) становится квадратом, а именно:

D(f) = [6³7⁴(7k² + 1)³k]²,

т.е. таким образом, построен трином вида

f(x) = x⁷ - - 7(7k²+1)x + 6(7k² + 1) (k?0) c Gal_Q(f) A₇.

Но. Как показывают вычисления на MAPLE, получаем, что:

Gal_Q(f) A_7.

Таким образом, построен трином вида x⁷ + ax + b с группой Галуа изоморфной группе A₇.

Можно привести конкретные примеры триномов данного выше вида с группой Галуа A₇.

Gal_Q(x^7-56x + 48) A₇

Gal_Q(x^7-791x + 687) A₇

Gal_Q(x^7-4907x + 4206) A₇

Gal_Q(x^7-625688x + 536304) A₇

Gal_Q(x^7-6049261736x + 5185081488) A₇

Для этого вида тринома можно, естественно, реализовать также симметрическую группу S₇, используя теорему 3 настоящей работы:

Gal_Q(x⁷ +2x +2) S₇

Gal_Q(x⁷ + 33x + 33) S₇

Gal_Q(x⁷ + 100x + 100) S₇

Ясно, что на эту группу (группу S₇) существует множество других примеров, не обязательно подходящих под теорему 3.

Для этого вида тринома можно реализовать также единственную транзитивную простую группу PSL (2, 7). Известно [10] параметрическая реализация этой группы Галуа, а в работе [11]указаны уже достаточные условия для её реализации, а именно:

1) данный полином неприводим над основным полем;

2) дискриминант полинома должен быть квадратом;

3) полином имеет ровно 3 вещественных корня;

4) резольвента P (x) 35-ой степени приводима.

Заметим, что эти условия являются достаточными, так как уже известно, что реализованы все транзитивные группы Галуа подгруппы S для 9 ? n ? 3 со всеми вещественными корнями.

Приведём все известные нам триномы на данный момент с этой группой Галуа:

(

(

(

Первый из этих триномов открыл Тринкс (Trinks, 1977) [12], второй из этих триномов впервые фигурирует в работе [11] в 1979 году, третий же трином получен автором в 1999 году.

Кроме этих 3-х транзитивных подгрупп группы (т.е. , , PSL(2, 7)), неизвестно, можно ли оставшиеся транзитивные группы Галуа (, , и ) реализовать в виде некоторых триномов. Конечно, ясно, что циклическую группу нельзя реализовать как группу Галуа в виде некоторого тринома, так как все 7 вещественных корней для триномов вида получить невозможно [2]).

Интересная ситуация возникла с группой . До степени 7, как мы помним, и, и , и реализовывались (см. примеры выше) в виде некоторых триномов. Пока неизвестно, можно ли эту группу (группу ) реализовать в виде тринома 7-ой степени, и если вдруг такой трином существует, то до какой максимально возможной степени n можно реализовать группу в качестве триномов? Ясно, однако, что группу можно реализовать в виде тринома 14-ой степени, однако нам это не интересно, и мы должны искать (или доказать, что её нет) реализацию этой группы виде тринома 7-ой степени. Известны лишь достаточные условия для того, чтобы трином степени 7 вида имел бы группу Галуа [13]:

1) Трином неприводим над основным полем;

2) Дискриминант данного тринома не является квадратом;

3) Полином:

должен расщепляться в произведение 3-х неприводимых полиномов 7-ой степени каждый.

Ещё более запутано ситуация с группами и , хотя это и странно так как эти группы являются разрешимыми, и, по-видимому, должна существовать реализация их в виде триномов подобно тому, как существует реализация групп и в виде триномов пятой степени. Мало того, что неизвестно, существует или нет реализации этих групп виде триномов 7-ой степени, так к тому же (в отличие от группы ) для этих групп не получены какие-нибудь простые необходимые или достаточные условия для их реализации. Не стоит забывать и про метод Студухара [14], однако использовать его в данной ситуации нерационально и сложно.

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

Интересно было бы получить ответы на эти вопросы.

Важным является вопрос о числе вещественных корней у триномов и какие группы Галуа будут получаться в зависимости от этого количества вещественных корней для степеней триномов ?4.

Например, можно вывести условия, при которых трином вида имеет все вещественные корни, а именно: сделав замену

,

получим трином вида Для того чтобы этот трином имел бы все существенные корни, надо, чтобы его дискриминант:

D(f) =

кроме того, надо, чтобы еще выполнялись два условия: a < 0 и -a > -a. Приведём некоторые конкретные примеры триномов вида со всеми вещественными корнями и с их соответствующими группами Галуа:

(

(

(

(

(

(

Таким образом, для этого вида тринома у нас все группы Галуа можно реализовать со всеми вещественными корнями. Оставшиеся транзитивное подгруппы группы , (а это и ), нельзя реализовать в виде триномов со всеми вещественными корнями, и вообще, справедлива теорема:

Теорема 7. Только трином вида может давать все вещественные корни, поэтому, только такие транзитивное группы Галуа, как и можно реализовать со всеми вещественными корнями.

С вещественными корнями связана следующая теорема [11]:

Теорема 8. Пусть p - простое число и f - неприводимый трином степени p кольца Q [X], имеющий точно p - 2 вещественных корня и два невещественных (мнимых) корня в поле Q. Тогда

(.

Исходя из этой теоремы, получаем, что если неприводимый трином степени пять имеет три вещественных корня и два мнимых сопряженных, то тогда:

(.

Приведём примеры триномов 5-ой степени с тремя вещественными корнями и группой Галуа :

(

(

(

Интересно было бы получить какие-нибудь похожие на теорему 7 условия, для которых неприводимые триномы 5-ой степени имели бы всего один вещественной корень и четыре мнимых, и что за группы Галуа могли бы при этих условиях получаться. Как показывают вычисления на MAPLE, если у триномов 5-ой степени один корень вещественный, то тогда можно реализовать конкретными примерами все транзитивное подгруппы группы (кроме, естественно, ):

(

(

(

(

Интересно было бы дать для триномов шестой, седьмой и т.д. степеней условия, для которых существует 2, 4, 6, и т.д. вещественных корня и какие группы Галуа при этих условиях могут получаться.

Вообще, интересен вопрос о вещественности корней не триномов, а общих полиномов с различными группами Галуа. На данный момент известно, что все транзитивное подгруппы группы , где 3 ? n ? 13 реализуются как группы Галуа некоторых полиномов со всеми вещественными корнями!

В заключение работы, хотелось бы сформулировать некоторые теоремы о триномах [16], [17], [18]:

Теорема 9. (Usada). Пусть полином

f(x) = Z [x]

- неприводимый над Q трином простой степени p, и целые числа (p - 1) a и pb взаимно просты. Тогда:

(.

Теорема 10. (Osada). Пусть полином:

f(x) = Z [x]

- неприводимый над Q трином и

a = , и b = ,

где , , с - целые числа. Тогда, если числа (n-1)1 и n взаимно просты, то группа Галуа

(,

если выполняются условия:

(1) Числа (n-s)s и n взаимно просты

(2) не квадрат целого числа, где - дискриминант f(x), т.е.

= +(-,

(3) Существует такое простое число p, что p| и p|.

Из этих результатов Осады (Osada [17]), вытекает, что трином имеет над Q при любом n ? 2 группу Галуа, изоморфную симметрической группе .

Теперь приведём интересную теорему, связанную с группами Галуа триномов простой степени. Она доказана Фейтом [18] с использованием классификации конечных простых групп:

Теорема 11. (Feit. 1979). Пусть p - простое число и 1 ? k ? p - 1.

Пусть

f(x) = Z [x]

- неприводимый над Q трином, и G - группа Галуа тринома f над Q. Тогда может выполняться только одна из следующих возможностей:

1) G - разрешимая группа.

2) G или G

3) P = 7, G =

4) P = 11, G или G

5) p = 1 +

- просто число Ферма большее 5 и тогда:

Aut(.

Для пунктов 4) и 5) теоремы 11 неизвестны конкретные триномы с соответствующими группами Галуа, на другие пункты теоремы 11 конкретные примеры можно найти в настоящей работе.

Как видно из настоящей работы, вопрос о реализации групп Галуа в виде триномов интересует многих современных математиков, но остается ещё множество нерешенных, интересных проблем, связанных с этим вопросом.

Автор в настоящей работе преследовал цель реализовать (если это возможно и какие возможно) транзитивное подгруппы группы для 3 ? n ? 7, а также познакомить читателя с нерешенными проблемами по этому вопрос.

Литература

1. Сергеев Э.А. Элементы теории Галуа. /Кубан. гос ун-т. Краснодар, 1987.

2. Эйлер Л. Дифференциальное исчисление, М. Л. 1949.

3. Постников М.М. Теория Галуа. М. 1963.

4. Elkies N. Other Aruthmetic Manifestation of Branched Covers. MSRI website 1999.

5. Matzat H. Constructive Galoistherie, "Lect. Notes Math." № 1284, 1987.

6. Komatsu K. On the Galois Group of + a + a = 0. Tokio, J. Math Vol. 14.

7. Dummit D. Solving solvable quintics, Math, Of Compul. Vol. 57, № 195, 1991, 387-401.

8. Spearman K., Williams K. On solvable quinties + ax + b and + a + b. Rocky Mountain Journal of Mathematics. Vol. 26, № 2, 1996, 753-773.

9. Malle G. Polynomials with Galois group PSL(3,2) uber Q, Manuscript, Universitat Karlsruhe, 1968.

10. LaMacchia M.E. Polynomials with Galois group PSL(2,7). Commut. Alg. Vol 8. 1980, 983-992.

11. Erbach D.W., Fisher J., McKay J. Polynomials with PLS(2,7) as Galois group. Jornal of Number Theory, Vol. 11. 1979, 69-75.

12. Trinks W. Ein Beispell eines Zahlkorpers mit der Galoisgroup PSL(3,2) uber Q, Manuscript, Universitat Karlsruhe, 1986.

13. Jensen C., Yuri N, Polynomials with as Galois Group. Journal of Number Theory, Vol, 15., 1982, 347-375.

14. Stauduhar R. The determination iof Galois Group. Math. Of comput. Vol. 27, № 124ю 1973ю 981-996.

15. Ваи дер Варден Б.Л. Алгебра. М. 1979.

16. Usida K. Galois group of an equation - ax + b = 0. Tohoku Math. Journal. 1970. Vol. 22 № 4. 670-678.

17. Osada H. The Galois Groups of the polynomials + a + b = 0. Tohoku Math. Journal, 1987. Vol. 39. 437-445.

18. Feit W. Some consequences of the classification of finite simple groups. Santa Cruz. Conf. Finite Groups. Santa Cruz. Calif.1979, R I. Providence. 175-181.

Literature:

1. Sergeev A.E., Sergeev E.A. Foundations of Galois theory. Prosveshenie. Krasnodar. 2014.

2. Eiler L. Differential calculus. M. L. 1949.

3. Postnikov M.M. Galois theory. M. 1963.

4. Elkies N. Other Aruthmetic Manifestation of Branched Covers. MSRI website 1999.

5. Matzat H. Constructive Galoistherie, "Lect. Notes Math." № 1284, 1987.

6. Komatsu K. On the Galois Group of + a + a = 0. Tokio, J. Math Vol. 14.

7. Dummit D. Solving solvable quintics, Math, Of Compul. Vol. 57, № 195, 1991, 387-401.

8. Spearman K., Williams K. On solvable quinties + ax + b and + a + b. Rocky Mountain Journal of Mathematics. Vol. 26, № 2, 1996, 753-773.

9. Malle G. Polynomials with Galois group PSL(3,2) uber Q, Manuscript, Universitat Karlsruhe, 1968.

10. LaMacchia M.E. Polynomials with Galois group PSL(2,7). Commut. Alg. Vol 8. 1980, 983-992.

11. Erbach D.W., Fisher J., McKay J. Polynomials with PLS(2,7) as Galois group. Jornal of Number Theory, Vol. 11. 1979, 69-75.

12. Trinks W. Ein Beispell eines Zahlkorpers mit der Galoisgroup PSL(3,2) uber Q, Manuscript, Universitat Karlsruhe, 1986.

13. Jensen C., Yuri N, Polynomials with as Galois Group. Journal of Number Theory, Vol, 15, 1982, 347-375.

14. Stauduhar R. The determination iof Galois Group. Math. Of comput. Vol. 27, № 124ю 1973ю 981-996.

15. Ваи дер Варден Б.Л. Алгебра. М. 1979.

16. Usida K. Galois group of an equation - ax + b = 0. Tohoku Math. Journal. 1970. Vol. 22 № 4. 670-678.

17. Osada H. The Galois Groups of the polynomials + a + b = 0. Tohoku Math. Journal, 1987. Vol. 39. 437-445.

18. Feit W. Some consequences of the classification of finite simple groups. Santa Cruz. Conf. Finite Groups. Santa Cruz. Calif.1979, R I. Providence. 175-181.

Размещено на Allbest.ru

...