Assertion: abelian group | /r/HasProperty | element
Facets:
Source sentences:
text: An abelian group G is finitely generated if there are elements such that every element can be written as