Filtered modules over discrete valuation domains (Q1378450)

The authors investigate the notions of a valuated module \((v\)-module) over a discrete valuation domain with prime \(p\) and the dual of a coset-valuated module \((c\)-module) in terms of filtered modules focusing on the submodules \(B(\alpha)= \{b\in B:v(b) \leq \alpha\}\) rather than on the valuations themselves. These lead them to consider a category of \({\mathcal T}\)-modules the objects of which are modules \(G\) together with a family of submodules \(G(\alpha)\) indexed by \({\mathcal T}\), where \({\mathcal T}\) is some index class. A morphism \(f:A\to B\) of \({\mathcal T}\)-modules is a module homomorphism such that \(f(A(\alpha)) \subseteq B(\alpha)\) for each \(\alpha\in {\mathcal T}\). Taking \({\mathcal T}\) to be the ordinal numbers, the authors define the notion of \(o\)-module as a module \(G\) with a family of submodules \(G(\alpha)\) indexed by the ordinals such that (1) if \(\alpha< \beta\) then \(G(\beta) \subseteq G(\alpha)\), (2) \(G(0)= G\), (3) \(pG (\alpha) \subseteq G(\alpha +1)\). An \(o\)-module is then called \(v\)-module if \(\bigcap_{\alpha <\beta} G(\alpha+1) \subseteq G(\beta)\) and it is called \(c\)-module if \(G( \alpha +1) \subseteq pG (\alpha)\). The authors then investigate properties of categories of \({\mathcal T}\)-modules and \(o\)-modules, properties of short exact sequences, relationships between \(o\)-modules, \(v\)-modules and \(c\)-modules and projective and injective \(o\)-modules.