Диксона Инвариант

Конструкция, используемая при изучении квадратичных форм над полями характеристики 2, позволяющая, в частности, вводить аналоги специальной ортогональной группы над такими полями. А именно, Д. и. есть элемент D(u)произвольного поля кхарактеристики 2, сопоставляемый всякому подобию и четномерного векторного пространства Енад kотносительно симметрической билинейной формы f, ассоциированной с невырожденной квадратичной формой Qна Е. Д. и. введен Л. Диксоном [1]. В силу условия на характеристику поля форма f является знакопеременной, и в E существует базис el, ..., e2s, для к-рого при (см. Витта разложение). Пусть для любых векторов хи у из Е, и пусть для каждого i=i,. .., s Тогда элемент из квида наз. инвариантом Диксона подобия и относительно базиса e1, . . ., e.2s. Для того чтобы ибыло подобием относительно Qс коэффициентом подобия а(и){т. е. Q(u(x))=a(u)Q(х). для любого вектора , необходимо и достаточно, чтобы D(u)=0 или D(u) — a(u). Подобия иотносительно Q, для к-рых D(u) = 0, наз. прямыми подобиями. Прямые подобия образуют в группе всех подобий относительно Qнормальный делитель индекса 2. Если Q1- форма, определяемая равенством Q1(x)=Q(u(x))для любого вектора а D(Q) и D(Q1) -псевдодискриминанты этих форм относительно базиса е 1, . .., e2s, т. е. Лит.:[1] Dickson L. E., Linear Groups..., Lpz., 1901; [2] Бурбаки Н., Алгебра. Модули, кольца, формы, пер. с франц., М., 1966; [3] Дьедонне Ж., Геометрия классических групп, пер. с франц., М., 1974. В. Л. Попов.