Внешняя Алгебра

алгебра Грассма-н а, векторного пространства Vнад полем k - ассоциативная алгебра над k, операция в к-рой обозначается знаком , порождающими элементами к-рой являются где - базис пространства V, а определяющие соотношения имеют вид В. А. Не зависит от выбора базиса и обозначается Подпространство в , порожденное элементами вида наз. R-й внешней степенью пространства V. Имеют место равенства. Кроме того, Элементы пространства наз. -векторами. Их можно понимать также как кососимметрические г раз контраварнантные тензоры в V(см. Внешнее произведение). r-векторы тесно связаны с r-мерными подпространствами в V. Линейно независимые системы векторов н из V порождают одно и то же подпространство тогда и только тогда, когда r-векторы и пропорциональны.

Этот факт был одним из отправных пунктов в исследованиях Г. Грассмана [1], к-рый ввел В. А. Как алгебраич. Аппарат для описания порождения многомерных подпространств одномерными. С помощью В. А. Легко строится теория определителей. В. А. Может быть определена и для более общих объектов, а именно, для унитарных модулей Мнад коммутативным кольцом А с единицей (см. [4]). R-я внешняя степень модуля Мопределяется как фактормодуль r-й тензорной степени этого модуля по подмодулю, порожденному элементами вида где и для нек-рых В. А. Для Мопределяется как прямая сумма где с естественно введенным умножением. В случае конечномерного векторного пространства это определение совпадает с первоначальным. В. А. Модуля находит применение в теории модулей над кольцом главных идеалов (см.

[5]). Грассмaновыми (или плюккеровыми) координатами r-мерного подпространства Lв гс-мерном пространстве Vнад kназ. Координаты r-вектора в V, соответствующего L, к-рый определен с точностью до пропорциональности. С помощью грасс-мановых координат множество всех r-мерных подпространств в Vестественным образом вкладывается в проективное пространство размерности и оказывается там алгебраич. Многообразием (наз. Грассмана многообразием). Этот метод позволяет построить целый ряд важных примеров проективных алгебраич. Многообразий [6]. В форме исчисления внешних дифференциальных форм В. А. Используется в качестве одного из основных формализмов в дифференциальной геометрии (см. [8], [7]). В терминах В. А. Формулируются многие важные результаты алгебраич.

Топологии. Например, если G - конечномерное H-пространство (например, группа Ли), то алгебра когомологий пространства Gс коэффициентами в поле kхарактеристики нуль является В. А. С образующими нечетных степеней. Если G - односвязная компактная группа Ли, то В. А. (над кольцом целых чисел) является также кольцо , изучаемое в К-те-ории. Лит.:[1] Grassmann H., Gesammelte mathematische imd physikalische Werke, Bd 1, Tl. 1-2, Lpz., 1894-96. [2] Мальцев А. И., Основы линейной алгебры, 2 изд., М., 1956. [3] Калужнин Л. А., Введение в общую алгебру, М., 1973. [4] Бур баки Н., Алгебра. Алгебраические структуры. Линейная и полилинейная алгебра, пер. С франц., М., 1962. [5] его же, Алгебра. Модули, кольца, формы, пер. С франц., М., 1968.

[6] Ходж В., Пидо Д., Методы алгебраической геометрии, пер. С англ., т. 1-3, М., 1954. [7] Фиников С.