Научная статья на тему 'О гипотезе Вороного'

О гипотезе Вороного Текст научной статьи по специальности «Математика»

CC BY
121
19
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
НЕПРИВОДИМЫЙ МНОГОЧЛЕН / ГРУППА ГАЛУА / ФАКТОРИЗАЦИЯ / IRREDUCIBLE POLYNOMIAL / GALOIS GROUP / FACTORIZATION

Аннотация научной статьи по математике, автор научной работы — Сергеев Александр Эдуардович

Задача установления факторизации непроизводимых полиномов с целыми коэффициентами по простым модулям р давно интересуют математиков. Квадратичный и кубический законы взаимности решают эту задачу для квадратных полиномов и биномов вида x3-a. Более общие законы взаимности решают сформированную задачу для некоторых классов полиномов, например с абелевой группы Галуа, но для полиномов с неабелевой группой Галуа задача далека от полного решения. В данной работе показано как с помощью результатов Вороного Г.Ф., Хассе Х. и Штилькебергера можно находить условия которым должно удовлетворять простое число р, чтобы получать для неприводимого кубического полинома определенный тип факторизации по модулю р, Гаусс получил подобный результат для бинома x3-2. Приводятся конкретные примеры, например для полинома x3-x+1, формулируются также условия при которых квадратичное поле погружается в неабелево расширение Галуа 6-ой степени. Также приводятся условия при которых диофантово уравнение a12a22-4a22-4a13a3-27a32+18a1a2a3=D имеет решение для целых значений D

i Надоели баннеры? Вы всегда можете отключить рекламу.
iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

TO THE HYPOTHESIS OF VORONOI

The problem of establishing of the factorization of irreducible polynomials with integer coefficients on prime modules p has been long of interest to mathematicians. The quadratic and cubic reciprocity laws solve this problem for quadratic polynomials and binomials of the form x3-a. More general reciprocity laws solve the formulated problem for some classes of polynomials, for example, with Abelian Galois group, but for polynomials with non-Abelian Galois group, the problem is far from its complete solution. Our study shows how using the results of Voronov G.F., Hasse H. and Stickelberger L., one can find conditions that must satisfy prime number p. Gauss received a similar result for binomial x3-2. Specific examples are given, for instance, for the polynomial x3-x I, also conditions arc formulated for which a quadratic field is immersed in non-Abelian Galois extension of degree 6. Also, conditions are given under which a Diophantine equation: а12a22-4a22-4a13a3-27a32+18a1a2a3=D has a solution for integer values of D

Текст научной работы на тему «О гипотезе Вороного»

УДК 519.115.1

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

О ГИПОТЕЗЕ ВОРОНОГО

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

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

Задача установления факторизации непроизводимых полиномов с целыми коэффициентами по простым модулям р давно интересуют математиков. Квадратичный и кубический законы взаимности решают эту задачу для квадратных полиномов и биномов вида x3-a. Более общие законы взаимности решают сформированную задачу для некоторых классов полиномов, например с абелевой группы Галуа, но для полиномов с неабелевой группой Галуа задача далека от полного решения. В данной работе показано как с помощью результатов Вороного Г.Ф., Хассе Х. и Штилькебергера можно находить условия которым должно удовлетворять простое число р, чтобы получать для неприводимого кубического полинома определенный тип факторизации по модулю р, Гаусс получил подобный результат для бинома x3-2. Приводятся конкретные примеры, например для полинома x3-x+1, формулируются также условия при которых квадратичное поле погружается в неабелево расширение Галуа 6-ой степени. Также приводятся условия при которых диофантово уравнение a12a22-4a22-4a13a3-27a32+18a1 a2a3=D имеет решение для целых значений D

UDC 519.115.1

Physical-Mathematical sciences

TO THE HYPOTHESIS OF VORONOI

Sergeev Alexandr Eduardovich

Cand. Phys.-Math. Sci., associate Professor

Kuban State Agrarian University, Krasnodar, Russia

