Алгебра Клиффорда — специального вида ассоциативная алгебра с единицей   над некоторым коммутативным кольцом ( — векторное пространство или, более общо, свободный -модуль) с некоторой операцией [«умножения»], совпадающей с заданной на билинейной формой .

Смысл конструкции состоит в ассоциативном расширении пространства EK и операции умножения на нём так, чтобы квадрат последней совпал с заданной квадратичной формой Q. Впервые рассмотрена Клиффордом. Алгебры Клиффорда обобщают комплексные числа, паракомплексные числа и дуальные числа, также бикомплексные числа, кватернионы и т.п.: их семейство исчерпывающе охватывает все ассоциативные гиперкомплексные числа.

Формальное определение

править

Пусть    — коммутативное кольцо с единицей,    — свободный K-модуль,   — квадратичная форма на   . Алгеброй Клиффорда квадратичной формы   (или пары  ) называется факторалгебра   тензорной алгебры  ,  -модуля   по двустороннему идеалу, порождённому элементами вида

 

Элементы (векторы) из  , являясь тензорами ранга 1, рассматриваются также и как элементы  , причём соответственное отображение является мономорфизмом (вложением) модулей:

 .

Комментарий

править

Если   есть поля вещественных либо комплексных чисел, тогда  линейное пространство, а в качестве   используется присущее такому пространству скалярное произведение.

Свойства

править
  • Основное тождество алгебр Клиффорда: если характеристика кольца K не равна двум, то для любых  :
     
где   — симметричная билинейная форма, соответствующая квадратичной форме Q:
 .
  • выражение   называется антикоммутатором   и  .
  • Для нулевой квадратичной формы   алгебра   совпадает со внешней алгеброй    -модуля  .
  • Пусть   — некоторый базис  -модуля  , тогда элементы вида
      для всех k от 1 по n) или, иначе:   где   образуют базис  -модуля  . В частности,   является свободным  -модулем ранга (размерности)  
    • Если, кроме того,   ортогональны относительно  , то   можно задать как  -алгебру с образующими   и определяющими соотношениями  , ( ) и  .
  • Алгебра Клиффорда обладает Z2-градуировкой. В частности, подмодуль в  , порождённый произведениями чётного числа элементов из  , образует подалгебру в  , которая обозначается через  .
  • Пусть   — поле и квадратичная форма   невырождена
    • тогда при чётном n алгебра   является центральной простой алгеброй над   размерности  , подалгебра   сепарабельна, а её центр имеет размерность 2 над  .
  • Если   алгебраически замкнуто, то
    • при чётном n  матричная алгебра, a   — произведение двух матричных алгебр,
    • при нечётном n, наоборот,   — матричная, а   — произведение двух матричных алгебр.

Матричные представления алгебр Клиффорда

править

Уравнение Дирака — важный пример применения представлений  , которые впервые изучены Этторе Майораной.

Литература

править
  • H. Blaine Lawson, Marie-Louise Michelsohn. Spin geometry. — 1989.
  • Lounesto, Pertti (2001), Clifford algebras and spinors, Cambridge University Press, ISBN 978-0-521-00551-7 (см. Архивная копия от 4 апреля 2016 на Wayback Machine)
  • Ian R. Porteous «Clifford algebras and the classical groups» Cambridge, CUP, 1995. ISBN=978-0-521-55177-9
  • R. Jagannathan (2010), «On generalized Clifford algebras and their physical applications Архивная копия от 29 ноября 2014 на Wayback Machine»