Формулы Рамануджана с кубическими корнями и элементарная теория Галуа Текст научной статьи по специальности «Математика»

УДК 511.14, 511.235.1 Вестник СПбГУ. Сер. 1. Т. 2(60). 2015. Вып. 4

ФОРМУЛЫ РАМАНУДЖАНА С КУБИЧЕСКИМИ КОРНЯМИ И ЭЛЕМЕНТАРНАЯ ТЕОРИЯ ГАЛУА*

И. А. Крепкий, К. И. Пименов

Санкт-Петербургский государственный университет,

Российская Федерация, 199034, Санкт-Петербург, Университетская наб., 7-9

В заметке дано объяснение формулам Рамануджана с кубическими корнями, основанное на теории Галуа. Пусть Е — это циклическое кубическое расширение поля К. Доказано, что нормальное замыкание над К чисто кубического расширения поля Е содержит некоторое чисто кубическое расширение поля К. Приведенное доказательство обобщается на радикалы степени д для произвольного простого д. В случае, когда базовое поле К — это поле рациональных чисел и поле Е содержится в круговом расширении, полученном присоединением корней р-й степени из единицы, явно вычислено соответствующее простое радикальное расширение поля рациональных чисел. Доказательство основного результата является иллюстрацией к теореме Гильберта 90. Приведен пример конкретной формулы, обобщающей формулы Рамануджана для степени 5. Дано необходимое условие, которому удовлетворяют двухэтажные радикальные расширения базового поля, содержащиеся в нормальном замыкании чисто кубического расширения поля Е. Библиогр. 5 назв.

Ключевые слова: теория Куммера, формулы Рамануджана, радикальные расширения, Гауссовы периоды.

1. Введение. Настоящая заметка посвящена обсуждению с позиции теории Галуа тождеств из элементарной алгебры, родственных известным тождествам Рамануджана из работ [1, с. 39] и [2]:

2тг з/ 4тг з/ бтг 2соз— + у 2соз— + у 2соз— = \/ 5 — •

Факт 1. Расширение расширение <Р [л/Т] .

Из первого тождества вытекает такой

фсаЙ^, у/2сой^, фсой?-

содержит чисто кубическое

На естественный вопрос, каким образом \/7 полиномиально выражается через

соэ^, соэ^, соз^, нетрудно наити ответ:

2со^ 2со^ 2со^

Далее в предложении 1 мы показываем, каким образом существование чисто кубического подрасширения в аналогичной ситуации следует из соображений симметрии. Приведем небольшой список аналогичных формул для различных циклических кубических расширений поля <р. Указанный многочлен — это минимальный многочлен для фундаментальных единиц а, 6, с циклического кубического поля данного

* Работа второго автора выполнена при поддержке РФФИ (грант 13-01-00429).

и

дискриминанта О = р 2; таблицы для всех простых р < 1000 приведены в работе [3].

Через А и В обозначены суммы кубических корней из отношений +

3/Ь. _L з/с" I зfa. »TVi)TVc'

+

x3 — x2 — 4x — 1; D = 132; A= B = 0;

x — 2x — 5x — 1 ; D = 192; A= — \/l9, B = 0;

x3 — 15x2 — 49x — 1; D = 312; A= -^312, B VoT

x3 — 4x2 — 7x — 1; D = 372; A= -^37, B = 0;

x3 + 25x2 + 151x — 1; D= 432; A = — ^432, B= = —33 $

x3 - 39x2 — 42x — 1; D = 61

„2

2.

A =

B = 0;

- 20ж2 - 157ж - 1; D = 672; А =-v7^, В = 23 л/

x3 +49x2 + 119x - 1; D = 73

2

A = --

В = -у/тъ.

Бросается в глаза, что под кубическим корнем, дающим значение для А и для В, находится простой делитель р дискриминанта данного многочлена, а точнее, кондуктор соответствующего циклического кубического расширения. Можем ли мы дать априорное объяснение, почему в формуле поле С} содержится в нормальном замыкании поля С} у ?

