Publications Meetings The Profession Membership Programs Math Samplings Policy & Advocacy In the News About the AMS
   
Mobile Device Pairing
Green Open Access
Transactions of the American Mathematical Society
Transactions of the American Mathematical Society
ISSN 1088-6850(online) ISSN 0002-9947(print)

 

Elementary duality of modules


Author: Ivo Herzog
Journal: Trans. Amer. Math. Soc. 340 (1993), 37-69
MSC: Primary 03C60; Secondary 16D90
MathSciNet review: 1091706
Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: Let $ R$ be a ring. A formula $ \varphi ({\mathbf{x}})$ in the language of left $ R$-modules is called a positive primitive formula (ppf) if it is of the form $ \exists {\mathbf{y}}\left({AB} \right)\left(\begin{array}{*{20}{c}}x\\ y\\ \end{array} \right) = 0$ where $ A$ and $ B$ are matrices of appropriate size with entries in $ R$. We apply Prest's notion of $ D\varphi ({\mathbf{x}})$, the ppf in the language of right $ R$-modules dual to $ \varphi $, to show that the model theory of left $ R$-modules as developed by Ziegler [Z] is in some sense dual to the model theory of right $ R$-modules. We prove that the topologies on the left and right Ziegler spectra are "isomorphic" (Proposition 4.4). When the lattice of ppfs is well behaved, there is a homeomorphism $ D$ between the left and right Ziegler spectra which assigns to a given pure-injective indecomposable left $ R$-module $ U$ the dual pure-injective indecomposable right $ R$-module $ DU$. Theorem 6.6 asserts that given a complete theory $ T$ of left $ R$-modules, there is a dual complete theory $ DT$ of right $ R$-modules with corresponding Baur-Garavaglia-Monk invariants. In the end, we give some conditions on a pure-injective indecomposable $ _RU$ which ensure that its dual $ DU$ may be represented as a hom set of the form $ {\operatorname{Hom}_S}{(_R}{U_S},{E_S})$ where $ S$ is some ring making $ _R{U_S}$ into a bimodule and $ {E_S}$ is injective.


References [Enhancements On Off] (What's this?)


Similar Articles

Retrieve articles in Transactions of the American Mathematical Society with MSC: 03C60, 16D90

Retrieve articles in all journals with MSC: 03C60, 16D90


Additional Information

DOI: http://dx.doi.org/10.1090/S0002-9947-1993-1091706-3
PII: S 0002-9947(1993)1091706-3
Article copyright: © Copyright 1993 American Mathematical Society