- #1
- 4,807
- 32
It is said on wiki* that
"Maximal compact subgroups are not unique unless the group G is a semidirect product of a compact group and a contractible group, but they are unique up to conjugation, meaning that given two maximal compact subgroups K and L, there is an element g in G such that [itex]gKg^{-1}=L[/itex] – hence a maximal compact subgroup is essentially unique, and people often speak of "the" maximal compact subgroup."
Why is that so? If the action of G on itself by conjugation were transitive it would be obvious but it isn't, is it?
*http://en.wikipedia.org/wiki/Maximal_compact_subgroup#Existence_and_uniqueness
"Maximal compact subgroups are not unique unless the group G is a semidirect product of a compact group and a contractible group, but they are unique up to conjugation, meaning that given two maximal compact subgroups K and L, there is an element g in G such that [itex]gKg^{-1}=L[/itex] – hence a maximal compact subgroup is essentially unique, and people often speak of "the" maximal compact subgroup."
Why is that so? If the action of G on itself by conjugation were transitive it would be obvious but it isn't, is it?
*http://en.wikipedia.org/wiki/Maximal_compact_subgroup#Existence_and_uniqueness