Пусть

некомпактная группа Ли над полем вещественных чисел. Существует(??) инволютивный автоморфизм

такой, что

есть максимальная компактная подгруппа

и

-- некомпактное Риманово многообразие.
Пусть

алгебра, соответствующая группе

(разложение у единицы).
Можно ли утверждать, что алгебра, соответствующая

- является максимальным разрешимым идеалом

?