ДИКСОНА ИНВАРИАНТ

- конструкция, используемая при изучении квадратичных форм над полями характеристики 2, позволяющая, в частности, вводить аналоги специальной ортогональной группы над такими полями. А именно, Д. и. есть элемент D(u)произвольного поля кхарактеристики 2, сопоставляемый всякому подобию и четномерного векторного пространства Енад kотносительно симметрической билинейной формы f, ассоциированной с невырожденной квадратичной формой Qна Е. Д. и. введен Л. Диксоном [1].

В силу условия на характеристику поля форма f является знакопеременной, и в E существует базис e_l, ..., e_2s, для к-рого

при (см. Витта разложение). Пусть

для любых векторов хи у из Е, и пусть для каждого i=i,. .., s

Тогда элемент из квида

наз. инвариантом Диксона подобия и относительно базиса e₁, . . ., e._2s. Для того чтобы ибыло подобием относительно Qс коэффициентом подобия а(и){т. е. Q(u(x))=a(u)Q(х). для любого вектора , необходимо и достаточно, чтобы D(u)=0 или D(u) - a(u). Подобия иотносительно Q, для к-рых D(u) = 0, наз. прямыми подобиями. Прямые подобия образуют в группе всех подобий относительно Qнормальный делитель индекса 2.

Если Q₁- форма, определяемая равенством Q₁(x)=Q(u(x))для любого вектора а D(Q) и D(Q₁) -псевдодискриминанты этих форм относительно базиса е ₁, . .., e_2s, т. е.

Лит.:[1] Dickson L. E., Linear Groups..., Lpz., 1901; [2] Бурбаки Н., Алгебра. Модули, кольца, формы, пер. с франц., М., 1966; [3] Дьедонне Ж., Геометрия классических групп, пер. с франц., М., 1974.

В. Л. Попов.