Assertion: free abelian group | /r/HasProperty | defined via its universal property
Facets:
value: with obvious modifications
type: OTHER
value: in the analogous way
type: MANNER
Source sentences:
text: The free abelian group on a set S is defined via its universal property in the analogous way, with obvious modifications: Consider a pair (F, φ), where F is an abelian group and φ: S →