Алгебра Мальцева

Эта статья находится на начальном уровне проработки, в одной из её версий выборочно используется текст из источника, распространяемого под свободной лицензией
Материал из энциклопедии Руниверсалис

Алгебра Мальцева — неассоциативная алгебра [math]\displaystyle{ M }[/math] над полем [math]\displaystyle{ F }[/math], в которой бинарная мультипликативная операция подчиняется следующим аксиомам:

  1. условию антисимметричности:
    [math]\displaystyle{ g (A, B) =-g (B, A) }[/math]
    для всех [math]\displaystyle{ A,B \in M }[/math].
  2. тождеству Мальцева:

[math]\displaystyle{ J (A_1, A_2, g (A_1, A_3)) = g(J (A_1, A_2, A_3),A_1) }[/math] для всех [math]\displaystyle{ A_k \in M }[/math], где [math]\displaystyle{ k=1,2, \dots ,6 }[/math], и [math]\displaystyle{ J (A, B, C):= g (g (A, B), C)+g (g (B, C), A)+g (g (C, A), B). }[/math]

  1. условию билинейности:
[math]\displaystyle{ g(aA+bB,C)=ag(A,C)+bg(B,C) }[/math]

для всех [math]\displaystyle{ A,B,C \in M }[/math] и [math]\displaystyle{ a,b \in F }[/math].

Алгебра Мальцева была введена в 1955 году советским математиком Анатолием Ивановичем Мальцевым.

Существует следующая взаимосвязь между альтернативными алгебрами и алгеброй Мальцева. Замена умножения g(A,B) в алгебре M операцией коммутирования [A,B]=g(A,B)-g(B,A), превращает её в алгебру [math]\displaystyle{ M^{(-)} }[/math]. При этом, если M является альтернативной алгеброй, то [math]\displaystyle{ M^{(-)} }[/math] будет алгеброй Мальцева. (Другими словами, для алгебр Мальцева существует аналог теоремы Пуанкаре — Биркгофа — Витта.) Алгебра Мальцева является одним из обобщений алгебры Ли, которая является частным примером алгебры Мальцева.

Для алгебр Мальцева имеет место теорема, аналогичная классической теореме о связи алгебры Ли и группы Ли. Касательная алгебра локальной аналитической лупы Муфанг является алгеброй Мальцева. Верно также и обратное утверждение: любая конечномерная алгебра Мальцева [math]\displaystyle{ M }[/math] над полным нормированным полем [math]\displaystyle{ F }[/math] характеристики 0 является касательной алгеброй некоторой локальной аналитической лупы Муфанг.

Литература

Ссылки

См. также