Assertion: group's subgroup | /r/MadeOf | n independent translations
Facets:
value: linearly
type: MANNER
Source sentences:
text: Bieberbach (1911, 1912) proved that the subgroup of translations of any such group contains n linearly independent translations, and is a free abelian subgroup of finite index, and is also the unique maximal normal abelian subgroup.