Характер биквадратичного вычета

Характер биквадратичного вычета — теоретико-числовая функция двух аргументов, являющаяся частным случаем символа степенного вычета. Также является характером в простом поле.

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

Рассмотрим D=Z[i] — кольцо целых гауссовых чисел, то есть чисел вида ${\displaystyle \alpha =a+b\,i}$, где a и b — целые числа.

Пусть ${\displaystyle \pi }$ — простое в кольце D, с нормой ${\displaystyle N\pi }$. Характер биквадратичного вычета определяется следующим образом:

• ${\displaystyle \left({\frac {\alpha }{\pi }}\right)_{4}=0}$, если ${\displaystyle \alpha }$ делится на ${\displaystyle \pi }$.
• ${\displaystyle \left({\frac {\alpha }{\pi }}\right)_{4}=1}$, если ${\displaystyle \alpha }$ не делится на ${\displaystyle \pi }$ и ${\displaystyle N\pi =2}$.
• Во всех остальных случаях ${\displaystyle \left({\frac {\alpha }{\pi }}\right)_{4}}$ — одно из значений ${\displaystyle \{1,\ -1,\ i,\ -i\}}$, лежащее в классе вычетов ${\displaystyle \alpha ^{(N\pi -1)/4}\mod \pi }$ (такое значение однозначно определено).

Назовём ${\displaystyle \alpha }$, не являющееся единицей, примарным, если оно сравнимо с 1 по модулю идеала ${\displaystyle ((1+i)^{3})}$. При этом неединица ${\displaystyle \alpha =a+b\,i}$ примарна тогда и только тогда, когда ${\displaystyle a\equiv 1{\pmod {4}}}$, ${\displaystyle b\equiv 0{\pmod {4}}}$ или ${\displaystyle a\equiv 3{\pmod {4}}}$, ${\displaystyle b\equiv 2{\pmod {4}}}$.

Пусть ${\displaystyle \pi }$ и ${\displaystyle \theta }$ — взаимно простые примарные элементы в D, тогда

• ${\displaystyle \left({\frac {\alpha }{\pi }}\right)_{4}=1}$ тогда и только тогда, когда сравнение ${\displaystyle x^{4}\equiv \alpha \mod {\pi }}$ разрешимо, то есть тогда и только тогда, когда ${\displaystyle \alpha }$ — биквадратичный вычет
• Мультипликативность: ${\displaystyle \left({\frac {\alpha \beta }{\pi }}\right)_{4}=\left({\frac {\alpha }{\pi }}\right)_{4}\cdot \left({\frac {\beta }{\pi }}\right)_{4}}$
• Периодичность: если ${\displaystyle \alpha \equiv \beta \mod {\pi }}$, то ${\displaystyle \left({\frac {\alpha }{\pi }}\right)_{4}=\left({\frac {\beta }{\pi }}\right)_{4}}$
• Если ${\displaystyle \pi =a+bi}$ — простое примарное, то ${\displaystyle \left({\frac {-1}{\pi }}\right)_{4}=(-1)^{\frac {a-1}{2}}}$

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

• Franz Lemmermeyer. Reciprocity laws: From Euler to Eisenstein. — Springer Verlag, 2000. — ISBN 3-540-66957-4.