Assertion: abelian group's subgroup | /r/HasProperty | unique
Facets:
value: to conjugation
type: OTHER
Source sentences:
text: Moreover, a connected Lie group G has a maximal compact subgroup K, which is unique up to conjugation, and the inclusion of K into G is a homotopy equivalence.