Assertion: abelian group's element | /r/HasProperty | expressed as sum
Facets:
value: uniquely
type: MANNER
Source sentences:
text: So, each element of the free abelian group $G(X)$ can be expressed uniquely as a sum $$ n_AA