Elementary duality of modules

Author:

Herzog Ivo

Abstract

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

Publisher

American Mathematical Society (AMS)

Subject

Applied Mathematics,General Mathematics

Reference8 articles.

1. Model-completions and modules;Eklof, Paul;Ann. Math. Logic,1970

2. Ivo Herzog, Some model theory of modules, Doctoral Dissertation, Univ. Notre Dame, 1989.

3. Grundlehren der Mathematischen Wissenschaften, No. 191;Faith, Carl,1976

4. London Mathematical Society Lecture Note Series;Prest, Mike,1988

5. Definability problems for modules and rings;Sabbagh, Gabriel;J. Symbolic Logic,1971

Cited by 68 articles. 订阅此论文施引文献 订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献

1. Notes on model theory of modules over Dedekind domains;Bollettino dell'Unione Matematica Italiana;2023-07-03

2. Decidability for the Theory of Modules over a Prüfer Domain;International Mathematics Research Notices;2022-12-28

3. Maranda’s theorem for pure-injective modules and duality;Canadian Journal of Mathematics;2022-03-17

4. Index;Homological Theory of Representations;2021-11-18

5. Notation;Homological Theory of Representations;2021-11-18

同舟云学术

1.学者识别学者识别

2.学术分析学术分析

3.人才评估人才评估

"同舟云学术"是以全球学者为主线,采集、加工和组织学术论文而形成的新型学术文献查询和分析系统,可以对全球学者进行文献检索和人才价值评估。用户可以通过关注某些学科领域的顶尖人物而持续追踪该领域的学科进展和研究前沿。经过近期的数据扩容,当前同舟云学术共收录了国内外主流学术期刊6万余种,收集的期刊论文及会议论文总量共计约1.5亿篇,并以每天添加12000余篇中外论文的速度递增。我们也可以为用户提供个性化、定制化的学者数据。欢迎来电咨询!咨询电话:010-8811{复制后删除}0370

www.globalauthorid.com

TOP

Copyright © 2019-2024 北京同舟云网络信息技术有限公司
京公网安备11010802033243号  京ICP备18003416号-3