Двоичная квадратичная форма - Binary quadratic form

Эта статья о бинарных квадратичных формах с целое число коэффициенты. Для бинарных квадратичных форм с другими коэффициентами см. квадратичная форма.

В математика, а двоичная квадратичная форма квадратичный однородный многочлен в двух переменных

${\displaystyle q(x,y)=ax^{2}+bxy+cy^{2},\,}$

куда а, б, c являются коэффициенты. Когда коэффициенты могут быть произвольными сложные числа, большинство результатов не относятся к случаю двух переменных, поэтому они описаны в квадратичная форма. Квадратичная форма с целое число коэффициентов называется интегральная двоичная квадратичная форма, часто сокращенно двоичная квадратичная форма.

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

Пьер Ферма заявил, что если p - нечетное простое число, то уравнение ${\displaystyle p=x^{2}+y^{2}}$ имеет решение, если и только если ${\displaystyle p\equiv 1{\pmod {4}}}$, и он сделал аналогичное заявление об уравнениях ${\displaystyle p=x^{2}+2y^{2}}$, ${\displaystyle p=x^{2}+3y^{2}}$, ${\displaystyle p=x^{2}-2y^{2}}$ и ${\displaystyle p=x^{2}-3y^{2}}$${\displaystyle x^{2}+y^{2},x^{2}+2y^{2},x^{2}-3y^{2}}$ и т. д. являются квадратичными формами, и теория квадратичных форм дает единый способ рассмотрения и доказательства этих теорем.

Другой пример квадратичных форм: Уравнение Пелла ${\displaystyle x^{2}-ny^{2}=1}$

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

Классическая тета-функция двух переменных: ${\displaystyle \sum _{(m,n)\in \mathbb {Z} ^{2}}q^{m^{2}+n^{2}}}$, если ${\displaystyle f(x,y)}$ положительно определенная квадратичная форма, то ${\displaystyle \sum _{(m,n)\in \mathbb {Z} ^{2}}q^{f(m,n)}}$ это тета-функция

Эквивалентность

Две формы ж и грамм называются эквивалент если существуют целые числа ${\displaystyle \alpha ,\beta ,\gamma ,{\text{ and }}\delta }$ такое, что выполняются следующие условия:

${\displaystyle {\begin{aligned}f(\alpha x+\beta y,\gamma x+\delta y)&=g(x,y),\\\alpha \delta -\beta \gamma &=1.\end{aligned}}}$

Например, с ${\displaystyle f=x^{2}+4xy+2y^{2}}$ и ${\displaystyle \alpha =-3}$, ${\displaystyle \beta =2}$, ${\displaystyle \gamma =1}$, и ${\displaystyle \delta =-1}$, мы находим, что ж эквивалентно ${\displaystyle g=(-3x+2y)^{2}+4(-3x+2y)(x-y)+2(x-y)^{2}}$, что упрощает ${\displaystyle -x^{2}+4xy-2y^{2}}$.

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

Лагранж использовал другое понятие эквивалентности, в котором второе условие заменено на ${\displaystyle \alpha \delta -\beta \gamma =\pm 1}$. Со времен Гаусса было признано, что это определение уступает приведенному выше. Если есть необходимость различать, иногда формы называют правильно эквивалентный используя определение выше и неправильно эквивалентный если они эквивалентны по Лагранжу.

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

${\displaystyle {\begin{pmatrix}\alpha &\beta \\\gamma &\delta \end{pmatrix}}}$

имеет целочисленные элементы и определитель 1, карта ${\displaystyle f(x,y)\mapsto f(\alpha x+\beta y,\gamma x+\delta y)}$ это (право) групповое действие из ${\displaystyle \mathrm {SL} _{2}(\mathbb {Z} )}$ на множестве двоичных квадратичных форм. Отношение эквивалентности выше возникает из общей теории групповых действий.

Если ${\displaystyle f=ax^{2}+bxy+cy^{2}}$, то важные инварианты включают

• В дискриминант ${\displaystyle \Delta =b^{2}-4ac}$.
• Содержание, равное наибольшему общему делителю а, б, и c.

