Skip to Main Content

Transactions of the American Mathematical Society

Published by the American Mathematical Society since 1900, Transactions of the American Mathematical Society is devoted to longer research articles in all areas of pure and applied mathematics.

ISSN 1088-6850 (online) ISSN 0002-9947 (print)

The 2020 MCQ for Transactions of the American Mathematical Society is 1.48.

What is MCQ? The Mathematical Citation Quotient (MCQ) measures journal impact by looking at citations over a five-year period. Subscribers to MathSciNet may click through for more detailed information.

 

Modules and stability theory
HTML articles powered by AMS MathViewer

by Anand Pillay and Mike Prest PDF
Trans. Amer. Math. Soc. 300 (1987), 641-662 Request permission

Abstract:

Modules are now widely recognized as important examples of stable structures. In fact, in the light of results and conjectures of Zilber [Zi] (${\aleph _1}$-categorical structures are “field-like”, “module-like” or “trivial”), we may consider modules as one of the typical examples of stable structures. Our aim here is both to prove some new results in the model theory of modules and to highlight the particularly clear form of, and the algebraic content of, the concepts of stability theory when applied to modules. One of the main themes of this paper is the connection between stability-theoretic notions, such as ranks, and algebraic decomposition of models. We will usually work with $T$, a complete theory of $R$-modules, for some ring $R$. In $\S 2$ we show that the various stability-theoretic ranks, when defined, are the same. In $\S 3$ we show that $T$ (not necessarily superstable) is nonmultidimensional (in the sence of Shelah [Sh1]). In $\S 4$ we consider the algebraic content of saturation and we show, for example, that if $M$ is a superstable module then $M$ is $F_{{\aleph _0}}^a$-saturated just if $M$ is pure-injective and realizes all types in finitely many free variables over $\phi$. In $\S 5$ we use our methods to reprove Ziegler’s theorem on the possible spectrum functions. In $\S 6$ we show the profusion (in a variety of senses) of regular types. In $\S 7$ we give a structure theorem for the models of $T$ in the case where $T$ has $U$-rank 1.
References
  • Walter Baur, Elimination of quantifiers for modules, Israel J. Math. 25 (1976), no. 1-2, 64–70. MR 457194, DOI 10.1007/BF02756561
  • Edward R. Fisher, Abelian structures. I, Abelian group theory (Proc. Second New Mexico State Univ. Conf., Las Cruces, N.M., 1976) Lecture Notes in Math., Vol. 616, Springer, Berlin, 1977, pp. 270–322. MR 0540014
  • Steven Garavaglia, Direct product decomposition of theories of modules, J. Symbolic Logic 44 (1979), no. 1, 77–88. MR 523490, DOI 10.2307/2273705
  • Steven Garavaglia, Decomposition of totally transcendental modules, J. Symbolic Logic 45 (1980), no. 1, 155–164. MR 560233, DOI 10.2307/2273362
  • —, Dimension and rank in the model theory of modules, preprint, Univ. of Michigan, East Lansing, 1980.
  • Steven Garavaglia, Forking in modules, Notre Dame J. Formal Logic 22 (1981), no. 2, 155–162. MR 611483
  • W. Hodges, Modules and abelian groups (in preparation).
  • Daniel Lascar, Ranks and definability in superstable theories, Israel J. Math. 23 (1976), no. 1, 53–87. MR 409169, DOI 10.1007/BF02757234
  • Daniel Lascar, Relation entre le rang $U$ et le poids, Fund. Math. 121 (1984), no. 2, 117–123 (French, with English summary). MR 765327, DOI 10.4064/fm-121-2-117-123
  • Daniel Lascar and Bruno Poizat, An introduction to forking, J. Symbolic Logic 44 (1979), no. 3, 330–350. MR 540665, DOI 10.2307/2273127
  • Angus Macintyre, On $\omega _{1}$-categorical theories of fields, Fund. Math. 71 (1971), no. 1, 1–25. (errata insert). MR 290954, DOI 10.4064/fm-71-1-1-25
  • L. Monk, Elementary-recursive decision procedures, PhD. thesis, Univ. of California, Berkeley, 1975.
  • Anand Pillay and Mike Prest, Forking and pushouts in modules, Proc. London Math. Soc. (3) 46 (1983), no. 2, 365–384. MR 693046, DOI 10.1112/plms/s3-46.2.365
  • Bruno Poizat, Sous-groupes dĂ©finissables d’un groupe stable, J. Symbolic Logic 46 (1981), no. 1, 137–146 (French). MR 604887, DOI 10.2307/2273265
  • M. Prest, Pure-injectives and $T$-injective hulls of modules, Bedford College, 1981, preprint.
  • Mike Prest, The generalised RK-order, orthogonality and regular types for modules, J. Symbolic Logic 50 (1985), no. 1, 202–219. MR 780535, DOI 10.2307/2273799
  • D. J. S. Robinson, Finiteness conditions and generalized soluble groups, Vol. I, Springer-Verlag, Berlin, 1972.
  • Philipp Rothmaler, Total transzendente abelsche Gruppen und Morley-Rang, Akademie der Wissenschaften der DDR, Institut fĂŒr Mathematik, Berlin, 1978 (German). With English and Russian summaries; Report 1978, 5. MR 514559
  • Philipp Rothmaler, Some model theory of modules. II. On stability and categoricity of flat modules, J. Symbolic Logic 48 (1983), no. 4, 970–985 (1984). MR 727787, DOI 10.2307/2273662
  • Philipp Rothmaler, Stationary types in modules, Z. Math. Logik Grundlag. Math. 29 (1983), no. 5, 445–464. MR 716859, DOI 10.1002/malq.19830290805
  • Gabriel Sabbagh, Aspects logiques de la puretĂ© dans les modules, C. R. Acad. Sci. Paris SĂ©r. A-B 271 (1970), A909–A912 (French). MR 274506
  • Gabriel Sabbagh, Sous-modules purs, existentiellement clos et Ă©lĂ©mentaires, C. R. Acad. Sci. Paris SĂ©r. A-B 272 (1971), A1289–A1292 (French). MR 304161
  • Saharon Shelah, Classification theory and the number of nonisomorphic models, Studies in Logic and the Foundations of Mathematics, vol. 92, North-Holland Publishing Co., Amsterdam-New York, 1978. MR 513226
  • —, The spectrum problem. IV, preprint 1982
  • Martin Ziegler, Model theory of modules, Ann. Pure Appl. Logic 26 (1984), no. 2, 149–213. MR 739577, DOI 10.1016/0168-0072(84)90014-9
  • Gregory L. Cherlin, Totally categorical structures, Proceedings of the International Congress of Mathematicians, Vol. 1, 2 (Warsaw, 1983) PWN, Warsaw, 1984, pp. 301–306. MR 804687
  • Wolfgang Zimmermann, Rein injektive direkte Summen von Moduln, Comm. Algebra 5 (1977), no. 10, 1083–1117 (German). MR 450327, DOI 10.1080/00927877708822211
Similar Articles
  • Retrieve articles in Transactions of the American Mathematical Society with MSC: 03C60, 03C45, 16A45
  • Retrieve articles in all journals with MSC: 03C60, 03C45, 16A45
Additional Information
  • © Copyright 1987 American Mathematical Society
  • Journal: Trans. Amer. Math. Soc. 300 (1987), 641-662
  • MSC: Primary 03C60; Secondary 03C45, 16A45
  • DOI: https://doi.org/10.1090/S0002-9947-1987-0876470-X
  • MathSciNet review: 876470