An -module is free if it has a basis: a subset such that every element has a unique expression as a finite -linear combination of elements of .
Choose a maximal ideal of the nonzero ring . If , quotienting by gives
These are vector spaces over the field , so equality of dimension gives . This proves invariant basis number for a commutative ring.
A direct summand of a free module need not be free. Take . Its ideals and satisfy
so . But has three elements, whereas a finite-rank free -module has elements; hence is not free.
Let be free with basis . Given a surjection and a map , choose satisfying . There is a unique linear map with , and on every basis vector
Thus , proving that free modules are projective.
We prove by induction on that every submodule is free. The case is immediate. Let be projection onto the first coordinate. Since is a principal ideal domain,
for some . If , then and induction applies. Otherwise choose with . For every , write ; then . Also because is a domain and . Therefore
The kernel is a submodule of and is free by induction, while . Hence is free. This is the submodule theorem for free modules over a principal ideal domain.
If is finitely generated and projective, choose a surjection . Projectivity supplies with , so
Thus is a submodule of the finitely generated free module , and the result just proved shows that is free.

Articles by others on the same topic (0)

There are currently no matching articles.