https://profilbaru.com/en/Maximal_compact_subgroup