1. Prove: a UFD is integral closed.
\begin{proof}
Let be a UFD, and let be its fraction field. To show is UFD, it suffices to show for any which is integral over , . Assume that with and . If is integral over , there exist such that
Since is a UFD, we know and so . It deduces that by . Then and we have done.
\end{proof}
2. Give an example of an -module such that the subset
is not a submodule.
\begin{proof}
Let and be an -module. Then as . If is a submodule, then , which is a contradiction. Hence is not a submodule.
\end{proof}
3. Prove: Assume is an integral domain. For any -module we have:
- (a) .
- (b) .
\begin{proof}
(a) Since is an integral domain, is an -submodule of . We have , as is an -submodule of . On the other hand, for any , there exists non-zero such that . So and so . Now we finish the proof.
(b) If there exists such that , then there exists nonzero such that , that is, . So there exists nonzero such that . Since is an integral domain, and so . Hence, for all . Therefore, .
\end{proof}
4. Show: Let be a finitely generated torsion free -module, let (so is identified with an -submodule of ).
- (a) If for some basis of and some , , then whenever is a basis of , there exists , , such that
- (b) If and are fractional modules in , then and are also fractional modules.
\begin{proof}
(a) Since both and are bases of , there exists an invertible matrix such that for each . Let be the inverse matrix, where can be written as for some with . Define . Then for all and so
For any , we have and so with . It deduces that
Since and , the coefficients belong to . Therefore and is what we desired.
b) Assume that and are fraction modules in , respectively. Then there exist bases and such that generates , and . Then generate and , where is a basis of . Hence is a fractional -module in .
Similarly, generates and assume is a set of basis of . Then
where and are bases of and , respectively, which are extensions of the basis of . Furthermore, satisfies and . Thus is a fractional -module in .
\end{proof}