Алгебра Ли

Содержание

Определение

Алгеброй Ли (иначе лиевой алгеброй) называется унитарный k- модуль \mathfrak{L} над коммутативным кольцом k с единицей, если он снабжён билинейным отображением
\mathfrak{L}2\mathfrak{L} : (x, y)[x,y], и это отображение удовлетворяет следующим двум аксиомам:
1)[x,x] = 0;
2)[x,[y,z]] + [y,[z,x]] + [z,[x,y]] = 0;

Замечания

  • Непосредственным следствием из аксиомы 1 является антикоммутативность. Вторую аксиому называют тождеством Якоби.
  • Понятия подалгебры, идеала, факторалгебры и гомоморфизма определяются обычным образом.
  • Лиева алгебра \mathfrak{L} называется коммутативной, если\forall x, y \in \mathfrak{L} : [x, y] = 0.
  • Особенно интересен случай, когда kполе, а \mathfrak{L}векторное пространство.

Источники примеров алгебр Ли

Множество всех дифференцирований любой k-алгебры

Множество Der (\mathfrak{A}) всех дифференцирований любой k - алгебры является лиевой алгеброй с операцией [D1,D2] = D1\circ D2D2\circ D1.
Присоединёнными эндоморфизмами называются дифференцирования лиевой алгебры вида adx:y[x, y]; x, y \in \mathfrak{L}.
Они образуют в Der (\mathfrak{L}) подалгебру ad \mathfrak{L} и отображение xadx является гомоморфизмом\mathfrak{L}Der (\mathfrak{L}), называемым присоединённым представлением лиевой алгебры\mathfrak{L}. Его образad \mathfrak{L} изоморфен факторалгебре алгебры \mathfrak{L} по её центру Z(L):=\{x \in \mathfrak{L}| [x,y] = 0; \forall y\in \mathfrak{L}\}.

Ассоциативные алгебры над k и умножение в k - модуле

Положим \mathfrak{A} - ассоциативная алгебра над k с умножением: (x,y)xy. Тогда умножение в k - модуле \mathfrak{A}, задаваемое следующим правилом: (x,y)[x,y] = xyyx, наделяет \mathfrak{A} структурой лиевой алгебры над k.

 
Начальная страница  » 
А Б В Г Д Е Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ы Э Ю Я
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
0 1 2 3 4 5 6 7 8 9 Home