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:

  • In particular, for any -module , any epimorphism has a section, that is, there is a morphism such that . In that case, is injective, and .
Link to original

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}