Инвариант Хассе – Минковского
Инвариа́нт Ха́ссе – Минко́вского (инвариант Хассе, символ Хассе) невырожденной квадратичной формы над локальным полем характеристики (соответственно над полями ), произведение
где – квадратичный символ Гильберта, т. е. , если квадратичная форма представляет в поле и в противном случае. Инвариант Хассе зависит только от класса эквивалентности формы , а не от выбора диагональной формы в этом классе. Иногда инвариант Хассе определяют как произведение , что отличается от приведённого выше определения множителем , где – дискриминант формы .
В случае локального поля число переменных, дискриминант и инвариант Хассе определяют класс формы . При инварианты и могут принимать любые значения независимо друг от друга; при исключается случай , ; при всегда .
В случае инвариант Хассе выражается через сигнатуру, а именно,
где – отрицательный индекс инерции формы . В случае всегда .
Для невырожденной квадратичной формы над глобальным полем характеристики и любого нормирования поля определяется локальный инвариант Хассе как инвариант Хассе квадратичной формы , рассматриваемой над пополнением поля относительно топологии, определяемой нормированием . Число переменных, дискриминант, локальные инварианты Хассе и сигнатуры над вещественными пополнениями поля определяют класс формы .
Необходимые и достаточные условия существования невырожденной квадратичной формы от переменных над глобальным полем характеристики , имеющей заданный дискриминант , заданные локальные инварианты Хассе и, для вещественных нормирований – заданные отрицательные индексы инерции , состоит в следующем:
a) лишь для конечного числа нормирований ;
b) (следствие квадратичного закона взаимности);
c) , если или и ;
d) для каждого вещественного нормирования ;
е) для каждого комплексного нормирования ;
f) для каждого вещественного нормирования (здесь – образ при изоморфизме ).
Инвариант Хассе предложен Х. Хассе (Hasse. Über die Darstellbarkeit von Zahlen... 1923; Hasse. Über die Äquivalenz... 1923; Hasse. Symmetrische Matrizen... 1923; Hasse. 1924).