CC BY
1
УЧЕНЫЕ ЗАПИСКИ КАЗАНСКОГО УНИВЕРСИТЕТА. СЕРИЯ ФИЗИКО-МАТЕМАТИЧЕСКИЕ НАУКИ
2024, Т. 166, кн. 2 С. 147-161
ISSN 2541-7746 (Print) ISSN 2500-2198 (Online)
ОРИГИНАЛЬНАЯ СТАТЬЯ
УДК 511.61
doi: 10.26907/2541-7746.2024.2.147-161
ДИОФАНТОВО УРАВНЕНИЕ, ПОРОЖДЕННОЕ ПОДПОЛЕМ КРУГОВОГО ПОЛЯ
И.Г. Галяутдинов, Е.Е. Лаврентьева
i
1 Казанский (Приволжский) федеральный университет, г. Казань, 420008, Россия
Построены две формы /(х,у,г) и д(х,у,г) третьей степени, значения которых являются нормами чисел подполей степени три круговых полей К13 и К19 соответственно. С использованием закона разложения в круговом поле решены диофантовы уравнения /(х,у,г) = а и д(х,у,г) = Ь, а,Ь £ Ъ, а = 0, Ь = 0. Доказаны утверждения, позволяющие по каноническому разложению на простые множители чисел а и Ь определить, имеют ли решения собственно уравнения /(х,у,г) = а, д(х,у,г) = Ь.
Ключевые слова: целое алгебраическое число, группа Галуа, норма алгебраического числа, главный идеал, фундаментальный базис, закон разложения в круговом поле, диофантово уравнение
Нахождение решений диофантовых уравнений является одной из востребованных задач математики, в частности, теории чисел [1]. С помощью диофантовых уравнений могут быть описаны различные научные процессы. Диофантовы уравнения встречаются не только в математике, но и в молекулярной физике, органической химии, компьютерных алгоритмах, экономике, теории вероятностей и др. Исходя из этого, вопрос нахождения решений диофантовых уравнений актуален с древних времен и остается таковым на сегодняшний день. Часто рассматриваются диофантовы уравнения первой степени, или линейные. При этом особый интерес вызывают различные способы, в том числе частные, нахождения решений таких уравнений. Так, один их них над евклидовым кольцом рассмотрен в [2]. Поиску решения некоторого класса диофантовых уравнений, основанному на глобальном обобщении цепной дроби, посвящена работа [3].
В настоящей статье мы рассмотрим поиск решений диофантовых уравнений, использовав закон разложения в круговых полях.
Ранее мы рассмотрели решение диофантовых уравнений, использовав однозначность разложения на множители в круговых полях К7 и К9. В настоящей работе мы продолжили начатое исследование [4], работая с круговыми полями К13 и К19 . Отметим, что этой статьей завершается применение метода решения диофантовых уравнений с использованием круговых полей 3-й степени.
Аннотация
Введение
В [5, гл. 2] З.И. Боревич и И.Р. Шафаревич изучили диофантовы уравнения, представимые в виде
/ (х) = N (7) = а, (1)
где / - форма от переменных х = (х1,..., хд), 7 = «1x1 + ... + адх - число из алгебраического поля Р степени к. В случае, когда /(х) - полная форма [5, с. 99], ими доказано, что за конечное число действий можно описать множество решений уравнения (1).
В [4] уравнение (1) изучено в случае, когда в качестве Р использовано подполе степени 3 круговых полей К7 или К9 . В данной работе в качестве Р взято подполе степени 3 круговых полей К13 или К19 .
Отметим, что в случае круговых полей с однозначным разложением на простые множители уравнение третьей степени порождается подполем только четырех круговых полей К7, К9, К13, К19 .
Действительно, имеются всего 29 круговых полей с однозначным разложением на простые множители [5, с. 485]. Из них кроме указанных четырех полей по одному подполю степени 3 имеют следующие поля: К21, К27, К28, К35, К36, К45, К84 . Во всех этих полях в качестве подполя содержится поле К7 или К9 . Поэтому эти поля порождают то же самое (с точностью до эквивалентности) уравнение третьей степени, что и поле К7 или К9.
т-г 2п . . 2п ^
Пусть п - положительное целое число и ип = соэ--\- г эш — . Многочлен Ф„ =
п п
= П (х — ) называют п-круговым многочленом, а расширение Кп = ((^п) -
(я,п) = 1
п-круговым полем. Кп - нормальное расширение поля (, его степень [Кп : (] = у>(п) и его группа Галуа С(Кп/() изоморфна мультипликативной группе иZn классов вычетов, взаимно простых с п [6, с. 213].
Используем определение нормы элемента [7, с. 174]:
NE/P (х) = СТ1(х)ст2 (х) .. .<7& (х),
а также равенство, которое следует из приведенного определения:
NE/P(ху) = NE/P(х) ^/р(у). (2)
Элемент NE/p (х) неподвижен относительно С(Е/Р), следовательно, содержится в Р .
Пусть Е - расширение Галуа конечной степени п поля К, ^ - расширение Галуа поля Е конечной степени т. Для каждого элемента х € Е справедливо равенство [7, с. 176]:
NF/K (х) = (х))т.
Комплексное число в называется целым алгебраическим числом, если оно является корнем некоторого многочлена хп + а1хп-1 + ... + ап, где а1, а2 ..., ап € Ъ.
Если Е - расширение Галуа конечной степени к поля (, то все целые алгебраические числа в, принадлежащие полю Е, образуют кольцо.
Воспользуемся определением фундаментального базиса в1 ,...,вд поля Е над ( [5, с. 287].
Пусть Е - расширение Галуа степени [Е : (] = к, С(Е/() = |а1,...,ад} и в1,..., вд - фундаментальный базис Е. Для произвольного целого числа 7 € Е
7 = х1 в1 + х2 в2 + ... + хпвп
вычислим его норму Же (7). Имеем
к
N(7) = ^1(7)ст2(7) • • ^к(7) = (х101 + • • • + Хк^к)).
г=1
Это равенство определяет некоторую форму /(х1,...,хк), коэффициенты которой - симметрические многочлены относительно ^. Значит, коэффициенты этой формы будут целыми рациональными числами. Если Же (7) = а € Ъ, то получится уравнение
Же (7 ) = / (х1,Х2,...,Хк ) = а. (3)
Равенство (3) означает, что решение уравнения /(х1, ..., Хк) = а равносильно нахождению множества целых чисел поля Е, норма которых в поле Е равна а. Равенство (2) означает, что функция нормы обладает свойством мультипликативности. Поэтому, если 7 € Е - решение уравнения (3) и е € Е - целое число со свойством Же(е) = 1, то число £ = е7 также решение уравнения (3).
Целые числа е € Е со свойством Же (е) = 1 содержатся во множестве целых чисел, для которых е-1 также целое число. Такие числа е называют единицами поля Е .
Целое число е € Е является единицей поля Е тогда и только тогда, когда Же(е) = ±1 [5, с. 106].
Единицы поля Е образуют группу по умножению. Структуру этой группы описывает теорема Дирихле о единицах [5, с. 131]. Согласно этой теореме в поле Е имеется конечное число единиц (их называют основными единицами поля Е), через которые единственным образом выражается каждая единица поля Е.
Два целых числа и ^2 поля Е называются ассоциированными, если их отношение ^1/^2 = е - единица поля Е.
Отношение ассоциированности, примененное лишь решением уравнения (3), обладает свойством эквивалентности. Это означает, что все решения уравнения (3) разбиваются на классы ассоциированных решений. Отсюда следует, что все решения из одного класса получаются из одного решения умножением на единицы с нормой 1. Число таких классов решений конечно [5, с. 107].
Таким образом, задача о нахождении всех решений уравнения (3) разбивается на две следующие задачи:
1) найти основные единицы поля Е;
2) в поле Е найти числа ^1,..., ^ с нормой а так, чтобы они были попарно не ассоциированы и в то же время чтобы всякое ^ € Е с нормой а было ассоциировано с одним их них, т.е. имело вид ^ = ^е, где 0 < г < в и е -единица поля Е .
1. Круговое поле К13 и его подполя
Приняты обозначения
Ык = С°8Тз"+*81пТз~' и = Ы1> К13=<0>(и), ак=ик+и13-к (к = 1,3,5,7,9,11),
¿1 = «1 + «5, ¿3 = «з + «11, ¿7 = «7 + «9.
Группа Галуа С(К1з/(Ц>) изоморфна мультипликативной группе иЪ1з классов вычетов, взаимно простых с модулем 13. Автоморфизм, соответствующий классу в,
обозначим через т8. Он действует по формуле т8 (мк) = ивк, м13 = 1. Группа С(К1з/<д) циклическая и С(К13/() = (72).
Подгруппу порядка в обозначим через Ня, а поле, инвариантное относительно этой подгруппы, - через ^, где в и / связаны равенством в/ = у(13) = 12. В частности,
#2 = {т1,т12}, =<9(м1 + м12) = <0> ^соэ^^ , Я4 = {т1,т5,т8,т12},
= ((«1 + мб + «8 + М12) = ((«1 + «Б) = ((¿1). Из включений Н2 С Н4 С С(К13/() следует включение полей ( С ^3 С .
Найдем группу Галуа С(^3/(). Она изоморфна фактор-группе С(К13/()/Н4 [6, с. 210]. Автоморфизм, соответствующий смежному классу тгН4, обозначим через и выясним, как действует этот автоморфизм. Смежные классы группы С(К13/() по подгруппе Н4 имеют вид
Т1Н4 = {Т1,Т5,Т8,Т12}, Г3Н4 = {Т3,Т2,Т11,Т10}, Г7Н4 = {Т7,Т9,Т4,Т6}.
Из того, что ^3 инвариантно относительно Н4, следует, что для любого А € ^3 имеют место равенства: А = Т1(А) = тб(А) = Т8(А) = Т12(А). Действуя на эти равенства автоморфизмами Т3 и Т7 соответственно, найдем Т3(А) = Т2(А) = тц(А) = т10(А) и т7(А) = т9(А) = т4(А) = т6(А) . Эти равенства показывают, что все автоморфизмы из одного и того же смежного класса переводят всякий элемент А € ^3 в один и тот же элемент. Поэтому можно считать, что
О1(А) = Т1(А) = тБ(а) = Т8(А) = Т12(А), 03 (А) = Т3(А) = Т2(А) = ти(а) = тю(а),
О7(А) = 77 (А) = Т9(А) = Т4(А) = Тб(А) УА €
Таким образом, /() = {о1,о3,о7} .
Аналогичным образом можно построить группу автоморфизмов /() для любого подполя С К13 . В частности, С(^6/() = {т1,т3,т5,т7,т9,т11} .
Нужно иметь в виду, что выполняются равенства Т1(А) = 7^12 (А), Т3 (А) = тю(А) , ТБ(А)= Т8(А), 77(А) = Тб(А), Т9(А)= Т4(А), Тп(А) = Т2(А) УА €
Необходимо построить форму /(ж, у, г), каждое значение которой является нормой некоторого целого алгебраического числа из поля ^3 = ((«1 + мб + М8 + «12). Для этого следует найти какой-нибудь фундаментальный базис поля ^3.
Теорема 1. Числа ¿1 = а1 + а5, ¿3 = а3 + а11, ¿7 = а7 + а9 составляют фундаментальный базис поля ^3 = ((¿1) •
Доказательство. Построим многочлен у(ж) = (ж — ¿1)(ж — ¿3)(ж — ¿7). Так как ¿1 + ¿3 + ¿7 = —1, ¿1 ¿3+¿1^7 + = —4, = —1, то имеем у (ж) = ж3 + ж2 — 4ж + 1.
Так как у (ж) неприводим над полем (, то он - минимальный многочлен числа ¿1. Найдем дискриминант этого многочлена и поля ^3 = ((¿1). Имеем ^(у) = .0(^3) = 169 = 132. Равенство дискриминантов минимального многочлена числа ¿1 € ^3 и поля ^3 = ((¿1), в силу теоремы 7.1.7 работы [8, с. 146], означает, что числа (1, ¿1, ¿2) составляют фундаментальный базис поля ^3 = ((¿1).
Из равенств ¿1 + ¿3 + ¿7 = —1 и ¿2 = —441 — 343 — 247 получим
(М1,*1) = (*1,*3,*7)Т, Т =
Так как det Т = —1 и (1, ¿1, ¿1) - фундаментальный базис, то (¿1, ¿3, ¿7) также фундаментальный базис поля ^3 = ((¿1). Теорема 1 доказана.
—1 1 —4
—1 0 —3
—1 0 —2
2. Диофантово уравнение, порожденное подполем ^3 С К13
Пусть 7 € ^з - целое число и 7 = х^ + ^¿з + ¿¿7. Так как (¿1,^3, ¿7) также фундаментальный базис поля ^3, то х, у, г - целые рациональные числа. Найдем норму N3 (7). Имеем
N(7) = 1-1(7)т3(7М7) = (х^1 + у^3 + ^(х^ + + ¿¿1)(х£7 + + ¿¿3).
Это равенство определяет норму /(х, у, г), коэффициенты которой - симметрические многочлены относительно ^ 1, ¿3, ¿7, и их можно вычислить. Найдем
/(х, у, г) = -(х3 + у3 + г3) - 3(х2у + у2г + ¿2х) + 10(х2г + у2х + ¿2у) - 19хуг. (4)
Таким образом, в случае Е = ^3 = <^(21) уравнение (3) примет вид
где f (x, y, z) - форма из равенства (4).
Решение уравнения (5) нужно начинать с описания множества единиц с нормой 1 поля F3. Базисные элементы являются корнями многочлена <£>(x) = x3 + x2 — 4x +1 и имеют норму Np3 (U) = —1 (i = 1, 3, 7).
По теореме Дирихле о единицах в поле F3 должны быть две основные единицы. В работе [8, с. 377] приведена таблица основных единиц тридцати вполне вещественных полей степени 3. Среди них имеется и поле F3 с дискриминантом D(f3) = 169. Согласно этой таблице основными единицами поля F3 являются числа ¿1 = 2 + 20 — в2 и ¿2 = — в, где в - корень многочлена ^i(x) = — у(— x) = x3 — x2 — 4x — 1. Если перейти к нашим обозначениям, то ¿2 = —в = ti = «i + «5 и ¿i = ¿3 = «3 + aii. Норма этих единиц равна ( — 1). При решении диофантовых уравнений нужны единицы с нормой +1 . Поэтому будем считать, что основными единицами поля F3 являются числа £i = —ti, £2 = — ¿3.
Далее, нужно найти полный набор неассоциированных решений уравнения (5) в зависимости от правой части a.
Сначала предположим, что a = p - простое число. В этом случае наличие решения уравнения (5) зависит от порядка числа p по модулю 13. Порядок s числа p по модулю 13 является делителем <£>(13) = 12. Значит, порядок s числа p по модулю 13 равен одному из чисел 1, 2, 3, 4, 6, 12. Рассмотрим все эти случаи.
Случай 1. Порядок простого числа p по модулю 13 равен 1, т. е. p = 1 (mod 13) и p имеет вид p = 13k + 1.
Ki3 - круговое поле с однозначным разложением на множители, и все идеалы его кольца целых чисел главные. Поэтому согласно закону разложения в круговом поле [5, с. 358] или [1, с. 241] имеем (p) = (yi)(Y2)... (7i2), где Yi - попарно неассоциированные элементы поля Ki3 и норма Nk13 ((Yi)) = p (1 ^ i ^ 12). Но норма главного идеала с точностью до знака равна норме порождающего элемента [1, с. 250]. Поэтому для любого Yi = Y имеем
Положим А1 = 71(7)75(7)73(7)712(7), А3 = 73(7)72(7)711(7)710(7), А7 = 77(7)79(7)т4(7)тб(7). Можно убедиться, что автоморфизмы подгруппы Н4 = {т1, Т5, Т8, Т12} оставляют числа А1, А3, А7 на месте. Значит, А^ € ^3 = ^>(£1),
г = 1, з, 7.
nf3 (y ) = f (x,y,z) = a
(5)
Nk13((y)) = INk13(y)I = |Ti(Y)t2(y) •••Ti2(Y)l = p-
(6)
Так как G(i3/Q) = {<71,03, <7} и <i(Ai) = ti(y)t5(y)ts(y)ti2(y) = Ai, <3(Ai) = T3(y)t2(y)tii(y)rio(Y) = A3, 07(Ai) = T7(y)tq(y)t4(y)re(Y) = A7, то равенство (6) примет вид
NK13 ((y )) = INK13 (y )| = |Ai A3A7I = |ai(Ai b(Aib(Ai )| = |Nf (Ai)| = p.
Аналогично получим равенства |Nf3 (A3) | = p и |Nf3 (A7) | = p. При этом из того, что Yi (1 < i < 12) попарно не ассоциированы, следует, что Ai,A3,A7 также попарно не ассоциированы. Таким образом, доказана
Теорема 2. Пусть f (x, y, z) - форма из 'равенства (4) и p = 13k +1 - простое число. Тогда уравнение NF3 (y) = f (x, y, z) = p имеет решение A € F3 . Полный набор его неассоциированных решений состоит из чисел ai(A), a3(A), a7(A).
Случай 2. Порядок простого числа p по модулю 13 равен 2, т. е. p2 = 1 (mod 13). Это означает, что p имеет вид p = 13k + 12. По закону разложения в круговом поле имеем (p) = AiA2A3A4A5A6 и NKl3(Ai) = p2, 1 < i < 6.
Попарно различные простые идеалы Ai € K13, согласно следствию 2 работы [9, с. 72], являются идеалами кольца целых чисел подполя степени —(95(13)) = 6,
т.е. поля F6. Из того, что K13 - поле с однозначным разложением на множители, следует, что эти идеалы Ai являются главными. Значит, имеются такие попарно неассоциированные целые числа Yi, Y2, Y3, Y4, Y5, Y6 поля F6, что (p) =
(Yi)(Y2)(Y3)(Y4)(Y5)(Y6) и NKi3((Yi)) = P2, 1 < i < 6.
Из предложения 14.1.3 [1, с. 250] следует, что норма главного идеала с точностью до знака совпадает с нормой порождающего элемента. Поэтому, если (y) - любой идеал из разложения (p), то NKl3 ((y)) = |NKl3 (y)| = p2 . Но y € F6. Поэтому согласно предложению [7, с. 176] имеем |NKl3(y)| = (Np6(y))2 = p2 или
|NF (Y)| = |t1(Y)t3(Y)t5 (Y)t7 (Y)t9 (Y)t11(Y)| = p. (7)
Введем обозначения ¿1 = Ti(y)t5(y), ¿3 = T3(y)tii(y), ¿7 = T7(y)tq(y) и вычислим Nf3 (¿1). Так как
= TI(Y )T5(Y ) = ¿1, ffз(¿l) = T3(Y )TII(Y ) = ¿2, <^(¿1) = T7 (Y )TQ(Y ) = ¿7,
то равенство (7) примет вид |Np6 (y)| = |Np3 (¿i)| = p. Аналогично можно получить равенства |Nf3(¿3)| = p и |Np3(¿7)| = p. Из того, что множители p из разложения (7) попарно не ассоциированы, следует, что числа < i , < 3, < 7 также попарно не ассоциированы. Таким образом, доказана
Теорема 3. Пусть f (x, y, z) - форма из равенства (4) и p = 13k+12 - простое число. Тогда уравнение NF3 (y) = f (x, y, z) = p имеет решение ¿ € F3 и числа <1 (¿),<3(¿),<7(¿) составляют полный набор его неассоциированных решений.
Случай 3. Порядок простого числа p по модулю 13 равен 4, т. е. p4 = 1 (mod 13).
Этому условию удовлетворяют простые числа видов p = 13k + 5 и p = 13k + 8. По закону разложения в круговом поле [5, с. 358] или [1, с. 241] имеем (p) = Ai A2 A3, где Aj - попарно различные простые идеалы и Nk13 (Ai) = p4, i = 1, 2,3. По следствию 2 работы [9, с. 72] Ai, A2, A3 являются идеалами кольца целых чисел
поля степени —(95(13)) = 3, т.е. поля f3 = Q(ti). Из того, что Кi3 - поле с однозначным разложением, следует, что эти идеалы Ai являются главными. Это означает, что имеются такие попарно неассоциированные целые числа Ai,A2, A3 € F3, что (p) = (A1XA2XA3) и NK13 ((Ai))= p4, i = 1, 2, 3.
Но норма главного идеала с точностью до знака совпадает с нормой порождаемого элемента [1, с. 250], поэтому, если (А) - любой из идеалов (Ai), (А2), (А3), то NKl3((A)) = |NKl3(А)| = p4. Так как А е F3, то согласно предложению [7, с. 176] имеем |Nki3(А)| = (NFs(А))4 = p4. Отсюда |Nf(А)| = |а1(А)а3(А)а7(А)| = p. Так как А - любое из попарно неассоциированных чисел А1, А2, А3, то доказана
Теорема 4. Пусть f(x, y,z) - форма из 'равенства (4) и p = 13k + 5 или p = 13k + 8 - простое число. Тогда уравнение Np3 (7) = f (x,y, z) = p имеет решение 6 е F3 и числа 61 = a1 (J), ¿2 = "з(6), 63 = 07(6) составляют полный набор его неассоциированных решений.
Случай 4. Порядок простого числа p по модулю 13 равен 3, т.е. p3 = 1 (mod 13). Такие числа имеют вид p = 13k + 3 или p = 13k + 9. Можно установить, что простые числа порядка 3 разлагаются на 4 простых множителя в подполе F4 степени 4. Но F4 П F3 = Q. Это означает, что простые числа видов p = 13k + 3 или p = 13k + 9 в поле F3 = Q(t) остаются простыми и уравнение F3(y) = f (x, y, z) = p не имеет решения.
Случай 5. Простое число p имеет порядок 6, т. е. p6 = 1 (mod 13). Это означает, что p имеет вид p = 13k+4 или p = 13k +10. Повторив рассуждения для случая 4, убедимся, что и в случае 5 в поле F3 нет числа с нормой p.
Случай 6. Порядок простого числа p равен 12, т.е. p12 = 1 (mod 13). Такие числа имеют вид p = 13k + t, t = 2, 6, 7,11. По закону разложения такие числа остаются простыми в поле K13 и всех его подполях.
Объединив итоги случаев 4, 5, 6, убедимся, что имеет место
Теорема 5. Пусть f (x,y, z) - форма из равенства (4) и p - простое число вида p = 13k+1, t = 2, 3, 4, 6, 7, 9, 10, 11. Тогда уравнение NKl3 (7) = f (x, y, z) = p не имеет решения.
Теорема 6. Пусть f (x, y, z) - форма из равенства (4), p - простое число вида p = 13k + s (1 < s < 12), F3 = Q(t1) и H4 С G(K13/Q) - подгруппа автоморфизмов, относительно которой инвариантно поле F3 . Уравнение Np3 (7) = f (x, y, z) = p имеет решение тогда и только тогда, когда автоморфизм ts е Я4 = {Т1,Т5 ,Т8,Т12, }, т.е. s е {1, 5, 8,12} .
Доказательство. Если p = 13k + 1, то утверждение следует из теоремы 2, если p = 13k + 5 или p = 13k + 8 , то - из теоремы 4, если p = 13k + 12 , то - из теоремы 3. Если же p = 13k + t, t = 2, 3, 4, 6, 7, 9, 10, 11, то в силу теоремы 5 наше уравнение не имеет решения. Теорема 6 доказана.
Рассмотрим теперь случай, когда в правой части уравнения стоит простое число p =13 .В этом случае согласно предложению 13.2.7 работы [1, с. 242] имеется главный идеал (А) такой, что (13) = (А)12 и Nk13((А)) = 13. Отсюда по предложению 14.1.2 работы [1, с. 250] получим
NK13 ((А)) = |NK13 (А)| = |Т1 (А)Т2(А).. .Т12(А)| = 13.
Введем обозначения
(А) = Т1(А)Т5(А)Т8 (А)Т12 (А), ^(А) = 73(А)Тп (А)Т2 (А)ТЮ (А),
стт(А) = Т7 (А)т9 (А)т4 (А)тб(А).
Отсюда, повторив рассуждения, проведенные при изучении случая 1, найдем
|<М3*7| = Ь№Ь№Ь№)| = N3 (¿1)1 = 13.
Числа <71 (¿1), 03(^1), 07(¿1) порождают один и тот же идеал (¿1). Поэтому имеем (13) = (¿1)3. Это означает, что доказана
Теорема 7. Пусть /(х, у, г) - форма из 'равенства (4). Тогда уравнение
Жез (7 )= / (х,у,г) = 13 (8)
имеет решение £ € ^3 и полный набор неассоциированных решений состоит из одного числа £.
Запишем формулу общего решения уравнения (8). Из равенства /(х, —1,0) = —х3 + 3х2 + 10х + 1 найдем /(1, —1, 0) = 13. Значит, £ = ¿1 — ¿3 - решение и Ж_р3(¿) = (¿1 — ¿3)(^3 — ¿7)(^7 — ¿1) = 13. Указанные три делителя числа 13 должны быть ассоциированы. Действительно, если ¿1 = ¿1 — ¿3, ¿2 = ¿3 — ¿7, ¿3 = ¿7 — ¿1, е1 = —¿1, е2 = —¿3, то ¿1 = ¿2е1, ¿2 = ¿3е2. Отсюда следует, что (¿1) = (¿2) = (¿3) и (13) = (¿1)3 . Общее решение уравнения (8) имеет вид 7к,; = (¿1 — ¿3)еке2, к, 1 € Ъ, е1 = —¿1, е2 = —¿3.
Перейдем к изучению общего случая, когда в правой части уравнения (5) стоит произвольное целое рациональное число а = 0.
Определение 1. Целое рациональное число а = 0 будем называть нормой, если уравнение N3 (7) = /(х, у, г) = а имеет решение.
Лемма 1. Если а1 и а2 являются нормами, то а1а2 - также норма.
Доказательство. Из условий следует, что имеются такие ¿1 € ^3, ¿2 € ^3, что Жр3 (¿1) = а1, Жр3 (¿2) = а2 . Тогда Жр3 (¿^2) = N3 (¿1)ЖЕз (¿2) = а1а2 . Это означает, что уравнение /(х, у, г) = а^ имеет решение 7 = ¿^2, которое находится как произведение решений уравнений /(х, у, г) = а1 и /(х, у, г) = а2 . Лемма 1 доказана.
Определение 2. Норму а назовем первичной, если она является нормой простого элемента поля ^3 .
Лемма 2. Первичными нормами являются: - все простые числа видов р = 13к + ¿, 2 = 1, 5, 8,12; - простое число 13; - числа р3, где р - инертное в ^3 простое число, т. е. р = 13к + ¿, t = 2, 3, 4, 6, 7, 9,10,11.
Доказательство. То, что простые числа вида р = 13к + ¿, t = 1, 5, 8,12, -первичные нормы, вытекает из теорем 2, 4, 3 соответственно. Из теоремы 7 следует, что простое число р = 13 также первичная норма. Пусть теперь р - инертное в ^3 простое число, т.е. р = 13к + ¿, t = 2, 3, 4, 6, 7, 9,10,11. Тогда в силу теоремы 5 число р нормой не является. Вычислим норму самого простого в ^3 числа р. Имеем N3 (р) = <1(р)<73 (р)<7(р) = р3.
Таким образом, р3 - первичная норма. Лемма 2 доказана.
Лемма 3. Пусть а - норма, а р - инертное в ^3 простое число. Тогда, если а делится на р, то а делится на р3 .
Доказательство. По условию леммы простое число р остается простым и в поле = <(¿1). Так как а - норма, то имеется такое целое число А € ^3, что
Жрз (А) = <1(А)<3 (А)<7 (А) = а. Так как а.р и р - простые числа, то, по крайней
мере, один из трех множителей ог(А) делится на р. Пусть 03 (А).р и 03 (А) = р^и,, ^ € ^3 - целое число. Применив к равенству 03(А) = р^ автоморфизм о—1 = 07, найдем А = ро7(^). Здесь о7(^) - целое число, поэтому А делится на р. Тогда получим Мр3 (А) = р301(^)03(^)07(^) = а, т. е. а делится на р3. Лемма 3 доказана.
Объединив леммы 1-3, получим следующее утверждение.
Теорема 8. Пусть ^3 = ((¿1), /(ж, у, г) - форма из 'равенства (4) и а = 0 -целое рациональное число• Диофантово уравнение Мр3 (7) = /(ж, у, г) = а имеет решение тогда и только тогда, когда степень инертного в ^3 простого числа, входящего в каноническое разложение числа а, делится на 3.
Приведем примеры уравнений вида Мр3 (7) = /(ж, у, г) = а, где /(ж, у, г) - форма из равенства (4). Требуется установить, имеет ли данное уравнение решение в поле ^3 = ((¿1). Если имеет, то нужно указать полный набор его неассоциирован-ных решений.
Примеры уравнений.
2.1. N3 (7) = /(ж, у, г) = 5.
2.2. Мрз (7) = /(ж, у, г) = 29.
2.3. N3 (7) = /(ж, у, г) = 53.
2.4. Жрз (7) = /(ж, у, г) = 200.
Решения.
Пример 2.1. В правой части этого уравнения простое число р = 5 = 13 • 0 + 5. Автоморфизм т5 € Н4 = {т1, т5, т8, т12}. Согласно теореме 6 данное уравнение имеет решение. Действительно, /(ж, 1, 0) = —ж3 — 3ж2 + 10ж — 1 и /(1,1, 0) = 5. Значит, 6 = ¿1 + ¿3 - решение этого уравнения и числа ¿1 = 01(6) = ¿1 + ¿3, ¿2 = 03(6) = ¿3+^7, 63 = 07(6) = ¿7+^1 составляют полный набор его неассоциированных решений.
Пример 2.2. В правой части уравнения простое число р = 29 = 13 • 2 + 3. Автоморфизм Т3 не входит в подгруппу Н4 = {т1, Т5, Т8, Т12} . По теореме 6 данное уравнение решения не имеет.
Пример 2.3. В правой части уравнения простое число р = 53 = 13 • 4+1. Автоморфизм Т1 € Н4 = {т1, Т5, Т8, Т12}, и уравнение имеет решение. Действительно, /(ж, —2,0) = —ж3 + 6ж2 +40ж + 8 и /(1, —2,0) = 53, т. е. А = ¿1 — 2*3 - решение, а числа А1 = 01 (А) = ¿1 — 2*3, А2 = 02 (А) = ¿3 — 2*7, А3 = 07 (А) = ¿7 — 2*1 составляют полный набор его неассоциированных решений.
Пример 2.4. В правой части уравнения составное число а = 200 = 23 • 52. В его разложение входит инертное в поле ^3 простое число р = 2, и его степень делится на 3. По теореме 8 данное уравнение имеет решение.
Число а = 23 • 5 • 5 представляется в виде произведения трех первичных норм 23 , 5 и 5 . Полный набор неассоциированных решений нашего уравнения находится как произведение полных наборов соответствующих уравнений. В примере 2.1 показано, что полный набор неассоциированных решений уравнения /(ж, у, г) = 5 состоит из чисел 61 = ¿1 + ¿3, 62 = ¿3 + ¿7, 63 = ¿7 + ¿1, а все решения уравнения /(ж, у, г) = 23 ассоциированы с числом р = 2. Поэтому полный набор неассоциированных решений уравнения /(ж, у, г) = 200 состоит из следующих шести чисел: А1 = 262 = —8^ — 6*3 — 6*7, А2 = 26| = —6^ — 8*3 — 6*7, А3 = 262 = —6^ — 6*3 — 8*7, А4 = 26162 = 4^1 + 2*7, аб = 26163 = 2*3 + 4*7, Аб = 26263 = 2*1 + 4*3 .
3. Круговое поле K19 и его подполя
Приняты обозначения 2kn 2kn
Vk = cos —— + »sin ——, v = v\, К19=Щ1/), Pk = vk + vw-k {k - нечетно), 19 19
Si = в1 + в7 + в11, «3 = в3 + в5 + в17, «9 = в9 + в13 + в15.
Группа Галуа G(Ki9/Q) изоморфна мультипликативной группе UZ19 классов вычетов, взаимно простых с модулем 19. Автоморфизм, соответствующий классу s, обозначим через ts . Он действует по формуле Ts(vk) = vsk, v19 = 1. Группа UZ19 циклическая, и UZ19 = (2). Отсюда следует, что G(K 19/Q) = (12).
Подгруппу порядка s обозначим через Ms, а поле, инвариантное относительно этой подгруппы, - через Е, где s и l связаны равенством sl = <£>(19) = 18.
В частности, имеем M2 = (тв = {ti8,ti}, M3 = (T7) = {т7,тц,Ti}, Мб = (тв) = {T8,T7,Ti8,Tii,Ti2,Ti} .
Из включений М2 С Мб и М3 С Мб по теории Галуа следуют включения E3 С E9 и E3 С Еб.
Группа Галуа G(E3/Q) изоморфна фактор-группе G(K19/Q)/М6, смежные классы которой имеют вид
Ti М6 = {Ti,T7 ,T8,T11,T12,T18}, T3 М6 = {T3,T2 ,T5,T14 ,T17,T16}, T9M6 = {T9,T6,T15,T4,T13, T10}.
Повторив рассуждения, приведенные в п. 1 при изучении подполей поля K13, можно убедиться, что все автоморфизмы смежного класса TiМ6 (i = 1, 3, 9) любой элемент y € Е3 переводят в один и тот же элемент. Имея в виду этот факт, можно считать, что G(E3/Q) = {т1,т3,т6} .
Найдем теперь минимальный многочлен числа si = в1 + в7 + вп . Сопряженными к si являются числа
Ti(si) = si = в1 + в7 + в11, T3 (si) = в3 + в17 + в5 = s3,
T9(si) = в9 + в13 + в15 = s9.
Многочлен минимальной степени с рациональными коэффициентами с корнем si имеет вид ^(x) = (x — si)(x — s3)(x — s9). Так как si + s3 + s9 = —1, sis3 + sis9 + s3s9 = —6, sis3s9 = 7, то ^(x) = x3 + x2 — 6x — 7.
Многочлен -0(x) неприводим над полем Q рациональных чисел, и он - минимальный многочлен числа si = в1 + в7 + вн . Это означает, что si - алгебраическое число степени 3 . Можно убедиться, что все автоморфизмы подгруппы М6 оставляют на месте число s1 = в1 + в7 + вн = v1 + v7 + v8 + v11 + v12 + v18, поэтому si € E3 и si можно принять в качестве примитивного элемента поля Е3.
Таким образом, установлено, что поле, инвариантное относительно группы М6 = {Ti,T7, T8,T11,T12,T18}, - это Е3 = Q(si).
Теорема 9. Корни многочлена ^(x), т. е. числа s1, s3, s9, составляют фундаментальный базис поля Е3 = Q(s1).
Доказательство. Дискриминант D(^) многочлена ^(x) равен дискриминанту D(E3) поля Е3; D(^) = D(E3) = 361 = 192. Отсюда в силу теоремы 7.1.7 работы [8, с. 146] получим, что числа (1, si, si) составляют фундаментальный базис поля
в1, в2 = —4в1 — 5в3 — 4в9
Е3 = ((в1). Имеют место равенства 1 = —в1 — в3 — в9, в1 или в матричной форме (1, в1, в2) = (в1, в3, в9)Т, где
det Т = 1.
Значит, (в1,в3,в9) наряду с базисом (1,в1,в2) также является фундаментальным базисом поля Е3 = ((в1). Теорема 9 доказана.
—1 1 —4
Т= —1 0 —5
—1 0 —4
4. Диофантово уравнение, порожденное подполем Е3 С К19
Пусть 7 € Е3 - целое число и 7 = жв1 + ув3 + гв9 . Так как (в1, в3, в9) - фундаментальный базис поля Е3, то ж, у, г - целые рациональные числа. Вычислим норму NE3 (7) .Имеем Мез (7) = 71(7 )т3(7 )т9(7 ) = (жв1 + ув3 + гв9)(жв3 + ув9 + гв1)(жв9 + ув1 + гв3). Учитывая, что в1, в3, в9 - корни многочлена ^(ж) = ж3 + ж2 — 6ж — 7, найдем
#(ж, у, г) = 7(ж3 + у3 + г3) — 17(ж2у + у2г + г2ж) + 2(ж2г + у2ж + г2у) + 23жуг. (9) Таким образом, в случае Е = Е3 уравнение (3) примет вид
NEз (7)= 5(ж,у, г) = а, (10)
где ^(ж, у, г) - форма из равенства (9).
Для решения уравнения (10) нужны основные единицы поля Е3 с нормой +1 .
В работе [8, с. 377] приведена таблица основных единиц тридцати вполне вещественных полей степени 3 . Среди них имеется и поле Е3 с дискриминантом 361 . Примитивный элемент этого поля в таблице обозначен через в, и он является корнем многочлена ^(ж) = ж3 + ж2 — 6ж — 7. У нас корни этого многочлена обозначены через в1, в3, в9 . Поэтому имеем в = ¿1 .В таблице первая основная единица имеет вид е1 = 4+в—в2 . В наших обозначениях е = ¿1 +*3. Норма ЖЕз (е1) = —1. Поэтому нужно считать, что первая основная единица поля Е3 имеет вид е = —е1 = —¿1 —¿3.
Вторая основная единица по упомянутой таблице имеет вид е2 = 5 — в2 = — в1 — в9 . Норма Мез (е2) = 1. Поэтому вторая основная единица поля Е3 имеет вид е2 = е2 = —¿1 — ¿9 .
Основные единицы поля Е3 выбраны: е1 = —¿1 — ¿3, е2 = —¿1 — ¿9 . Далее нужно найти полный набор неассоциированных решений уравнения (10) в зависимости от правой части а. Это делается в точности по той же схеме, что и при решении уравнения (5) в поле С К13. Поэтому ограничимся тем, что сформулируем две итоговые теоремы и приведем примеры.
Теорема 10. Пусть ^(ж, у, г) - форма из равенства (9), р - простое число вида р = 19к + * (1 < * < 18), Е3 = ((в^ и Мб С С(Км/() - подгруппа автоморфизмов, относительно которой инвариантно поле Е3. Уравнение
NEз (7) = £(ж,у,г )= р (11)
имеет решение тогда и только тогда, когда автоморфизм 7 € М6 = {т1,т7,т8 , тц,Т12,Т18}, т.е. г = 1, 7, 8,11,12,18.
По этой теореме, если простое число р имеет вид
р = 19к + * = 2, 3,4, 5, 6, 9,10,13,14,15,16,17, (12)
то уравнение (11) не имеет решений. Это означает, что простые числа вида (12) остаются простыми и в поле Е3 = ((в1). Поэтому их называют инертными в поле Е3 .
Теорема 11. Пусть $(ж, у, г) - форма из равенства (9) и а = 0 - целое рациональное число. Уравнение МЕз (7) = $(ж, у, г) = а имеет решение тогда и только тогда, когда степень инертного в Е3 простого числа, входящего в разложение числа а , делится на 3 .
Приведем примеры уравнений вида МЕз (7) = $(ж, у, г) = а, где $(ж, у, г) - форма из равенства (9). Требуется установить, имеет ли данное уравнение решение в поле Е3 = ((в1) . Если имеет, то нужно указать полный набор его неассоциирован-ных решений.
Примеры уравнений.
4.1. Мез (7)= З(ж,у,г) = 7.
4.2. мез (7)= З(ж,у,г) = 37.
4.3. Мез (7) = $(ж, у, г) = 3.
4.4. МЕз (7) = з(ж,у,,г) = 999.
4.5. меЗ (7)= З(ж,у,г) = 49.
4.6. МЕз (7) = з(ж,у,,г) = 259.
Решения.
Пример 4.1. В правой части этого уравнения простое число 7 = 19 • 0 + 7 и автоморфизм т7 € М6 = {т1,т7,т8,т11, т12, т18}. Согласно теореме 10 данное уравнение имеет решение. Действительно, $(ж, 0, 0) = 7ж3 и $(1, 0,0) = 7. Значит, 6 = в1 -решение уравнения 4.1, а числа 61 = 71(6) = в1, 62 = 73(6) = в3, 63 = Т9 (6) = в9 -полный набор его неассоциированных решений. Умножив эти решения на любую степень основной единицы, можно получить другие решения, ассоциированные с ними. Например,
61е1 = в1(—в1 — в3) = 3в1 + 3в3 + в9, $(3, 3,1) = 7 или 62е1 = в3(—в1 — в3) = 3в1 + 2в3 + 2в9, $(3, 2, 2) = 7 и т. д.
Пример 4.2. МЕз (7) = $(ж, у, г) = 37. Из 37= 19 • 1 + 18 и т18 € М6 следует, что решение имеется. Действительно, /(ж, 2,0) = 7ж3 — 34ж2 + 8ж + 56 и /(1, 2,0) = 37. Решением является число А = в1 + 2в3, а числа А1 = Т1(А) = в1 + 2в3, А2 = Т3 (А) = в3 + 2в9, А3 = Т9(А) = в9 + 2в1 составляют полный набор неассоциированных решений.
Пример 4.3. МЕз (7) = $(ж, у, г) = 3.
Из теоремы 10 следует, что это уравнение не имеет решений.
Пример 4.4. МЕз (7) = $(ж,у, г) = 999.
В разложение числа а = 999 = 33 • 37 входит одно инертное в Е3 простое число р = 3 , и его степень делится на 3 . По теореме 11 это уравнение имеет решение, и полный набор его неассоциированных решений находится как произведение решений уравнений $(ж, у, г) = 33 и $(ж, у, г) = 37 .В примере 4.2 указано, что числа А1 = в1 + 2в3, А2 = в3 + 2в9, А3 = в9 + 2в1 составляют полный набор неассоциированных решений уравнения $(ж, у, г) = 37. Значит, числа 3А1 = 3в1 + 6в3, 3А2 = 3в3 + 6в9, 3А3 = 3в9 + 6в1 составляют полный набор неассоциированных решений уравнения $(ж, у, г) = 999.
Пример 4.5. МЕз (7) = $(ж, у, г) = 49.
В разложении числа а = 49 = 72 нет инертного в Е3 простого числа. По теореме 11 это уравнение имеет решение, и это решение находится как произведение двух решений уравнения 4.1, т. е. чисел 61 = в1, 62 = в3, 63 = в9. Поэтому полный
набор неассоциированных решений уравнения y, z) = 49 состоит из следующих шести чисел:
sl = —4si — 5s3 — 4sg, s| = —4si — 4s3 — 5sg, s2 = —5si — 4s3 — 4sg, «1«3 = Si + 2s3 + 3s9, SiSg = 2si + 3s3 + Sg, S3S9 = 3si + S3 + 2sg. Пример 4.6. Ne3 (7) = g(x, y, z) = 259.
В разложении числа a = 259 = 7 • 37 нет инертного в поле E3 простого числа. По теореме 11 это уравнение имеет решение, которое находится как произведение решений уравнения 4.1 и 4.2, т.е. чисел ¿1 = si, ¿2 = S3, ¿3 = sg и А1 = si + 2s3, А2 = s3 + 2sg, А3 = s9 + 2si. Отсюда следует, что полный набор неассоциированных решений уравнения 4.6 состоит из следующих девяти чисел:
¿i Ai = — 2si — s3 + 2sg, ¿2А2 = 2si — 2s3 — sg, ¿3А3 = —si + 2s3 — 2sg,
¿i A2 = 5si +8s3 + 5sg, ¿2А3 = 5si + 5s3 + 8sg, ¿3А1 = 8si + 5s3 + 5sg, ¿1А3 = —6si — 7s3 — 7sg, ¿2 А1 = — 7si — 6s3 — 7sg, ¿3А2 = — 7si — 7s3 — 6sg.
Заключение
Итак, мы получили полное описание случаев решения диофантовых уравнений с помощью однозначного разложения на множители в круговых полях, работая с уравнениями третьей степени.
Отметим, что в случае круговых полей с однозначным разложением на простые множители уравнение третьей степени порождается подполем только четырех круговых полей: K7, Kg, K13, K19 .
Таким образом, мы завершили исследование, начатое в статье [4], и подвели общий итог работы с диофантовыми уравнениями третьей степени, решая их с помощью однозначности разложения в круговых полях.
Конфликт интересов. Авторы заявляют об отсутствии конфликта интересов.
Список литературы
1. Айерлэнд К., Роузен М. Классическое введение в современную теорию чисел. М.: Мир, 1987. 416 с.
2. Пачев У.М., Кодзоков А.Х., Езаова А.Г., Токбаева А.А., Гучаева З.Х. Об одном способе решения линейных уравнений над евклидовым кольцом // Вестник КРАУНЦ. Физ.-мат. науки. 2024. Т. 46, № 1. C. 9-21. https://doi.org/10.26117/2079-6641-2024-46-1-9-21.
3. Брюно А.Д. От диофантовых приближений до диофантовых уравнений // Препринты ИПМ им. М.В. Келдыша. 2016. № 1. 20 с. https://doi.org/10.20948/prepr-2016-1.
4. Галяутдинов И.Г., Лаврентьева Е.Е. Диофантово уравнение, порожденное максимальным подполем кругового поля // Изв. вузов. Матем. 2020. № 7. С. 45-55.
5. Боревич З.И., Шафаревич И.Р. Теория чисел. М.: Наука, 1985. 504 с.
6. Кострикин А.И. Введение в алгебру. Часть III. М.: Физматлит, 2001. 272 с.
7. Бурбаки Н. Алгебра. Многочлены и поля. Упорядоченные группы. М.: Наука, 1965. 300 с.
8. Alaca S., Williams K.S. Introductory Algebraic Number Theory. New York, NY: Cambridge Univ. Press, 2004. 428 p.
9. Marcus D.A. Number Fields. 2nd ed. Ser.: Universitext. Cham: Springer, 2018. xviii, 203 p. https://doi.org/10.1007/978-3-319-90233-3.
Поступила в редакцию 10.05.2024 Принята к публикации 18.06.2024
Галяутдинов Ильдархан Галяутдинович, кандидат физико-математических наук
E-mail: gmarat_68@mail.ru Лаврентьева Елена Евгеньевна, кандидат педагогических наук, доцент кафедры информационных систем
Казанский (Приволжский) федеральный университет
ул. Кремлевская, д. 18, г. Казань, 420008, Россия E-mail: ialee-4@mail.ru
ISSN 2541-7746 (Print) ISSN 2500-2198 (Online) UCHENYE ZAPISKI KAZANSKOGO UNIVERSITETA. SERIYA FIZIKO-MATEMATICHESKIE NAUKI (Proceedings of Kazan University. Physics and Mathematics Series)
2024, vol. 166, no. 2, pp. 147-161
ORIGINAL ARTICLE
doi: 10.26907/2541-7746.2024.2.147-161
Diophantine Equation Generated by the Subfield of a Circular Field
I.G. Galyautdinov*, E.E. Lavrentyevaa**
aKazan Federal University, Ko,zo,n, 420008 Russia E-mail: *gmarat_68@mail.ru, **ialee-4@mail.ru
Received May 10, 2024; Accepted June 18, 2024 Abstract
Two forms f (x, y, z) and g(x, y, z) of degree 3 were constructed, with their values being the norms of numbers in the subfields of degree 3 of the circular fields K13 and K19 , respectively. Using the decomposition law in a circular field, Diophantine equations f(x,y,z) = a and g(x,y,z) = b, where a,b £ Z, a = 0, b = 0 were solved. The assertions that, based on the canonical decomposition of the numbers a h b into prime factors, make it possible to determine whether the equations f (x,y,z) = a and g(x,y,z) = b have solutions were proved.
Keywords: algebraic integer, Galois group, norm of algebraic number, principal ideal, fundamental basis, decomposition law in circular field, Diophantine equation Conflicts of Interest. The authors declare no conflicts of interest.
References
1. Ireland K., Rosen M. Klassicheskoe vvedenie v sovremennuyu teoriyu chisel [A Classical Introduction to Modern Number Theory]. Moscow, Mir, 1987. 416 p. (In Russian)
2. Pachev U.M., Kodzokov A.Kh., Ezaova A.G., Tokbaeva A.A., Guchaeva Z.Kh. On one way to solve linear equations over a Euclidean ring. Vestn. KRAUNTs. Fiz.-Mat. Nauki, 2024, vol. 46, no. 1, pp. 9-21. https://doi.org/10.26117/2079-6641-2024-46-1-9-21. (In Russian)
3. Buno A.D. From Diophantine approximations to Diophantine equations. Prepr. IPM im. M. V. Keldysha, 2016, no. 1. 20 p. https://doi.org/10.20948/prepr-2016-l. (In Russian)
4. Galyautdinov I.G., Lavrentyeva E.E. Diophantine equation generated by the maximal subfield of a circular field. Russ. Math., 2020, vol. 64, no. 7, pp. 38-47. https://doi.org/10.3103/S1066369X20070051.
5. Borevich Z.I., Shafarevich I.R. Teoriya chisel [Number Theory]. Moscow, Nauka, 1985. 504 p. (In Russian)
6. Kostrikin A.I. Vvedenie v algebru [Introduction to Algebra]. Pt. III. Moscow, Fizmatlit, 2001. 272 p. (In Russian)
7. Bourbaki N. Algebra. Mnogochleny i polya. Uporyadochennye gruppy [Algebra. Polynomials and Fields. Ordered Groups]. Moscow, Nauka, 1965. 300 p. (In Russian)
8. Alaca S., Williams K.S. Introductory Algebraic Number Theory. New York, NY, Cambridge Univ. Press, 2004. 428 p.
9. Marcus D.A. Number Fields. 2nd ed. Ser.: Universitext. Cham, Springer, 2018. xviii, 203 p. https://doi.org/10.1007/978-3-319-90233-3.
Для цитирования: Галяутдинов И.Г., Лаврентьева Е.Е. Диофантово уравнение, / порожденное подполем кругового поля // Учен. зап. Казан. ун-та. Сер. Физ.-матем. \ науки. 2024. Т. 166, кн. 2. С. 147-161.
URL: https//doi.org/10.26907/2541-7746.2024.2.147-161.
For citation: Galyautdinov I.G., Lavrentyeva E.E.Diophantine equation generated by / the subfield of a circular field. Uchenye Zapiski Kazanskogo Universiteta. Seriya Fiziko-\ Matematicheskie Nauki, 2024, vol. 166, no. 2, pp. 147-161.
URL: https//doi.org/10.26907/2541-7746.2024.2.147-161. (In Russian)
