Assertion: free abelian group | /r/HasAspect | following universal property
Facets:
Source sentences:
text: A free abelian group F {\displaystyle F} with basis B {\displaystyle B} has the following universal property: for every function f {\displaystyle f} from B {\displaystyle B} to an abelian group A {\displaystyle A} , there exists a unique group homomorphism from F {\displaystyle F} to A {\displaystyle A} which extends f {\displaystyle f} .