Возникла терминология для классификации классов и их форм с точки зрения их инвариантов. Форма дискриминанта ${\displaystyle \Delta }$ является определенный если ${\displaystyle \Delta <0}$, выродиться если ${\displaystyle \Delta }$ идеальный квадрат, и неопределенный иначе. Форма есть примитивный если его содержимое равно 1, то есть если его коэффициенты взаимно просты. Если дискриминант формы основной дискриминант, то форма примитивна.^[1] Дискриминанты удовлетворяют ${\displaystyle \Delta \equiv 0,1{\pmod {4}}.}$

Автоморфизмы

Если ж - квадратичная форма, матрица

${\displaystyle {\begin{pmatrix}\alpha &\beta \\\gamma &\delta \end{pmatrix}}}$

в ${\displaystyle \mathrm {SL} _{2}(\mathbb {Z} )}$ является автоморфизм из ж если ${\displaystyle f(\alpha x+\beta y,\gamma x+\delta y)=f(x,y)}$. Например, матрица

${\displaystyle {\begin{pmatrix}3&-4\\-2&3\end{pmatrix}}}$

является автоморфизмом вида ${\displaystyle f=x^{2}-2y^{2}}$. Автоморфизмы формы образуют подгруппа из ${\displaystyle \mathrm {SL} _{2}(\mathbb {Z} )}$. Когда ж определена, группа конечна, а когда ж неопределенно, бесконечно и циклический.

Представления

Мы говорим, что двоичная квадратичная форма ${\displaystyle q(x,y)}$ представляет целое число ${\displaystyle n}$ если можно найти целые числа ${\displaystyle x}$ и ${\displaystyle y}$ удовлетворяющий уравнению ${\displaystyle n=f(x,y).}$ Такое уравнение является представление из п к ж.

Примеры

Диофант рассмотрел вопрос о том, для нечетного ли ${\displaystyle n}$, можно найти целые числа ${\displaystyle x}$ и ${\displaystyle y}$ для которого ${\displaystyle n=x^{2}+y^{2}}$.^[2] Когда ${\displaystyle n=65}$, у нас есть

${\displaystyle {\begin{aligned}65&=1^{2}+8^{2},\\65&=4^{2}+7^{2},\end{aligned}}}$

так что мы находим пары ${\displaystyle (x,y)=(1,8){\text{ and }}(4,7)}$ которые делают трюк. Мы получаем больше пар, которые работают, переключая значения ${\displaystyle x}$ и ${\displaystyle y}$ и / или путем изменения знака одного или обоих из ${\displaystyle x}$ и ${\displaystyle y}$. Всего существует шестнадцать различных пар решений. С другой стороны, когда ${\displaystyle n=3}$, уравнение

${\displaystyle 3=x^{2}+y^{2}}$

не имеет целочисленных решений. Чтобы понять почему, отметим, что ${\displaystyle x^{2}\geq 4}$ пока не ${\displaystyle x=-1,0}$ или же ${\displaystyle 1}$. Таким образом, ${\displaystyle x^{2}+y^{2}}$ превысит 3, если ${\displaystyle (x,y)}$ одна из девяти пар с ${\displaystyle x}$ и ${\displaystyle y}$ каждый равен ${\displaystyle -1,0}$ или 1. Мы можем проверить эти девять пар напрямую, чтобы убедиться, что ни одна из них не удовлетворяет ${\displaystyle 3=x^{2}+y^{2}}$, поэтому уравнение не имеет целочисленных решений.

Аналогичный аргумент показывает, что для каждого ${\displaystyle n}$, уравнение ${\displaystyle n=x^{2}+y^{2}}$ может иметь только конечное число решений, поскольку ${\displaystyle x^{2}+y^{2}}$ превысит ${\displaystyle n}$ если абсолютные значения ${\displaystyle |x|}$ и ${\displaystyle |y|}$ оба меньше, чем ${\displaystyle {\sqrt {n}}}$. Есть только конечное число пар, удовлетворяющих этому ограничению.

Еще одна древняя проблема, связанная с квадратичными формами, просит нас решить Уравнение Пелла. Например, мы можем искать целые числа Икс и у так что ${\displaystyle 1=x^{2}-2y^{2}}$. Изменение признаков Икс и у в решении дает другое решение, поэтому достаточно искать только решения в положительных целых числах. Одно из решений ${\displaystyle (x,y)=(3,2)}$, то есть имеет место равенство ${\displaystyle 1=3^{2}-2\cdot 2^{2}}$. Если ${\displaystyle (x,y)}$ есть какое-то решение ${\displaystyle 1=x^{2}-2y^{2}}$, тогда ${\displaystyle (3x+4y,2x+3y)}$ еще одна такая пара. Например, из пары ${\displaystyle (3,2)}$, мы вычисляем

