Maranda's Theorem for Pure-Injective Modules and Duality

DOI10.4153/S0008414X22000098MaRDI QIDQ6311351arXivWikidataFDO

Authors Lorna Gregory

Publication date 19 December 2018

Published in arXiv

Full work available at URL https://doi.org/10.4153/S0008414X22000098

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Representations of orders, lattices, algebras over commutative rings (16G30) Lattices over orders (16H20)

arXiv classification

math.LOmath.RT

Abstract: Let $R$ be a discrete valuation domain with field of fractions $Q$ and maximal ideal generated by $pi$. Let $Lambda$ be an $R$-order such that $QLambda$ is a separable $Q$-algebra. Maranda showed that there exists $kinmathbbN$ such that for all $Lambda$-lattices $L$ and $M$, if $L/Lp{i}^{k}simeqM/Mp{i}^k$ then $LsimeqM$. Moreover, if $R$ is complete and $L$ is an indecomposable $Lambda$-lattice, then $L/Lp{i}^k$ is also indecomposable. We extend Maranda's theorem to the class of $R$-reduced $R$-torsion-free pure-injective $Lambda$-modules. As an application of this extension, we show that if $Lambda$ is an order over a Dedekind domain $R$ with field of fractions $Q$ such that $QLambda$ is separable then the lattice of open subsets of the $R$-torsion-free part of the right Ziegler spectrum of $Lambda$ is isomorphic to the lattice of open subsets of the $R$-torsion-free part of the left Ziegler spectrum of $Lambda$. Finally, with $k$ as in Maranda's theorem, we show that if $M$ is $R$-torsion-free and $H(M)$ is the pure-injective hull of $M$ then $H(M)/H(M)p{i}^k$ is the pure-injective hull of $M/Mp{i}^k$. We use this result to give a characterisation of $R$-torsion-free pure-injective $Lambda$-modules and describe the pure-injective hulls of certain $R$-torsion-free $Lambda$-modules.

This page was built for publication: Maranda's Theorem for Pure-Injective Modules and Duality

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6311351)