Кососимметрическая Билинейная Форма

антисимметрическая билинейная форма,- билинейная форма f на унитарном А-модуле V(где А - коммутативное кольцо с единицей), удовлетворяющая условию. Строение любой К. Б. Ф. F на конечномерном векторном пространстве Vнад полем характеристики полностью определяется ее индексом Витта w(f) (см. Bumma теорема, Витта разложение). А именно, Vбудет ортогональной (относительно f) прямой суммой ядра формы f и подпространства размерности 2w(f), на к-ром сужение формы f является нейтральной формой. Две К. Б. Ф. На Vизометричны тогда и только тогда. Когда их индексы Витта равны между собой. В частности, невырожденная К. Б. Ф. Нейтральна, а размерность пространства Vв этом случае четна. Для любой К. Б. Ф. F на Vсуществует базис е 1, ..., е п, в к-ром матрица формы f имеет вид где m-w(f), а Е т - единичная матрица порядка т.

Матрица К. Б. Ф. В произвольном базисе кососиммет-рична. Поэтому указанные выше свойства К. Б. Ф. Могут быть сформулированы и следующим образом. Для любой кососимметрич. Матрицы М над полем характеристики найдется такая невырожденная матрица Р, что МР имеет вид (*). В частности ранг матрицы Мчетен, а определитель кососимметрич. Матрицы нечетного порядка равен 0. В случае поля характеристики 2 перечисленные утверждения сохраняют силу, если заменить условие кососимметричности формы f более сильным условием знакопеременности. F(v, v)=Q для любых (для полей характеристики эти условия эквивалентны). Эти результаты допускают обобщение на случай, когда А - коммутативное кольцо главных идеалов, V - свободный А-модуль конечной размерности и f - знакопеременная билинейная форма на V.

А именно, в этих условиях существует такой базис е 1,..., е п модуля Vи целое неотрицательное число что а i делит при i=1, ..., т-1, а в остальных случаях Идеалы однозначно определяются указанными условиями, а модуль порождается элементами Определитель знакопеременной матрицы нечетного порядка равен 0 для любого коммутативного кольца А с единицей. В случае, когда порядок знакопеременной матрицы Мнад Ачетен, элемент является квадратом в А(см. Пфаффиан). Лит.:[11 Б у р б а к и Н., Алгебра. Модули, кольца, формы, пер. С франц., М., 1966. [2] Ленг С., Алгебра, пер. С англ., М., 1968. [3] Артин Э., Геометрическая алгебра, пер. С англ., М., 1969. В. Л. Попов.