Hostname: page-component-cd9895bd7-gxg78 Total loading time: 0 Render date: 2024-12-25T19:08:03.307Z Has data issue: false hasContentIssue false

Some model theory of modules. I. On total transcendence of modules

Published online by Cambridge University Press:  12 March 2014

Philipp Rothmaler*
Affiliation:
Akademie der Wissenschaften der DDR, Institut für Mathematik, 1080 Berlin, Democratic Republic of Germany

Extract

This is the first part of a series of papers on certain topics of model theory of modules, which will further consist of Part II. On stability and categoricity of flat modules and Part III. On infiniteness of sets definable in modules. Although these parts are only weakly connected, it is convenient to have common background and notation. The first part was written in Summer 1980, when I did not know about either footnote (3) appearing in the final version of [GA 2] or about the work of the “Bedford College Group” concerning stability theory of modules. I would like to thank Wilfrid Hodges and Mike Prest for their interest in this note, which encouraged me to include it as the first part of the present series, and for acquainting me with their unpublished work, to which I refer in footnotes. I should also like to thank the referee for his suggestions, in particular for correcting the argument in Remark (5) and for drawing my attention to [Z-H].

A syntactical analysis of Zimmermann's notion of “endlich matriziellen Untergruppen” of modules [ZI, p. 1087] shows that it coincides with the notion of subgroups definable by positive primitive formulae (without parameters) [GA 1, p. 80]. Then combination of [ZI, Folgerung 3.4] with [GA 1, Lemma 5] (or [GA 2, Theorem 1] for uncountable rings) yields purely algebraic criteria for total transcendence of modules. I present here a proof of this result using only the following facts.

(G1) A module M is totally transcendental iff it satisfies the minimal condition on subgroups definable by positive primitive formulae (without parameters) [GA 1, Lemma 5] (and [GA 2, Theorem 1] for uncountable rings).

Type
Research Article
Copyright
Copyright © Association for Symbolic Logic 1983

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[ES]Eklof, P. and Sabbagh, G., Model-completions of modules, Annals of Mathematical Logic, vol. 2 (1971), pp. 251295.CrossRefGoogle Scholar
[FA]Faith, C., Algebra. I, II, Springer-Verlag, Berlin and New York, 1973, 1976.CrossRefGoogle Scholar
[GA 1]Garavaglia, S., Direct product decomposition of theories of modules, this Journal, vol. 44 (1979), pp. 7788.Google Scholar
[GA 2]Garavaglia, S., Decomposition of totally transcendental modules, this Journal, vol. 45 (1980), pp. 155164.Google Scholar
[GJ]Gruson, L. and Jensen, C.V., Deux applications de la notion de L-dimension, Comptes Rendus Hebdomadaires des Séances de l'Académie des Sciences, Series A et B. (Paris), vol. 282 (1976), pp. 2324.Google Scholar
[MRN]Mycielski, J. and Ryll-Nardzewski, C., Equationally compact algebras. II, Fundamenta Mathematical vol. 61 (1968), pp. 271281.CrossRefGoogle Scholar
[PR]Prest, M., Pure-injectives and T-injective hulls of modules, preprint.Google Scholar
[SE]Sabbagh, G. and Eklof, P., Definability problems for modules and rings, this Journal, vol. 36 (1971), pp. 623649.Google Scholar
[SH]Shelah, S., The lazy model-theoretician's guide to stability, Logique et Analyse, vol. 71–72 (1975), pp. 241308.Google Scholar
[WE]Wȩglorz, B., Equationally compact algebras. I, Fundamenta Mathematicae, vol. 59 (1966), pp. 289298.CrossRefGoogle Scholar
[ZI]Zimmermann, W., Rein injektive direkte Summen von Moduln, Communications in Algebra, vol. 52(1977), pp. 10831117.CrossRefGoogle Scholar
[ZZ]Zimmermann-Huisgen, B. and Zimmermann, W., Algebraically compact rings and modules, Mathematische Zeitschrift, vol. 161 (1978), pp. 8193.CrossRefGoogle Scholar
[Z-H]Zimmermann-Huisgen, B., Rings whose modules are direct sums of indecomposable modules, Proceedings of the American Mathematical Society, vol. 77 (1979), pp. 191197.CrossRefGoogle Scholar