Выдержка из книги
Шевалле К.N.
Теория групп ли Ч.3
Пусть 0 - векторное подпространство алгебры д, такое, что g является прямой суммой пространств 30 и г. Естественное отображение алгебры g на g / r индуцирует, таким образом, изоморфизм векторного пространства 30 на g r; пусть ср - отображение, обратное этому изоморфизму.