The problem of establishing of the factorization of irreducible polynomials with integer coefficients on prime modules p has been long of interest to mathematicians. The quadratic and cubic reciprocity laws solve this problem for quadratic polynomials and binomials of the form x3-a . More general reciprocity laws solve the formulated problem for some classes of polynomials, for example, with Abelian Galois group, but for polynomials with non-Abelian Galois group, the problem is far from its complete solution. Our study shows how using the results of Voronov G.F., Hasse H. and Stickelberger L., one can find conditions that must satisfy prime number p. Gauss received a similar result for binomial x3-2. Specific examples are given, for instance, for the polynomial x3-x - I, also conditions arc formulated for which a quadratic field is immersed in non-Abelian Galois extension of degree 6. Also, conditions are given under which a Diophantine equation: a12a22-4a22-4a13a3-27a32+18a1a2a3=D has a solution for integer values of D

Ключевые слова: НЕПРИВОДИМЫЙ Keywords: IRREDUCIBLE POLYNOMIAL,

МНОГОЧЛЕН, ГРУППА ГАЛУА, GALOIS GROUP, FACTORIZATION

ФАКТОРИЗАЦИЯ

Doi: 10.21515/1990-4665-134-075

О гипотезе Вороного

Пусть неприводимый полином n-ой степени над полем

рациональных чисел Q с целыми коэффициентами и дискриминантом D и p - простое число не делящее D. Одной из важных задач теории чисел

является изучение факторизации полинома ФС-О в произведение

7

неприводимых по модулю р полиномов над полем вычетов р .

Пусть

где неприводимые полиномы тД^С/ = 1/2...,г) имеют соответственно

степени И11% -Л»И1 +и2 + ""иг =Т1, тогда будем считать, что по

модулю р полином имеет факторизованный тип (7г1» n2^ ■■■>пг)-В связи с этим возникают две проблемы :

1. Описать для конкретного неприводимого полинома Я^) степени п его возможные факторизационные типы по всевозможным простым модулям.

2. Для данного неприводимого полинома Т^) и данного его

факторизационного типа пип2.г— описать все простые числа р для которых по модулю p реализуется данный факторизационный тип в представлении (1).

На первую проблему отвечает группа Галуа С (А9) полинома рассматриваемая над полем рациональных чисел Q: если группа Галуа

