Assertion: abelian group's subgroup | /r/HasProperty | profinite group
Facets:
value: necessarily
type: DEGREE
Source sentences:
text: At the other extreme, a totally disconnected locally compact group always contains a compact open subgroup, which is necessarily a profinite group.