ON CLOSED SUBMODULES OF A FINITE RANK FREE MODULE OVER A COMPLETE DVR
Fuhrmann [1] introduced the complete notion of a subspace of formal series in terms of an algebraic condition connected to certain projection. In this paper, we show that this algebraic condition can be adapted to obtain a characterization of closed submodules of a finite rank free module over a complete discrete valuation domain (DVR).
complete discrete valuation domain, closed submodule, exact sequence, p-adic topology, projection.
