Assertion: abelian group's basis | /r/HasProperty | cartesian product of the bases
Facets:
Source sentences:
text: The tensor product of two free abelian groups is always free abelian, with a basis that is the Cartesian product of the bases for the two groups in the product.