If (i) holds, the submodule theorem for free modules over a principal ideal domain says that any submodule is free. Its rank is at most , since tensoring the inclusion with embeds into . Hence has at most generators, proving (iv).
Articles by others on the same topic
There are currently no matching articles.