Assertion: abelian group | /r/HasProperty | embedded in unique way
Facets:
value: further
type: MANNER
value: as an essential subgroup
type: MANNER
Source sentences:
text: Further, every abelian group can be embedded in a divisible group as an essential subgroup in a unique way.