1. Let be a ring, and let be an R-module. Suppose that is a ring and is a ring homomorphism satisfying . Let act on by , where . Prove that is an -module.
\begin{proof}
By definition of the action, we have and . Since is a ring homomorphism, there is and so
By definition of the action, we have . Since is a ring homomorphism, we know . Thus
Since is an -module, we have
Since , we have . Therefore, is a -module.
\end{proof}
2. Let be a ring, and let and be two right -modules. Let be the set of group homomorphisms from to (as abelian groups). The action of on is given as follows: for any , define
Prove that is a left -module.
\begin{proof}
For any , we have:
Thus . We also have
that is, . Furthermore, there is
and . Therefore, and . So is a left -module.
\end{proof}
3. Let be a ring, and let be an -module. Denote . We call a faithful -module if . Define the action of the quotient ring on by , where . Prove that is a faithful -module.
\begin{proof}
Otherwise, is not faithful on . Then there exists nonzero such that for all . Since , we have and so , leading to a contradiction.
\end{proof}
4. Let be a homomorphism of -modules such that . Prove that
\begin{proof}
For any , can be written as . Note that and , then we have and . By the arbitrary of , . Since , .
\end{proof}
5. Show that any -module is a homomorphism image of some free -module.
\begin{proof}
For any -module , assume that the generator set of is . Define as the free abelian group generated by the set , then there is a -module induced naturally from the -module . By the universal property of the free abelian group, there exists a unique group homomorphism with for all . Note that , so is a homomorphism of modules. Therefore, is a homomorphism image of free -module .
\end{proof}
6. Let be a commutative ring, and suppose that is an endomorphism of the free -module . Prove that if is surjective, then is injective. Consider that: if is injective, is surjective?
\begin{proof}
Recall the following proposition mentioned in class:
Link to original
- In particular, for any -module , any epimorphism has a section, that is, there is a morphism such that . In that case, is injective, and .
By this proposition, if is surjective, then there exists a morphism such that , is injective and . Since , we have and so is injective.
Conversely, if is injective, is not necessarily surjective. For example, define . Then is injective but not surjective.
\end{proof}