${\displaystyle (3\cdot 3+4\cdot 2,2\cdot 3+3\cdot 2)=(17,12)}$,

и мы можем проверить, что это удовлетворяет ${\displaystyle 1=17^{2}-2\cdot 12^{2}}$. Продолжая этот процесс, мы находим следующие пары ${\displaystyle (x,y)}$ с ${\displaystyle 1=x^{2}-2y^{2}}$:

${\displaystyle {\begin{aligned}(3\cdot 17+4\cdot 12,2\cdot 17+3\cdot 12)&=(99,70),\\(3\cdot 99+4\cdot 70,2\cdot 99+3\cdot 70)&=(477,408),\\&\vdots \end{aligned}}}$

Эти значения будут продолжать расти в размерах, поэтому мы видим, что существует бесконечно много способов представить 1 в виде ${\displaystyle x^{2}-2y^{2}}$. Это рекурсивное описание обсуждалось в комментарии Теона Смирнского к Элементы Евклида.

Проблема представления

Самая старая проблема теории двоичных квадратичных форм - это проблема представления: описать представления данного числа ${\displaystyle n}$ по заданной квадратичной форме ж. «Описать» может означать разные вещи: дать алгоритм для генерации всех представлений, замкнутую формулу для количества представлений или даже просто определить, существуют ли какие-либо представления.

В приведенных выше примерах обсуждается проблема представления чисел 3 и 65 в виде ${\displaystyle x^{2}+y^{2}}$ а для числа 1 по виду ${\displaystyle x^{2}-2y^{2}}$. Мы видим, что 65 представлены ${\displaystyle x^{2}+y^{2}}$ шестнадцатью разными способами, а 1 представлен ${\displaystyle x^{2}-2y^{2}}$ бесконечно многими способами, и 3 не представляется ${\displaystyle x^{2}+y^{2}}$ вообще. В первом случае были подробно описаны шестнадцать представлений. Также было показано, что количество представлений целого числа ${\displaystyle x^{2}+y^{2}}$ всегда конечно. В функция суммы квадратов ${\displaystyle r_{2}(n)}$ дает количество представлений п к ${\displaystyle x^{2}+y^{2}}$ как функция п. Есть закрытая формула^[3]

${\displaystyle r_{2}(n)=4(d_{1}(n)-d_{3}(n)),}$

куда ${\displaystyle d_{1}(n)}$ это количество делители из п которые конгруэнтный к 1 по модулю 4 и ${\displaystyle d_{3}(n)}$ это количество делителей п которые сравнимы с 3 по модулю 4.

Есть несколько инвариантов классов, относящихся к проблеме представления:

• Набор целых чисел, представленный классом. Если целое число п представлен формой в классе, затем он представлен всеми другими формами в классе.
• Минимальное абсолютное значение, представленное классом. Это наименьшее неотрицательное значение в наборе целых чисел, представленных классом.
• Классы сравнения по модулю дискриминанта класса, представленного этим классом.

Минимальное абсолютное значение, представленное классом, равно нулю для вырожденных классов и положительным для определенных и неопределенных классов. Все числа представлены определенной формой ${\displaystyle f=ax^{2}+bxy+cy^{2}}$ имеют тот же знак: положительный, если ${\displaystyle a>0}$ и отрицательный, если ${\displaystyle a<0}$. По этой причине первые называются положительно определенный формы и последние отрицательно определенный.

Количество представлений целого числа п по форме ж конечно, если ж определенно и бесконечно, если ж неопределенно. Мы видели примеры этого в примерах выше: ${\displaystyle x^{2}+y^{2}}$ положительно определен и ${\displaystyle x^{2}-2y^{2}}$ неопределенно.

Эквивалентные представления

Понятие эквивалентности форм распространяется на эквивалентные представления. Представления ${\displaystyle m=f(x_{1},y_{1})}$ и ${\displaystyle n=g(x_{2},y_{2})}$ эквивалентны, если существует матрица

