КЛИФФОРДА АЛГЕБРА

- конечномерная ассоциативная алгебра над коммутативным кольцом, впервые рассмотренная У. Клиффордом (W. Clifford) в 1876. Пусть К - коммутативное кольцо с единицей, Е- свободный K-модуль, Q - квадратичная форма на Е. К. а. квадратичной формы Q(или пары ( Е. Q ))наз. факторалгебра С(Q)тензорной алгебры Т(Е)А-модуля Епо двустороннему идеалу, порожденному элементами вида где Элементы из Еотождествляются с соответствующими классами смежности в C(Q). Для любых имеет место тождество xу + уx=Ф(x,у)-1, где Ф :- ассоциированная с Qсимметрическая билинейная форма. Для нулевой квадратичной формы Qалгебра С(Q)совпадает с внешней алгеброй K -модуля Е. Если Х= R- поле действительных чисел, a Q- невырожденная квадратичная форма на n-мерном векторном пространстве Енад R., то C(Q)совпадает с алгеброй ^l А _п+1 альтернионов, где l- число положительных квадратов в канонич. виде формы Q.

Пусть е ₁,. . ., е _n- базис if-модуля Е, тогда элементы 1, е _i1 ... е _ik(i₁<...<i_k) образуют базис К- модуля C(Q). В частности, C(Q)является свободным К-модулем ранга 2ⁿ. Если, кроме того, е ₁,. . ., е _п ортогональны относительно Q, то С(Q)можно задать как К-алгебру с образующими 1,е ₁, .... е _п и определяющими соотношениями е _i е _j= -e_je_i и Подмодуль C(Q), порожденный произведениями четного числа элементов из Е, образует подалгебру в C(Q), к-рая обозначается через C⁺(Q).

Пусть К- поле и квадратичная форма Qневырождена. При четном палгебра С(Q)является центральной простой алгеброй над Кразмерности 2Щ, подалгебра С+ (Q)сепарабельна, а ее центр Zимеет размерность 2 над К. Если Калгебраически замкнуто, то при четном п С(Q).- матричная алгебра, a C⁺(Q)- произведение двух матричных алгебр (если же пнечетно, то, наоборот, C⁺(Q)- матричная, a C(Q)- произведение двух матричных алгебр).

Обратимые элементы s алгебры С(Q)(соответственно С ⁺(Q))такие, что sEs^-1 = E, образуют группу Клиффорда G(Q)квадратичной формы Q(соответственно специальную группу Клиффорда G+ (Q). Ограничение преобразований

на подпространство Еопределяет гомоморфизм j: G(Q)->O(Q), где O(Q)- ортогональная группа квадратичной формы Q. Ядро Кеr j состоит из обратимых элементов алгебры Z и Если пчетно, то j(G(Q)) = O(G),a j(G+(Q)) = O+(Q)есть подгруппа ин- ; декса 2 в O(Q), совпадающая со специальной ортогональной группой SO(Q)в случае, когда характеристика Котлична от 2. Если пнечетно, то

Пусть Р : C(Q)->C(Q)- антиавтоморфизм К. а. C(Q), индуцированный антиавтоморфизмом

тензорной алгебры Т(Е). Группа

наз. сп и норной группой квадратичной формы Q(или К. a. C{Q)).

Гомоморфизм j : имеет ядро

Если k = C или k=R и Qположительно определена, то Imj=0⁺ (Q) = SO(Q)и Spin(Q) совпадает с классической спинорной группой.

Лит.:[1] Бурбаки Н., Элементы математики, пер. с франц., М., 1966; [2] Дьёдонне Ж., Геометрия классических групп, пер. с франц., М., 1974; [3] Кириллов А. А., Элементы теории представлений, М., 1972; [4] Сartan E., Lecons sur la theorie des spineurs, P., 1938.

П. В. Долгачев.