Разрешимая алгебра Ли

Производная последовательность

Определение 1. Последовательность идеалов

$L^{(0)}\supseteq L^{(1)}\supseteq L^{(2)}\supseteq\ldots\supseteq L^{(k)}\supseteq\ldots$ ,

где $L^{(0)}=L$ и $L^{(k)}=[L^{(k-1)},L^{(k-1)}]$ , называется производной последовательностью¹⁾ алгебры Ли $L$ .

Определение 2. Если $L^{(k)}=0$ для некоторого $k\in\mathbb{N}$ , то алгебра Ли $L$ называется разрешимой²⁾.

Предложение 1. Нильпотентная алгебра Ли разрешима.

¹⁾

derived sequence

²⁾

solvable

glossary/algebra/lie/solvable.txt · Последние изменения: 26.02.2011 18:22:43 — Ладилова Анна

Наверх