Обсуждение:Максимальная компактная подгруппа