free modules lecture note
free modules lecture note
Remark 29.4. This is the same property as for the free group on n genera-
tors: Any ordered n-tuple of elements of a group G determines a unique map
from Fn to G.
where the middle equality is using the property of M being an R-module. This
is also an R-module homomorphism because
X(r(a1 , . . . , an )) = X((ra1 , . . . , ran ))
= (ra1 )x1 + . . . + (ran )xn
= r(a1 x1 + . . . an xn )
= rX((a1 , . . . , an ))
Again, the penultimate equality is using the fact that M is an R-module. �
Chit-chat 29.6. You’ll recognize these terms from linear algebra. And in
terms of equations, these definitions mean exactly what you’d imagine:
5. Corollaries
Corollary 29.15. If M is a finitely generated vector space, then any two
bases of M have the same number of elements in it.
Proof. If the {vi } and {wi } above are both spanning and linearly inde-
pendent, we have n ≥ m and m ≥ n. Hence m = n. �
Remark 29.17. This is the single most important fact in linear algebra:
That we have a notion of dimension. It took us thousands of years to know
what we mean by an n-dimensional space, so don’t take this lightly!
Remark 29.20. This is definitely not true for R-modules if R is not a field—
after all, any finite abelian group is a Z-module, but any free Z-module is the
zero module or an infinite module.