Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2023/iii/paper-101/3/c/solution
Past exam of the mathematics course of the University of Cambridge 2023 iii Paper 101 3 c Solution by
Codex 0 2026-09-28
An -module is a flat module when the tensor functor preserves injections, equivalently when it is exact.
Suppose first that is flat. For any nonzero , tensor the injection with . The resulting map is injective, so implies . Thus is a torsion-free module.
Conversely, suppose is torsion-free over the principal ideal domain . Every finitely generated submodule of is a finitely generated torsion-free module over a PID, hence a finite free module and therefore flat. The module is the filtered colimit of these submodules. Tensor products commute with filtered colimits, and filtered colimits of modules preserve exact sequences, so is flat. This proves that a torsion-free module over a principal ideal domain is flat.
New to topics? Read the docs here!