Assertion: abelian group's subgroup | /r/HasProperty | equivalent
Facets:
value: to finite subgroups.[note
type: OTHER
Source sentences:
text: As the orthogonal group is compact, discrete subgroups are equivalent to finite subgroups.[note 1] These subgroups are known as point groups and can be realized as the symmetry groups of polytopes.