Talk:Maximal compact subgroup