0(*Р) представлена подстановками, т.е. 0(И") подгруппа симметрической

группы то цикленные типы подстановок из группы С(^) определяет

факторизационные типы полинома (неприводимые над по

всевозможных простым модулем.

Например, если полином третий степени целыми

коэффициентами имеет группу Галуа знакопеременную ^э, то его возможные цикленные типы по модулю p будут или (1,1,1), или (3), т.е.

полином неприводим по модулю р, причем все случаи реализуются. Если же группа Галуа полинома третьей степени с целыми

коэффициентами изоморфна симметрической группы ^э, то его возможные цикленные типы по модулю p будет или (1,1,1), или (3), или (1,2), причем

все цикленные типы реализуются при некоторых простых числах p.

В самом простом случае, когда есть полином 2-ой степени, обе проблемы полностью решаются с помощью квадратичного закона взаимности. Например, полином Ч(рО = 4 4х 4 5 факторизуется на

линейные множители по модулю р, если V= 4 1 и остается неприводимым, если p=4k+3.

В принципе вторая проблема может быть решена, если группа Галуа

полинома чОО абелева, в этом случае используют теорию полей классов. В частности, если Ч^З = Мi W - л - й круговой полином, то сравнительно элементарными методами доказывается следующая замечательная теорема о том, что 11-й круговой полином ft« W.i имеющий степень flw ЯЫ функция Эйлера, расщепляется по модулю простого числа p в произведение неприводимых полиномов по такому правилу: если t -

наименьшее натуральное число для которого Р' — 1 {тпоФг) т0 тогда

н.

т = а-

неприводимые по модулю р полином степени t, a t. Например, так как = 4 хэ 4 х - 4 х 4 х0 дЛЯ простых р вида 'Р = 4 1 для

<Ръ(х) по mod р имеем факторизационный тип (1,1,1,1); для 'Р = 5ft 4 4 факторизационный тип (2,2); для р = + 2 илир = Ък 4 3 имеем факторизационный тип (4).

Случай неприводимого полинома третьей степени гораздо сложнее. Перед тем как его рассмотреть, сформулируем замечательную теорему Штекельберга - Вороного: пусть - неприводимый над Q полином п-ой степени с целыми коэффициентами, тогда если простое число p не делит дискриминант D полинома Ч(х[ то число г - неприводимых по модулю р множителей полинома Ч(.х3 удовлетворяет равенству

н

где \р/ - символ Лежандра.

Таким образом, если - неприводимый над 0 полином 3-ей степени с целыми коэффициентами и дискриминантом D, а p-простое

число не делящее Б, то факторизационный тип полинома по модулю р

=-1

будет (1,2) только если выполняется равенство

Это позволяет охарактеризовать такие простые числа p с помощью соответствующих арифметических прогрессий. Если при этом группа

Галуа полинома - циклическая, т.е. дискриминант Б - квадрат целого

числа, то типы факторизаций полинома будет или (1,1,1), или (3).

Пример1. Рассмотрим полином 9(я) = хэ — он неприводим над О, его дискриминант -108=-4,27. Имеем:

^ = ) = (--} (-) (-} = = {"} = { 1,Р = 3к + 1

Следовательно, для простых чисел Р вида р=Зк+2 полиномом я3 - 2 расщепляется по модулю p на линейный и неприводимый квадратный множитель. Например, при p=5 имеем

Если простое p имеет вид 3k+1, то К.Ф. Гаусс доказал, что полином

~~ 2 расщепляется на линейные множители по модулю р, только если существуют такие целые числа С и Б, что р = с~ + 27В\ Другими словами простое число р можно представить квадратичной формой + 27у2

дискриминанта -108 при некоторых целых x и у. Простые числа p, представимые формой + 2ху + Ту- дают для ^ — 2 хип расщепления

(3), т.е. этот полином неприводим.

Аналогичный результат справедлив для полинома = я3 + 2.

В 1898 году выдающийся русский математик Г.Ф. Вороной сформулировал следующую гипотезу:

1. Для того, чтобы сравнение 3-ей степени при простом модуле имело только один корень, необходимо и достаточно, чтобы дискриминант сравнения был не квадратичным вычетом по этому модулю.

2. В том случае, когда дискриминант - квадратичный вычет по рассматриваемому модулю, сравнение имеет три корня, или не имеет ни одного.

3. При всех простых модулях, представляемых в какой-нибудь квадратичной бинарной форме с определителем равным дискриминанту сравнения 3-ей степени, это сравнение всегда одинаковое число корней.

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

.3

Для полиномов вида я(х) = х ~ к справедливость пункта 3 гипотезы Вороного была в 1900 году доказана Р. Дедекином [5]. А в 1950 году Х. Хассе доказал справедливость пункта 3 для любого неприводимого полинома 3ей степени с целыми коэффициентами [3].

Отметим, что и после доказательства гипотезы Вороного, вопрос связанный с проблемой 2 не решен еще полностью, так как ответ дается в терминах представимости простых чисел классами квадратичных форм, но пока не найдены критерии такой представимости простых чисел, если число классов в роде больше единицы.

Полиномы чОО = — а а д = х" + а, а имеют один и тот же

л но? (-} = -! дискриминант и=-21и только если простое число р имеет вид

р=Зк+2, поэтому, если Яи 9 - неприводимые над полем рациональных чисел 0 полиномы, то для простых чисел р вида р=3к+2 (и только для них) оба полинома q и g - неприводимые над полем

рациональных чисел 0 полиномы, то для простых чисел р имеют тип факторизации (1,2). Так как если полином q(mod р) расщепляется на линейные множители , то и полином g(mod р) также расщепляется на

линейные множители, ввиду того, что если полином — а — То и

{~х<зУ + а = = Опо<1р), Следовательно, если полином д = %3 ~ а по модулю

р имеет какой-нибудь тип расщепления, то и полином g = — а По модулю р имеет тот же тип расщепления.

В дальнейшем мы будем рассматривать полиномы 3-ей степени вида

= Л'' _ _ ■? с целыми коэффициентами, неприводимые над полем рациональных чисел 0 и имеющие не абелеву группу Галуа ^э шестого порядка. Это означает, что дискриминант =- 27д~ Не есть квадрат целого числа. Так как в этом случае полином q(x) имеет один

вещественный корень и два мнимых сопряженный корня, то Т1 = = ^ и тогда, как известно знак у Б^) будет:

таким образом в рассматриваемом случае Б^) < 0.

Пусть - корни кубического неприводимого полинома q(x),

поле ^ = 1=1,2,3, поле N=0(^1» аэ) - поле расщепления над О

полинома д(х), L=Q (т/^ - квадратичное подполе, содержащееся в К, пусть

где d - дискриминант квадратичного поля.

Рассмотрим пример. Пусть р= -1, q=1, тогда

Квадратичное поле Ь=(Х * ^3) имеет число классов идеалов, равное 3.

МЬ-1

Если символ Лежандра V р ? , только если простое число р имеет вид:

р=92к+5,7,11,15,17,19,21,33,37,43,45,51,53,57,61,63,65,67,79,83,89,91, где к пробегает некоторые натуральные числа.

Например = 2)(хг - 2х + 3)(тдй5)

Если V V * , то для таких простых чисел р имеем V р / и

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

унимодулярных преобразований :

Простые числа р, представимые формой я(х,у) дают факторизационный тип (3), т.е. полином — х + 1 для таких р неприводим по модулю р. Простые числа р, представимые формами И(х,у) и 1:(х,у) дают

тип расщепления (1,1,1), т.е. полином х3-х + 1 расщепляется в произведение трёх линейных множителей по модулю р. Например: Я(0,1)=3, я(1,0)=2, я(2,1)=13, я(2,3)=41 и т.д; И(1,-2)=23, И(1,4)=101 и т.д. Заметим, что если х, у - целые числа, то области значений форм Ь(х,у) и 1(х,у) совпадают, если х, у - принимают только натуральные числа, то области значений этих форм различны.

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

Если р - данное простое и V V / , то нет критериев, обеспечивающих представление р одной из этих форм.

Заметим, что число классов идеалов квадратичного поля равно 3, и это не случайное значение для рассматриваемого случая, как мы увидим в дальнейшем.

Аналогичное исследование можно провести для других кубических неприводимых полиномов с целыми коэффициентами, например для

НгЬ-

— хэ + х + 1 с дискриминантом Б(д)=-31. В этом случае имеем для простых чисел p, имеющих вид:

p= 124k + 3, 11, 13, 15, 17, 21, 23, 27, 29, 37, 43, 53, 55, 57, 61, 65, 73, 75, 77, 79, 83, 85, 89, 91, 99, 105, 115, 117, 119,

где к - пробегает натуральные числа, для которых р=124к+а есть простое число и а-одно из указанных 30 значений. Для этих простых чисел р

полином по модулю р имеет факторизационный тип (1,2).

Другие простые числа доставляющие другие факторизационные типы (1,1,1) и (3) для полинома х2 + +х + 1 характеризуется тремя квадратичными приведёнными формами дискриминанта -31:

Простые числа представимые формой дают

факторизационный тип (3), т.е. полином х3 + х + 1 неприводим по модулю этих простых чисел; а простые числа представимые квадратичными формами и дают для полинома %э + х +1

факторизационный тип (1,1,1). Заметим, что число классов идеалов в поле

равно 3.

Сформируем один из основных результатов упомянутой работы X. Хассе. Пусть а1га2>аъ - корни неприводимого полинома q(x) с целыми коэффициентами, поле К=0(й!), где а - один из корней аь. Дискриминант

Б^) не является квадратом целого числа. В этом случае поле N=0

Оз) содержит единственное квадратичное подполе где (1 -

арифметический дискриминант поля Ь, т.е. целое число свободное от квадратов.

Обозначим через Б- арифметический дискриминант поля К, т.е. дискриминант фундаментального базиса целых алгебраических чисел поля К, тогда, как известно, выполняются соотношения:

О= О - Т2, и = с1 ■ цг, где 1;, q - целые числа В этой ситуации Хассе доказал, что для q и d выполняются следующие условия:

Ь) Ч = VI Рг — ря3 ^ где ^^^ или

при этом Рь (¿=1,..., п; п — 0)- простые числа отличные от 3 и выполняются сравнения

й Е

чАу

В случае Ь) имеем:

для с? = 4-3 (люс*9)ж№ = 1 для й = —3(тссЭ),у/ = 1 или 2,

И это необходимое условие для существования кубического поля с

арифметическим дискриминантом Б, если при этом поле имеет

число классов идеалов, делящееся на 3, то приведённые условия являются необходимыми и достаточными для существования кубических расширений с дискриминантом Б, погружаемых в нормальное расширение с дискриминантом Б, погружаемых в нормальное расширение поля 0 степени 6.

Приведённое утверждение имеет интересные следствия. Пусть ц(х) = х^ + aiX2 + а^х + а^ - полином 3-ей степени и D(q) его дискриминант, тогда, как известно,

D(q)=«i«i - 4аI - 4а\а2 - 27a¡ +1 SctLct2a3.

Рассмотрим диофантово уравнение

D(q)=D (3)

где D - некоторое целое число, удовлетворяющее условию D = Q(mod4) mu D = l(?nodA-)f если ПрИ этом ö ^ t- некоторое целое

число D не делится на квадраты целых чисел и поле L=Q(v'ö) имеет число классов идеалов не делящееся на 3, то уравнение (3) не имеет решений в целых числах. Например, при D = 5, 13, 17, 21, 29, 37, 41, 61, 69 диофантово уравнение (3) не имеет решений в целых числах, это означает, что не существует полиномов 3-ей степени с целыми коэффициентами, имеющие данные дискриминанты.

Литература

1. Боревич З.И. Шафревич И.Р. Тоерия чисел, М. Наука, 1973

2. Вандер Варден, Алгебра, М., Наука, 1976.

3. Hasse H., Arithmetiche Theirie der Kubischer Zahlorper auq Klassenkorpertheoretischer Grundlage. Math. Zeitchr., Bd.31 (1930), N4, S. 565-582.

4. Чеботарев Н.Г., Основы теории Галуа, М.1934

5. Алгебраическая теория чисел, сб. под ред. Дж. Кассельса и А. Фрёлиха, М. Мир, 1969.

6. С. Ленг, Алгебраические числа, М. Мир, 1966.

7. Сергеев А.Э., Сергеев Э.А., Основы теории Галуа, Краснодар 2014.

8. Чебышев П.Л., Полное собрание сочинений, Том 1, м., 1944.

9. Айрленд К., Роузен М., Классическое введение в современную теорию чисел, М. Мир, 1987.

10. Манин Ю.И., Панчиникин А. А., Введение в современную теорию чисел, М., МЦНМО, 2009.

References

1. Borevich Z.I. Shafrevich I.R. Toerija chisel, M. Nauka, 1973

2. Vander Varden, Algebra, M., Nauka, 1976.

3. Hasse H., Arithmetiche Theirie der Kubischer Zahlorper auq Klassenkorpertheoretischer Grundlage. Math. Zeitchr., Bd.31 (1930), N4, S. 565-582.

4. Chebotarev N.G., Osnovy teorii Galua, M.1934

5. Algebraicheskaja teorija chisel, sb. pod red. Dzh. Kassel'sa i A. Frjoliha, M. Mir,

1969.

6. S. Leng, Algebraicheskie chisla, M. Mir, 1966.

7. Sergeev A.Je., Sergeev Je.A., Osnovy teorii Galua, Krasnodar 2014.

8. Chebyshev P.L., Polnoe sobranie sochinenij, Tom 1, m., 1944.

9. Ajrlend K., Rouzen M., Klassicheskoe vvedenie v sovremennuju teoriju chisel, M. Mir, 1987.

10. Manin Ju.I., Panchinikin A.A., Vvedenie v sovremennuju teoriju chisel, M., MCNMO, 2009.

i Надоели баннеры? Вы всегда можете отключить рекламу.