${\displaystyle {\begin{pmatrix}\alpha &\beta \\\gamma &\delta \end{pmatrix}}}$

с целыми элементами и определителем 1, так что ${\displaystyle f(\alpha x+\beta y,\gamma x+\delta y)=g(x,y)}$ и

${\displaystyle {\begin{pmatrix}\delta &-\beta \\-\gamma &\alpha \end{pmatrix}}{\begin{pmatrix}x_{1}\\y_{1}\end{pmatrix}}={\begin{pmatrix}x_{2}\\y_{2}\end{pmatrix}}}$

Приведенные выше условия задают (правое) действие группы ${\displaystyle \mathrm {SL} _{2}(\mathbb {Z} )}$ на множестве представлений целых чисел двоичными квадратичными формами. Отсюда следует, что определенная таким образом эквивалентность является отношением эквивалентности и, в частности, формы в эквивалентных представлениях являются эквивалентными формами.

В качестве примера пусть ${\displaystyle f=x^{2}-2y^{2}}$ и рассмотрим представление ${\displaystyle 1=f(x_{1},y_{1})}$. Такое представление является решением уравнения Пелла, описанного в примерах выше. Матрица

${\displaystyle {\begin{pmatrix}3&-4\\-2&3\end{pmatrix}}}$

имеет определитель 1 и является автоморфизмом ж. Действуя по представительству ${\displaystyle 1=f(x_{1},y_{1})}$ по этой матрице дает эквивалентное представление ${\displaystyle 1=f(3x_{1}+4y_{1},2x_{1}+3y_{1})}$. Это шаг рекурсии в описанном выше процессе для генерации бесконечного числа решений ${\displaystyle 1=x^{2}-2y^{2}}$. Итерируя это матричное действие, мы обнаруживаем, что бесконечное множество представлений 1 посредством ж все те, что были определены выше, эквивалентны.

Обычно существует конечное число классов эквивалентности представлений целого числа п формами заданного ненулевого дискриминанта ${\displaystyle \Delta }$. Полный набор представителей этих классов можно дать в терминах сокращенные формы определены в разделе ниже. Когда ${\displaystyle \Delta <0}$, каждое представление эквивалентно единственному представлению с помощью приведенной формы, поэтому полный набор представителей задается конечным числом представлений п редуцированными формами дискриминанта ${\displaystyle \Delta }$. Когда ${\displaystyle \Delta >0}$, Загье доказал, что всякое представление натурального числа п по форме дискриминанта ${\displaystyle \Delta }$ эквивалентно единственному представлению ${\displaystyle n=f(x,y)}$ в котором ж сводится по Загьеру и ${\displaystyle x>0}$, ${\displaystyle y\geq 0}$.^[4] Множество всех таких представлений составляет полный набор представителей классов эквивалентности представлений.

Сокращение и количество классов

Лагранж доказал, что для каждого значения D, существует лишь конечное число классов бинарных квадратичных форм с дискриминантом D. Их количество - это номер класса дискриминанта D. Он описал алгоритм, названный снижение, для построения канонического представителя в каждом классе уменьшенная форма, коэффициенты которого в подходящем смысле наименьшие.

Гаусс дал превосходный алгоритм редукции в Disquisitiones Arithmeticae, который с тех пор является алгоритмом редукции, который чаще всего приводится в учебниках. В 1981 году Загьер опубликовал альтернативный алгоритм редукции, который нашел несколько применений в качестве альтернативы алгоритму Гаусса.^[5]

Сочинение

Сочинение чаще всего относится к бинарная операция на примитивных классах эквивалентности форм одного и того же дискриминанта, одно из самых глубоких открытий Гаусса, которое превращает это множество в конечный абелева группа называется группа классов формы (или просто группа классов) дискриминанта ${\displaystyle \Delta }$. Группы классов с тех пор стали одной из центральных идей в алгебраической теории чисел. С современной точки зрения классовая группа фундаментального дискриминанта ${\displaystyle \Delta }$ является изоморфный к узкоклассная группа из квадратичное поле ${\displaystyle \mathbf {Q} ({\sqrt {\Delta }})}$ дискриминанта ${\displaystyle \Delta }$.^[6] Для отрицательных ${\displaystyle \Delta }$, узкая классовая группа совпадает с группа идеального класса, но для положительного ${\displaystyle \Delta }$ он может быть вдвое больше.

