Assertion: abelian group's property | /r/HasProperty | generalized to free modules
Facets:
value: over a principal ideal domain
type: OTHER
Source sentences:
text: On the other hand, many important properties of free abelian groups may be generalized to free modules over a principal ideal domain.