Assertion: free abelian group | /r/HasProperty | $g(x)$
Facets:
Source sentences:
text: The free abelian group $G(X)$ generated by $X = \{A,B,C,D\}$ is the smallest abelian group containing $X$ and has no other restricting properties.
text: So, each element of the free abelian group $G(X)$ can be expressed uniquely as a sum $$ n_AA