«Композиция» также иногда грубо обозначает двоичную операцию над двоичными квадратичными формами. Слово «примерно» указывает на два предостережения: могут быть составлены только определенные пары двоичных квадратичных форм, и результирующая форма не является четко определенной (хотя ее класс эквивалентности есть). Операция композиции на классах эквивалентности определяется сначала определением композиции форм, а затем показом, что это индуцирует четко определенную операцию над классами.

«Композиция» может также относиться к бинарной операции над представлением целых чисел формами. Эта операция существенно сложнее^{[нужна цитата ]} чем композиция форм, но впервые возникла исторически. Мы рассмотрим такие операции в отдельном разделе ниже.

Композиция означает взятие двух квадратичных форм одного и того же дискриминанта и их объединение для создания квадратичной формы одного и того же дискриминанта, это обобщение тождества с двумя квадратами. ${\displaystyle \left(a^{2}+b^{2}\right)\left(c^{2}+d^{2}\right)=\left(ac-bd\right)^{2}+\left(ad+bc\right)^{2}}$

Составление форм и классов

Было дано множество определений композиции форм, часто в попытке упростить чрезвычайно техническое и общее определение Гаусса. Мы представляем здесь метод Арндта, поскольку он остается довольно общим, но при этом достаточно простым, чтобы его можно было проводить вычисления вручную. Альтернативное определение описано в Кубики бхаргавы.

Предположим, мы хотим составить формы ${\displaystyle f_{1}=A_{1}x^{2}+B_{1}xy+C_{1}y^{2}}$ и ${\displaystyle f_{2}=A_{2}x^{2}+B_{2}xy+C_{2}y^{2}}$, каждый примитив и один и тот же дискриминант ${\displaystyle \Delta }$. Выполняем следующие действия:

1. Вычислить ${\displaystyle B_{\mu }={\tfrac {B_{1}+B_{2}}{2}}}$ и ${\displaystyle e=\gcd(A_{1},A_{2},B_{\mu })}$, и ${\displaystyle A={\tfrac {A_{1}A_{2}}{e^{2}}}}$
2. Решите систему сравнений

   ${\displaystyle {\begin{aligned}x&\equiv B_{1}{\pmod {2{\tfrac {A_{1}}{e}}}}\\x&\equiv B_{2}{\pmod {2{\tfrac {A_{2}}{e}}}}\\{\tfrac {B_{\mu }}{e}}x&\equiv {\tfrac {\Delta +B_{1}B_{2}}{2e}}{\pmod {2A}}\end{aligned}}}$

   Можно показать, что эта система всегда имеет единственное целочисленное решение по модулю ${\displaystyle 2A}$. Мы произвольно выбираем такое решение и называем его B.
3. Вычислить C такой, что ${\displaystyle \Delta =B^{2}-4AC}$. Можно показать, что C целое число.

Форма ${\displaystyle Ax^{2}+Bxy+Cy^{2}}$ "состав" ${\displaystyle f_{1}}$ и ${\displaystyle f_{2}}$. Мы видим, что его первый коэффициент определен правильно, но два других зависят от выбора B и C. Один из способов сделать эту операцию четко определенной - сделать произвольное соглашение о том, как выбирать B- например, выберите B быть наименьшим положительным решением системы сравнений выше. В качестве альтернативы, мы можем рассматривать результат композиции не как форму, а как класс эквивалентности форм по модулю действия группы матриц вида

${\displaystyle {\begin{pmatrix}1&n\\0&1\end{pmatrix}}}$,

куда п целое число. Если рассматривать класс ${\displaystyle Ax^{2}+Bxy+Cy^{2}}$ при этом действии средние коэффициенты форм в классе образуют конгруэнтный класс целых чисел по модулю 2А. Таким образом, композиция дает четко определенную функцию от пар бинарных квадратичных форм таким классам.

