Assertion: abelian group's property | /r/CapableOf | characterize free groups
Facets:
Source sentences:
text: The above property characterizes free groups up to isomorphism, and is sometimes used as an alternative definition.