Первая мысль, которая приходит в голову, — это соображения ветвления. А именно, 7 — это единственное простое число, которой ветвится в поле С} [ссе^т]. Нетрудно доказать, что лишь простые числа 3 и 7 ветвятся в поле разложения минимального

многочлена для , поэтому только они и могут ветвиться в чисто кубическом

подрасширении этого поля разложения. Таким образом, искомое чисто кубическое

расширение имеет вид Q

. Но нам не удалось доказать непосредственно, что

показатель k на самом деле равен нулю.

Следующая теорема — это основной наш результат.

Теорема 1. Пусть p = 1 (mod 3) — простое число и F С Q[ep] — кубическое подрас-ширение кругового поля. Предположим, что a € O*F — единица числового поля F, не являющаяся кубом в F. Через b и c обозначим единицы, сопряженные с а. Тогда

чисто кубическое подрасширение в поле Q

равно Q [tfp] ■

2. Как найти формулу Рамануджана с кубическим корнем в правой

части? Во всех заметках из списка литературы формулы Рамануджана выводятся

при помощи манипуляций с симметрическими функциями от корней. В этом разде-

ле мы приводим несложное объяснение возникновению кубического корня в правой

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

Предложение 1. Пусть p(t) = (t — a)(t — b)(t — c) G группой Галуа, причем abc = 1. Положим к =

— многочлен с циклической + \Гт,- Тогда либо к G О,

либо к3 € Q и Q[k] оказывается чисто кубическим подрасширением в Q

и

3

x

Доказательство. Обозначим через Ь поле разложения многочлена = р(У3). Орбита элемента у/а € Ь состоит из 9 точек: шк у/а, сокл/Ъ, шк у/с, где к = 0,1, 2 и иР1 + со+1 = 0. Под действием группы Галуа трехэлементное множество {сок у/а \ к = 0,1, 2}

либо переходит в себя, либо переходит в множество |сокл/Ъ \ к = 0,1, 21, либо переходит в множество {сок у/с \ к = 0,1, 2} .