Можно показать, что если ${\displaystyle f_{1}}$ и ${\displaystyle f_{2}}$ эквивалентны ${\displaystyle g_{1}}$ и ${\displaystyle g_{2}}$ соответственно, то состав ${\displaystyle f_{1}}$ и ${\displaystyle f_{2}}$ эквивалентно составу ${\displaystyle g_{1}}$ и ${\displaystyle g_{2}}$. Отсюда следует, что композиция индуцирует четко определенную операцию на примитивных классах дискриминантов. ${\displaystyle \Delta }$, и, как упоминалось выше, Гаусс показал, что эти классы образуют конечную абелеву группу. В личность класс в группе - это уникальный класс, содержащий все формы ${\displaystyle x^{2}+Bxy+Cy^{2}}$, т.е. с первым коэффициентом 1. (Можно показать, что все такие формы лежат в одном классе, и ограничение ${\displaystyle \Delta \equiv 0{\text{ or }}1{\pmod {4}}}$ означает, что существует такая форма любого дискриминанта.) инвертировать класс, берем представителя ${\displaystyle Ax^{2}+Bxy+Cy^{2}}$ и образуют класс ${\displaystyle Ax^{2}-Bxy+Cy^{2}}$. В качестве альтернативы мы можем сформировать класс ${\displaystyle Cx^{2}+Bxy+Ay^{2}}$ так как это и ${\displaystyle Ax^{2}-Bxy+Cy^{2}}$ эквивалентны.

Роды двоичных квадратичных форм

Гаусс также рассмотрел более грубое понятие эквивалентности, где каждый грубый класс называется род форм. Каждый род представляет собой объединение конечного числа классов эквивалентности одного и того же дискриминанта, причем количество классов зависит только от дискриминанта. В контексте бинарных квадратичных форм роды могут быть определены либо через классы конгруэнтности чисел, представленные формами, либо через род персонажей определяется на множестве форм. Третье определение - частный случай род квадратичной формы в n переменных. Это означает, что формы принадлежат к одному роду, если они локально эквивалентны при всех рациональных простых числах (включая Архимедово место ).

История

Существуют косвенные свидетельства протоисторического знания алгебраических тождеств с использованием бинарных квадратичных форм.^[7] Первая проблема, касающаяся двоичных квадратичных форм, требует существования или построения представлений целых чисел конкретными двоичными квадратичными формами. Яркими примерами являются решение Уравнение Пелла и представление целых чисел в виде суммы двух квадратов. Уравнение Пелла уже рассматривал индийский математик. Брахмагупта в 7 веке нашей эры. Несколько столетий спустя его идеи были расширены до полного решения уравнения Пелла, известного как метод чакравалы, приписываемый одному из индийских математиков Джаядева или же Бхаскара II.^[8] Проблема представления целых чисел суммами двух квадратов рассматривалась еще в III веке. Диофант.^[9] В 17 веке, вдохновившись чтением Диофанта Арифметика, Ферма сделал несколько наблюдений о представлениях с помощью определенных квадратичных форм, включая форму, которая сейчас известна как Теорема Ферма о суммах двух квадратов.^[10] Эйлер предоставил первые доказательства наблюдений Ферма и добавил некоторые новые гипотезы о представлениях с помощью конкретных форм без доказательства.^[11]

Общая теория квадратичных форм была инициирована Лагранж в 1775 г. в его Recherches d'Arithmétique. Лагранж был первым, кто осознал, что «связная общая теория требует одновременного рассмотрения всех форм».^[12] Он был первым, кто осознал важность дискриминанта и определил основные понятия эквивалентности и редукции, которые, по словам Вейля, «с тех пор доминируют во всей теме квадратичных форм».^[13] Лагранж показал, что существует конечное число классов эквивалентности данного дискриминанта, тем самым впервые определив арифметическую номер класса. Его введение редукции позволило быстро перечислить классы данного дискриминанта и предвещало возможное развитие инфраструктура. В 1798 г. Legendre опубликовано Essai sur la théorie des nombres, в котором обобщены работы Эйлера и Лагранжа и добавлены некоторые из его собственных работ, в том числе первый проблеск операции композиции на формах.

Теория была значительно расширена и уточнена Гаусс в разделе V Disquisitiones Arithmeticae. Гаусс представил очень общую версию оператора композиции, которая позволяет составлять четные формы различных дискриминантов и импримитивных форм. Он заменил эквивалентность Лагранжа более точным понятием собственной эквивалентности, и это позволило ему показать, что примитивные классы данного дискриминанта образуют группа под состав операции. Он ввел теорию родов, которая дает мощный способ понять фактор группы классов по подгруппе квадратов. (Гаусс и многие последующие авторы написали 2б на месте б; современное соглашение, разрешающее коэффициент ху быть нечетным из-за Эйзенштейн ).

