Экспоненциальная алгебра Ли
Экспоненциа́льная а́лгебра Ли [алгебра Ли типа ], конечномерная вещественная алгебра Ли , для любого элемента которой оператор присоединённого представления не имеет чисто мнимых собственных значений. Экспоненциальное отображение в соответствующую алгебре односвязную группу Ли является диффеоморфизмом, а – экспоненциальной группой Ли.
Каждая экспоненциальная алгебра Ли разрешима. Нильпотентная алгебра Ли над есть экспоненциальная алгебра Ли. Класс экспоненциальных алгебр Ли является промежуточным между классами всех разрешимых и вполне разрешимых алгебр Ли; он замкнут относительно перехода к подалгебрам, факторалгебрам и конечным прямым суммам, но не замкнут относительно расширений.
Простейшим примером экспоненциальной алгебры Ли, не являющейся вполне разрешимой алгеброй Ли, является трёхмерная алгебра Ли с базисом , , и умножением, заданным формуламигде – действительная матрица, имеющая комплексные, но не чисто мнимые собственные значения. Трёхмерная алгебра Ли с базисом , , и определяющими соотношениямиразрешима, но не является экспоненциальной алгеброй Ли.
Алгебра Ли экспоненциальна тогда и только тогда, когда все корни алгебры имеют вид , где , – вещественные линейные формы на , причём пропорциональна (Dixmier. 1957), или же когда не имеет факторалгебр, содержащих подалгебру, изоморфную .