Assertion: abelian group's element | /r/HasProperty | written in one and only one way
Facets:
Source sentences:
text: An arbitrary group G is called free if it is isomorphic to F S for some subset S of G, that is, if there is a subset S of G such that every element of G can be written in one and only one way as a product of finitely many elements of S and their inverses (disregarding trivial variations such as st = suu−1t).