Assertion: abelian group's subgroup | /r/HasProperty | infinite cyclic
Facets:
Source sentences:
text: This result of Richard Dedekind was a precursor to the analogous Nielsen–Schreier theorem that every subgroup of a free group is free, and is a generalization of the fact that every nontrivial subgroup of the infinite cyclic group is infinite cyclic.