Таким образом, для каждого <т (Е Са1(Ь/<Р) мы имеем а {у/а) = шк у/у/, а ( \/Ь) =

uj1 y/v и а (у/с) = сот y/w, где u,v,w — некоторая перестановка набора а,Ъ,с, а к, I, то = 0,1, 2. Более того, поскольку у/а ■ л/Ъ ■ у/с = 1, сумма к + I + то делится на три, что равносильно тому, что k — l = l — m = m — k (mod 3). В частности, порядок группы Галуа не превосходит 27.

Видим, что <7 ({/i)= а (\/|) = и а (</!) = Сле"

довательно, орбита элемента к содержится в трехэлементном множестве {к, шк, ш2к}. Последнее и означает, что к3 G Q. □

Замечание 1. Аналогичный факт можно сформулировать и для циклического 'расширения пятой степени. Пусть L/Q —расширения, группа Галуа которого является циклической порядка 5 с образующей а. Возьмем a € O*L и введем обозначения для элементов из орбиты:

a(a) = b; a(b) = c; a(c) = d; a(c) = e.

Тогда выражение

после возведения в пятую степень даст рациональное число. Например, если взять а = 2соз^у € <Р [соэ^у] иЪ = 2соз|у; то значение к равно 2\/ГГ.

3. Теорема Гильберта 90. В этом пункте мы объясняем возникновение чисто кубического расширения в условиях теоремы 1. Простое наблюдение

(1 + b + bc)

снимает завесу таинственности с формул Рамануджана. Элемент в = 1 + b + bc =

1 +<т(а) + <т(а)<т (а), в случае, когда не равен 0, обладает тем свойством, что = Ъ.

Поскольку abc = 1, по теореме Гильберта 90 всегда найдется элемент в G F такой, что = Ъ. Более того, он является единственным с точностью до умножения на рациональное число. Обозначим а = сг2(/3) и 7 = <т(/3). Тогда j = а и ^ = с. Произведение afî^ G Q определено однозначно с точностью до домножения на куб рационального числа. Очевидно, что у/а/37 лежит в поле Q у/а, л/Ъ, у/с . Ситуацию, в

которой а/37 ^ (Q*)3; будем считать основной. В этом случае Q [-у/ск^т] — это искомое чисто кубическое расширение. В терминах исходных элементов мы имеем выражения

111

я + - + -

в Y а

к

V - + \U + \ - = 08 + 7 + <*) Va y b Ve

Поскольку либо a + b + с 0, либо ^ + ^ + ^ 0, мы имеем явную реализацию чисто кубического расширения.

Разберем теперь, что нужно делать в том случае, когда ав7 G Q3. Переобозначим элементы, с которых мы стартуем, через u, v = a(u) и w = a(v), а построенные по ним при помощи теоремы Гильберта 90 три элемента обозначим не через а, в, Y, как было раньше, а через a, b и с. Таким образом, у нас имеются элементы м = -у = | и v = причем abc = 1. Благодаря тому, что abc = 1, мы можем продолжить процесс. Найдем а,/3,7 такие, что j = а; ^ = b ш ^ = с. В этом случае и = Щ = Так что произведение ав7 может оказаться кубом в том и только в том неинтересном случае, когда u G (F*)3. Таким образом, мы доказали предложение, описывающее чисто кубические подрасширения.

Предложение 2. Пусть ^о С К —числовое поле и —циклическое кубическое

расширение (в частности, Г С К). Для элемента Л € Г*, не лежащего в (Г*)3, мы рассматриваем поле Ь = ^о Л^А, > А4 = и, V = Тогда для

некоторых т € .То, а € Г, в = ст(а) и 7 — таких что € (г*)3

место ровно одна из возможностей:

а (в) таких, что ав7 G (F*)3, имеет

А = а и L = F0 3/7] D F0 [^Щ = F0 ;

Л = mf и L э F0 условии а + в + 7 = 0);

F

n + dï + îi-,

(последнее 'равенство при

А = тЩ и по-прежнему L D Fq [-у/ск/Зт] = io л/тХ + ^пщ + ^Jmv (последнее

m-pt и

равенство при условии Л + ^ + v = 0);

л_

m

G (F*)3 uL = F0[^\.

Доказательство. Первая возможность реализуется в случае, когда NmF/Fo (Л) G

(F*)3.

Вторая возможность реализуется в том случае, когда NmF/Fo (Л) = m3 G (^*)3,но ^ G (F*)3. Тогда Nnip/Fo = 1, по теореме Гильберта 90 находим элемент a G F* такой, что j = Поскольку ^ = ^ = то с необходимостью a/37 G (Fo)3-

Необходимое условие для реализации третьей возможности—^ G (F*)3. Тогда Л/хг/ G (f1*)3 П Fq = (Fq )3. Введем обозначение то = \JX\iv G -F0* и увидим, что ^ не должно быть кубом в F *. Покажем, что последнего условия достаточно. Применяем теорему Гильберта 90 к элементу —, получаем элемент а такой, что т = —■ Так как

г j г j mi j 1 b m

= ^ — это куб в F*, произведение abc G (F*)3 П Fq = (-Fo*)3 и элемент а удовлетворяет необходимому и достаточному условиям для реализации второй ситуации. Поэтому а = п^г для некоторого п G Fq и А = m| = что и требовалось.

Четвертая возможность наиболее неинтересная и комментариев не требует. □

и

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

Мы рассматриваем чисто кубические вещественные расширения К/Ко, где К =

K

Гб

С R. Ориентацией такого расширения мы называем выбор образующей а группы Галуа расширения K|w]/Ko|w], которая изоморфна циклической группе C3.

