Assertion: abelian group | /r/HasProperty | basis
Facets:
Source sentences:
text: Let $G$ be an abelian group, a basis for $G$ is a linearly independant subset that generates $G$.