Assertion: free abelian group | /r/HasProperty | projective objects
Facets:
value: precisely
type: MANNER
value: in the category of abelian groups
type: OTHER
Source sentences:
text: Furthermore, assuming the axiom of choice, the free abelian groups are precisely the projective objects in the category of abelian groups.