Over a DVR with finite residue field, a free submodule of full rank in a finite free module has quotient of finite length.

Initializing...

Over a DVR with finite residue field, a free submodule of full rank in a finite free module has quotient of finite length. · Prove2Me