Assertion: abelian group's subgroup | /r/HasProperty | early version of this
Facets:
value: very
type: DEGREE
Source sentences:
text: Basic subgroups" are a very early version of this, but later on you get explicit descriptions of modules over valuation rings, etc.