text: Действие алгебры Ли g {\displaystyle {\mathfrak {g}}} группы G может быть вычислено явно на алгебраической прямой сумме неприводимых подпространств подгруппы K и можно проверить непосредственно, что подпространство наименьшей размерности генерирует эту прямую сумму как g {\displaystyle {\mathfrak {g}}} -модуль.