По теории Куммера после выбора конкретного первообразного кубического корня из единицы имеется каноническая биекция между чисто кубическими расширениями поля Ko и элементами группы Kg /(Kg)3.

Для циклического кубического расширения поля Fo/F мы изучаем связь между чисто кубическими расширениями поля F и чисто кубическими расширениями поля Fo. Имеются «неинтересные» чисто кубические расширения поля F*, которые отвечают по теории Куммера образу вложения F0*/(F0*)3 ^ F/F*.

Пусть F /Fo —вещественное циклическое расширение простой степени p, а — образующая группы Галуа. Эндоморфизмы абелевой группы F * мы будем записывать аддитивно. К примеру, при p = 3 теорема Гильберта 90 говорит нам, что Im(Id — а) = Ker(Id + а + а2 ). Отсюда следует, что

Im(Id — а) П Ker(Id — а) = Ker(Id — а) П Ker(Id + а + а2) С Кег(За) = {0},

где в последнем равенстве мы воспользовались отсутствием нетривиальных кубических корней из единицы в поле F С R.

Предложение 3. В введенных выше обозначениях:

• эндоморфизм Id — а индуцирует изоморфизм из (Id — а)к(F*) на (Id — а)к+1^*) при к ^ 1, а также изоморфизм факторгруппы на F */F* на образ (Id —

а)(^* ) = Ker [F* Fo

• элемент (Id — а)(х) попадает в (F*)p в том и только в том случае, когда х G F* ■ (F*)p;

• при k = 1,... ,p — 1 имеет место гомоморфизм (ld — a)k(F*) % Fq /{Fq)p такой, что ек о (Id — а)к(х) = NmF/Fo(х) для любого х G F*.

Доказательство. Первый пункт очевиден. Второй пункт следует из теоремы Гильберта 90. В самом деле, если элемент х G F * таков, что (Id — а)(х) = yp, то (Nm(y))p = 1, и в связи с отсутствием нетривиальных корней из единицы сам y лежит в Ker(Nm) = Im(Id — а). Пусть, скажем, у = -¿щ- Тогда ^ переходит в единицу под действием Id — а, значит = то (Е Fq, что и требовалось.

В третьем пункте ei~ мы строим, как композицию норменного отображения Nm : F*/F * ^ F0*/(F0*)p и изоморфизма, обратного к изоморфизму (Id — а)к : F*/F* ^ (Id — a)k(F*). □

Приведем описание основной конструкции для циклического расширения степени p.

Гомоморфизм вк описывает конструкцию, которая по каждому «интересному»

радикальному расширению F

VÔ

/F строит содержащееся в его нормальном замыкании над Fо радикальное подрасширение поля Fо. Неинтересными мы называем те расширения, для которых 6 € Fo* • (^*)р. Если Мш(6) не является р-й степенью,

то соответствующее подрасширение — это ^о ^ш(^) . Если же норма является р-й степенью, мы используем гомоморфизм в роли вторичного инварианта. Сначала поделим 6 на корень р-й степени из нормы: 6 = т6о, где т € и ¿о € Кег(Мт_р^0). Тогда если 6о оказался р-й степенью, то наше расширение «неинтересное». Иначе выберем максимальное к такое, что Зо €= (Ы — а)к(Р*) и тогда ^о теи{5о) —это искомое радикальное подрасширение базового поля.

Пример 1. Для р = 3 и к = 1, как уже упоминалось выше, гомоморфизм £1 явно может быть задан формулой

ei(a) = (1 + a + ab)(l + 6 + 6с)(1 + с+са) = у + - + - + 6 + 3 (а + Ъ + с+ - + 7 + -

b e a V a b e

где b = a(a), e = a(b) и предполагается, что abe = 1.

Приведенная формула работает не всегда, так как в правой части может оказаться ноль. Это происходит в точности тогда, когда минимальный многочлен для a оказывается шенксовым кубическим многочленом X3 — nX2 + (n — 3)X — 1, т.е. многочленом из простейшего параметрического семейства, задающего циклические кубические расширения. В этой ситуации обязательно работает видоизмененный вариант формулы

ei(a) = [(1 + a + ae)(1 + b + ba)(1 + e + eb)]-1 . Тот факт, что ei является гомоморфизмом, имеет следующее забавное приложение.

Факт 2. Если для циклического кубического расширения Q[a] имеет место соотношение

для некоторого целого т, свободного от кубов, то существует последовательность пк € такая, что

a \ k b) +

nfcV mk

Примеры таких последовательностей для а (Е [^г] приводятся в заметках [4, 5].

4. Объяснение двухэтажных формул Рамануджана. На данный момент мы посредством элементарной теории Галуа объяснили формулу

V Ь V а V а '

где Q[a]/Q — циклическое кубическое расширение и abc = 1. Что же мы можем сказать про правую часть формулы + -у/с? Пусть Q [-y/m] — вещественное чисто кубическое подрасширение, содержащееся в нормальном замыкании расширения

= ав7.

Q [-у^а] /Q. Напомним, что если а = j, b = у и с = то можно считать, что

Мы можем взять в качестве базового поля поле С^-^/то], а в качестве циклического

= n m

кубического расширения F = Fо[а]. Группу Галуа расширения F/Fо мы отождествляем с группой Галуа расширения <Р[а]/<Р и обозначаем образующую той же буквой а. Отношения §, § окажутся кубами в поле ^о, а именно:

а7 /32"

в

ва —

1

/-л/2

Переобозначая через а', мы добиваемся того, что а'/З'^у' = 1, где, как обычно, в' = а(а') и 7' = с(в'). Предложение 1 говорит нам, что в F найдется чисто кубическое подрасширение поля Fо, причем