Эти исследования Гаусса сильно повлияли как на арифметическую теорию квадратичных форм от более чем двух переменных, так и на последующее развитие теории алгебраических чисел, в которой квадратичные поля заменяются более общими. числовые поля. Но эффект был не мгновенным. Раздел V Disquisitiones содержит поистине революционные идеи и требует очень сложных вычислений, которые иногда оставляют читателю. В сочетании новизна и сложность делали Раздел V заведомо трудным. Дирихле опубликовал упрощения теории, которые сделали ее доступной для более широкой аудитории. Кульминацией этого произведения является его текст. Vorlesungen über Zahlentheorie. Третье издание этой работы включает два дополнения Дедекинд. Приложение XI вводит теория колец, и с тех пор, особенно после публикации в 1897 г. Гильберта Zahlbericht, теория бинарных квадратичных форм утратила свое ведущее положение в алгебраическая теория чисел и оказался в тени более общей теории поля алгебраических чисел.

Несмотря на это, работа над двоичными квадратичными формами с целыми коэффициентами продолжается до сих пор. Это включает в себя многочисленные результаты о полях квадратичных чисел, которые часто можно перевести на язык двоичных квадратичных форм, но также включает разработки, касающиеся самих форм, или те, которые возникли в результате размышлений о формах, в том числе Шанкса инфраструктура, Загиера алгоритм редукции, Конвея топографы и Бхаргавы переосмысление композиции через Кубики бхаргавы.

Смотрите также

• Куб Бхаргавы
• Теорема Ферма о суммах двух квадратов
• Символ Лежандра

Примечания

1. Коэн 1993, §5.2
2. Weil 2001, п. 30
3. Харди и Райт, 2008 г., Thm. 278
4. Загир 1981
5. Загир 1981
6. Фрёлих и Тейлор 1993, Теорема 58
7. Weil 2001, Глава I §§VI, VIII
8. Weil 2001, Гл.I §IX
9. Weil 2001, Гл.I §IX
10. Weil 2001, Глава II, §§VIII-XI
11. Weil 2001, Глава III §§VII-IX
12. Weil 2001, стр.318
13. Weil 2001, стр.317

Рекомендации

• Йоханнес Бухманн, Ульрих Фольмер: Бинарные квадратичные формы, Springer, Берлин 2007, ISBN  3-540-46367-4
• Дункан А. Бьюэлл: Бинарные квадратичные формы, Спрингер, Нью-Йорк, 1989 г.
• Дэвид Кокс, Простые числа формы ${\displaystyle x^{2}+y^{2}}$, Ферма, теория полей классов и комплексное умножение
• Коэн, Анри (1993), Курс вычислительной алгебраической теории чисел, Тексты для выпускников по математике, 138, Берлин, Нью-Йорк: Springer-Verlag, ISBN  978-3-540-55640-4, МИСТЕР  1228206
• Фрёлих, Альбрехт; Тейлор, Мартин (1993), Алгебраическая теория чисел, Кембриджские исследования по высшей математике, 27, Издательство Кембриджского университета, ISBN  978-0-521-43834-6, МИСТЕР  1215934
• Харди, Г. Х.; Райт, Э.М. (2008) [1938], Введение в теорию чисел, Редакция Д. Р. Хит-Браун и Дж. Х. Сильверман. Предисловие Эндрю Уайлс. (6-е изд.), Оксфорд: Clarendon Press, ISBN  978-0-19-921986-5, МИСТЕР  2445243, Zbl  1159.11001
• Вайль, Андре (2001), Теория чисел: исторический подход от Хаммурапи до Лежандра, Birkhäuser Boston
• Загир, Дон (1981), Zetafunktionen und quadratische Körper: eine Einführung in die höhere Zahlentheorie, Springer

внешняя ссылка

• Петр Лушный, Положительные числа, представленные двоичной квадратичной формой
• А. В. Малышев (2001) [1994], «Двоичная квадратичная форма», Энциклопедия математики, EMS Press