Assertion: abelian group's element | /r/HasProperty | written as a product of disjoint cycles
Facets:
Source sentences:
text: Every element of S n can be written as a product of disjoint cycles; this representation is unique up to the order of the factors, and the freedom present in representing each individual cycle by choosing its starting point.