English

Maranda's Theorem for Pure-Injective Modules and Duality

Representation Theory 2024-12-23 v1 Logic

Abstract

Let RR be a discrete valuation domain with field of fractions QQ and maximal ideal generated by π\pi. Let Λ\Lambda be an RR-order such that QΛQ\Lambda is a separable QQ-algebra. Maranda showed that there exists kNk\in\mathbb{N} such that for all Λ\Lambda-lattices LL and MM, if L/LπkM/MπkL/L\pi^k\simeq M/M\pi^k then LML\simeq M. Moreover, if RR is complete and LL is an indecomposable Λ\Lambda-lattice, then L/LπkL/L\pi^k is also indecomposable. We extend Maranda's theorem to the class of RR-reduced RR-torsion-free pure-injective Λ\Lambda-modules. As an application of this extension, we show that if Λ\Lambda is an order over a Dedekind domain RR with field of fractions QQ such that QΛQ\Lambda is separable then the lattice of open subsets of the RR-torsion-free part of the right Ziegler spectrum of Λ\Lambda is isomorphic to the lattice of open subsets of the RR-torsion-free part of the left Ziegler spectrum of Λ\Lambda. Finally, with kk as in Maranda's theorem, we show that if MM is RR-torsion-free and H(M)H(M) is the pure-injective hull of MM then H(M)/H(M)πkH(M)/H(M)\pi^k is the pure-injective hull of M/MπkM/M\pi^k. We use this result to give a characterisation of RR-torsion-free pure-injective Λ\Lambda-modules and describe the pure-injective hulls of certain RR-torsion-free Λ\Lambda-modules.

Keywords

Cite

@article{arxiv.1812.07802,
  title  = {Maranda's Theorem for Pure-Injective Modules and Duality},
  author = {Lorna Gregory},
  journal= {arXiv preprint arXiv:1812.07802},
  year   = {2024}
}
R2 v1 2026-06-23T06:47:25.648Z