User:TakuyaMurata/Algebra exercises
Appearance
- An integral domain is a PID if and only if every submodule of a free module over it is free.
- Not every module contains a maximal free submodule. (Consider Q as a Z-module?.)
- Not every module contains a maximal submodule.
- Discuss: countably generated modules and continuum hypothesis