Р У У V«' ^ V1 0

для некоторых элементов ср, ф = и(ср) и в = и{ф) поля таких, что ^ = а'; ^ = /3' и ^ = /3'. Сумма + + в лежит в = [у/т\ и произведение также лежит в этом поле. Так что в правой части мы получаем двухэтажный радикал.

Процесс можно проитерировать и доказать, что в том случае, когда не яв-

ляется кубом, поле

содержит башню

<Р [л/т] С <Р

к0 + к 1 у/т + к2 1

С [л/Ц ,

где € Ж и к €

ко + к\у/т + то2

. Примеры конкретных формул

с трехэтажными радикалами приводятся в [4] (см. также тождество для косинусов Р1/19 с кубическими корнями, http://ru-math.livejournal.com/797774.html). Естественный вопрос, который возникает при взгляде на эту башню, —какого сорта подкоренные выражения могут встречаться в двухэтажном радикале? Рассмотрим следующий численный пример. Пусть а = — корень многочлена X3 + X2 — 2Х — 1. Тогда

а, в, 7 — это корни многочлена Т3 — 7Т — 7, что легко проверить, манипулируя с симметрическими и кососимметрическими функциями от корней: а + Ь + с и аЬ + Ьс + са — это два значения, отвечающие различным выборам знаков выражения

(а + в + 7)(ав + в7 + 7а) — 3ав7 ± (а — в)(в — 7)(7 — а) —21 ± 7

2ав7

14

где мы использовали тот факт, что дискриминант многочлена Т3 — 7Т — 7 равен —4 • (—7)3 — 27 • 72 = 72. Найдем теперь минимальный многочлен для у,ф и в. Прежде всего эта тройка определена с точностью до домножения на элемент из <Р [-^/т], поэтому мы можем отнормировать их так, чтобы уф + фв + ву = уфв. Тогда коэффициенты искомого минимального многочлена мы можем вычислить, исходя из

У+-Ф + 9 Уффе '

Произведение ав7 находим, возводя в куб первое равенство: левая часть будет равна

соотношений А

з/£ з/т

/3 "Т" V 7 "Т" V а

'£ | з/2 I з/«

« ^ V I3 V 7

а + Ь + с — 3 + 3

/3 + 7 а/3

-в1 + 7а

+ 3 = —4 + 3(3 —

5 -:

3

3

3

Ь

с

а

2

а

Из второго равенства выводим

(ср + 'ф + ef = l l l_3 3f а + !3 + 7 а!3 + 13 7 + 7«

Гфд abc ^ ^/а2/3272 J '

что получается равным -5 + 3(3 - s/7) = 4 - 3v/7.

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

X3 - (3 - + (5 - Ъу/7)Х - (5 - 3^7).

Отметим, что мы попутно напомнили вывод формул ^6+ ^ = 5- ^7

и -щ + + = 4 — у/7 для а = 2cos^, с первой из которых начинается наша заметка.

Нехитрое наблюдение состоит в том, что Nm^ 3/^^(5 — 3\/7) = —64 = (—4)3.

При этом (5 - 3v/7)(4 - Зу/7) = (3 - v/7)3. Это наблюдение будет сформулировано в общем виде в предложении 4.

Последнее может быть интерпретировано в терминах группы классов идеалов поля Q [у/7] • А именно, элемент 3 — у/7 с нормой 20 раскладывается в произведение двух дивизоров (5, 3 — \/7) и (4, 3 — у/7), нормы которых равны 5 и 4 соответственно. Легко видеть, что оба дивизора не главные, поскольку ни 5, ни 4 не являются нормами элементов из кольца целых поля Q [v7^]- Это следует из того, что уравнение x3 + 7y3 + 49z3 — 21xyz = 5 не имеет решений в целых числах, как видно из рассмотрения остатков от деления на 7. После возведения этих дивизоров в куб мы получаем главные дивизоры:

(5,3- (4-3^7); (4,3-^7)3= (5-3^7).

В первом случае и левая, и правая части равенства — это единственный делитель дивизора (3 — у/7) с нормой 125, а во втором случае слева и справа стоит единственный делитель того же дивизора с нормой 64. Таким образом, формулы Рамануджана приводят к явной конструкции элемента порядка три в группе классов идеалов поля

Предложение 4. Пусть Q[a, b, c]/Q — циклическое кубическое 'расширение с образующей а, причем Ъ = а (а) и с = а (Ь). Предположим, что отношение | не является

кубом в поле Q[a, b, с] и Q [у/т] — чисто кубическое подрасширение в Q у/а, у/Ъ, у/с .

Тогда выражения £ = у/а + yfb + у[с и г/ = у/аг1 + у/Ъ+ у/с-1 таковы, что

• £Î7,£3,Î73 GQ[^];

• е (Q*)3 и Nm^^^W G (Q*)3.

Доказательство. Пусть L —нормальное замыкание поля Q [у/а]. Обозначения элементов а, в, Y, У, в, m = ав7 поля L сохраняются в том виде, как были введены в начале параграфа.

Как уже было отмечено, £ = у/<рфв + ^ + ^ . Аналогичным образом выводится равенство r¡ = '^/j'^l ■ Поэтому £3 и г/3 лежат в поле F и устойчивы по отношению к действию образующей группы Галуа a G Gal (F/Fq).

Произведение П = равно 3 + + ,+/37+7°, то есть лежит в поле

^о = [у/гп\ и по построению П нетривиально раскладывается на множители в поле Ь. Простое наблюдение, которое мы, однако, не смогли обнаружить в литературе, состоит в том, что П3 раскладывается на множители уже в самом поле , а именно,

+ ^ + (срф + фв + вер)3

рфв ф2 ф2в2

причем оба множителя не являются кубами в поле Fo.

Докажем теперь, что нормы элементов £3 и п3 являются кубами рациональных чисел. Для этого надо переставить операции возведения в куб и вычисления нормы. Но поскольку r¡ (/ Q [\/т], требуется некоторый комментарий. Орбита элемента у/а имеет длину девять. Так как ^ не является кубом в F, имеем л/Ъ (jL F [у/а] и потому

имеется автоморфизм г (Е Gal (L[w]/f[w]) такой, что т (у/а) = (у/а), а г Гъ = ш Гъ) . Из того, что = 1, сразу же следует, что т(у/с) = ш2 (у/с). Таким

образом, орбита элемента у/а,+ \/b+ у/с под действием подгруппы (г) состоит из него и еще двух точек: у/а + соу/Ъ + ш2 у/с и у/а + ш2 yfb + uiy/c. Заметим, что

л/Ъ+Щ (^, + шл/Ъ + ш2^ + + =а + Ъ + с- 3.

3/Г г.

Применим к обеим частям равенства = автоморфизм т. При этом левая часть домножится на ш, так что т = Но т(/3) = ¡3, поскольку rk[a,b,c] = Id. Поэтому т(у/т) = ш2 ^/т и порождает группу Галуа расширения Q [у/т, ш] /Q[w].

Посмотрим теперь на обе части равенства

ср + •!/. + в

Правая часть лежит в Q [-/т] и мы желаем показать, что норма правой части будет кубом. Норма числителя левой части равна кубу рационального числа Nm(£3) = £3т (£3) т2 (£3) = (£)т2 (£)) = (а + b + c — 3)3 и норма знаменателя левой части тоже, разумеется, равна кубу рационального числа. Предложение доказано. □

5. Арифметические соображения. Этот раздел содержит доказательство теоремы 1. Прежде всего отметим, что единицы вещественного кубического поля с нормой 1 образуют решетку ранга 2. С точностью до сопряжения в GL2(Z) имеется ровно

одна обратимая матрица A € GL2 (Z) такая, что A3 = E, а именно A = .. ,

Поэтому в циклическом кубическом поле существует единица а такая, что а и b = а(а) порождают всю группу единиц единичной нормы. Если обозначить c = <r(b), то набор из трех сопряженных образующих а, b, c группы единиц единичной нормы определен однозначно с точностью до перестановки и замены набора на обратный a-1,b-1,c-1. Минимальные многочлены для таких фундаментальных наборов в кубических подполях круговых полей Q[ep] для нескольких простых значений p = 1 (mod 3) приведены во введении.

Итак, пусть а —единица кубического поля F С Q[ep] такая, что f G (F*)3. Мы хотим показать, что

ч[а з Ь ,,[с з b [с чГа

\ Т + \ ~ + \ ~ = пл/Р и \ ~ + \ т + \ ~ = mVP у b у а у а у а у b у c

для некоторых m, n G Z и подходящего выбора образующей a G Gal(F/Q) (при замене а на а-1 правые части поменяются ролями).

Тогда, следуя описанию, данному нами в разделе 3, мы заключаем, что правая часть является целым алгебраическим числом и имеет вид г у/aß7 для некоторых г G Q и a, ß = а (а), 7 = cr(ß) таких, что ^ = а. Домножая на общий целый рациональный множитель, мы можем считать, что а, ß, 7 — целые алгебраические. Разложим а в произведение простых дивизоров поля F. Так как F/Q — расширение Галуа простой степени, простое число q G Z либо остается простым в кольце Op, либо полностью распадается q = Q1.Q2Q3, либо в единственном случае, когда q = p, ветвится p = P3.

Можно считать, что у а нет инертных простых делителей (они обязаны быть общими делителями для a,ß и 7, так что на них можно сократить). Далее, если скажем, Q\ делит а, то <r(Qi) = Q2 делит ß. Поскольку ^ — целое алгебраическое, Q2 обязан делить и а тоже. Аналогично рассуждая, получаем, что все три простых дивизора Qi делят и а, и ß, и 7. Значит q = Q1Q2Q3 — это их общий делитель, на который можно сократить. Таким образом, дивизор элемента а равен Pk, и, вычисляя норму, заключаем, что дивизор целого рационального числа «ß7 равен pk, что и требовалось доказать.

Заметка написана по мотивам дипломной работы первого автора, защищенной в 2012 году. Авторы глубоко благодарны Б. Б. Лурье за искренний интерес к задаче и поддержку.

Литература

1. Berndt B. C. Ramanujan's Notebooks. Part IV. New York: Springer-Verlag, 1994.

2. Шевелев В. С. Три формулы Рамануджана. Квант, 1988, №6. C. 52—55.

3. Cohn H., Gorn S. A computation of cyclic cubic units // Journal of Research of the National Bureau of Standards. 1957. Vol.59, N3. P. 155—168. (Доступно онлайн по адресу:

http://nistdigitalarchives.contentdm.oclc.org/cdm/compoundobject/collection/p13011coll6/id/89262/rec/32)

4. Witula R., Slota D. New Ramanujan-Type Formulas and Quasi-Fibonacci Numbers of Order 7 // Journal of Integer Sequences. 2007. Vol. 10, N 5, Article 07.5.6.

(http: //www.cs.uwaterloo.ca/journals/JIS/vol10.html)

5. Witula R. Ramanujan Type Trigonometric Formulas: The General Form for the Argument ^ // Journal of Integer Sequences. 2009. Vol. 12, N3, Article 09.8.5.

(http://www.cs.uwaterloo.ca/journals/JIS/VOL12/Witula/witula17.pdf)

Статья поступила в редакцию 26 марта 2015 г.

Сведения об авторах

Пименов Константин Игоревич — кандидат физико-математических наук; kip302002@yahoo.com; k.pimenov@spbu.ru

Крепкий Илья Александрович — аспирант; feb418@gmail.com

CUBIC RAMANUJAN FORMULAE AND ELEMENTARY GALOIS THEORY

Konstantin I. Pimenov, Ilya A. Krepkiy

St.Petersburg State University, Universitetskaya nab., 7-9, St.Petersburg, 199034, Russian Federation; kip302002@yahoo.com; k.pimenov@spbu.ru; feb418@gmail.com

Explanation for cubic root Ramanujan formulae is given from Galois theory perspective. Let F be a cyclic cubic extension over a base field K. It is proved that normal closure with respect to K of pure cubic extension of the field F contains certain pure cubic extension of the base field. Given proof can be generalized to the case where the radicals are of any prime degree. An explicit construction of the simple radical extension in question over a field of rational numbers is given for the field F being embedded in the cyclotomic prime field. The proof of the main result illustraes Hilbert 90 theorem. Example of Ramanujan formulae analogue for degree 5 is given. The necceccary condition for nested radical expression of depth two to belong the normal closure of the normal closure of pure cubic extension of the field F is given. Refs 5.

Keywords: Kummer theory, Ramanujan formulae, radical extension, Gaussian periods. References

1. Berndt B.C., Ramanujan's Notebooks, Part IV (Springer-Verlag, New York, 1994).

2. Shevelev V. S., Three Ramanujan's formulae, Issue 6 (Kvant, 1988, 52—55) [in Russian].

3. Cohn H., Gorn S., "A computation of cyclic cubic units", Journal of Research of the National Bureau of Standards 59(3), 155-168 (1957).

4. Witula R., Slota D., "New Ramanujan-Type Formulas and Quasi-Fibonacci Numbers of Order 7', Journal of Integer Sequences, 10(5), Article 07.5.6 (2007).

5. Witula R., "Ramanujan Type Trigonometric Formulas: The General Form for the Argument 2zi", Journal of Integer Sequences, 12(8), Article 09.8.5 (2009).