Hostname: page-component-8448b6f56d-sxzjt Total loading time: 0 Render date: 2024-04-19T20:21:16.474Z Has data issue: false hasContentIssue false
  • English
  • Français

Some model theory of modules. II. on stability and categoricity of flat modules

Published online by Cambridge University Press:  12 March 2014

Philipp Rothmaler
Philipp Rothmaler*
Affiliation:
Akademie der Wissenschaften der DDR, 1080 Berlin, East Germany
Get access Rights & Permissions [Opens in a new window]

Extract

This is the second part of a study on model theory of modules begun in [RO]. Throughout, I refer to that paper as “Part I”. I observed there a coincidence between some algebraic and logical points of view in the theory of modules, which led to a convenient representation of p.p. definable sets in flat modules (§1); it becomes especially nice in the case of regular rings (cf. Remark 7 in Part I). Using this in the present paper I obtain a simplified criterion for total transcendence and superstability in the case of flat modules. This enables me to give, besides partial results for arbitrary flat modules (§2), a complete description of the stability classes for modules over regular rings (§3). Particularly, it turns out that a totally transcendental module over a regular ring can be regarded as a module over a semisimple ring (cf. Remark 10 in Part I). This is the crucial observation for the examination of categoricity here: By Morley's theorem, a countable ℵ1-categorical theory is totally transcendental. Consequently, an ℵ1-categorical module over a countable regular ring can be regarded as a module over a semisimple ring. That is why I separately treat categoricity of modules over semisimple rings (§4), even without any assumption on the power of the ring. As a consequence I obtain a complete description of ℵ1-categorical modules over countable regular rings (§5). In the investigation presented here the main tool is the technique of idempotents avoiding the commutativity assumption made in the corresponding results of Garavaglia [GA 1, pp. 86–88], who used maximal ideals for that purpose. At the end of the present paper I show how to derive these latter results in our context.

On the way I simplify the known criterion for elementary equivalence for modules over regular rings (§3), which simplifies again in case of semisimple rings (§4). Such a criterion is needed in order to construct Vaughtian pairs (in the categoricity consideration) and it turns out to be useful also for another purpose treated in the third part of this series of papers.

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 48 , Issue 4 , December 1983 , pp. 970 - 985
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

[BA 1]Baur, W., ℵ0-categorical modules, this Journal, vol. 40 (1975), pp. 213–220.Google Scholar
[BA 2]Baur, W., Elimination of quantifiers for modules, Israel Journal of Mathematics, vol. 25 (1976), pp. 64–70.CrossRefGoogle Scholar
[BO]Bourbaki, N., Algèbre commutative, Chapitres 1 et 2, Hermann, Paris, 1961.Google Scholar
[BOU]Bouscaren, E., Modules existentiellement clos: types et modeles premiers, Thèse du 3ième Cycle, Université Paris VII, 1979.Google Scholar
[CR]Cherlin, G. and Rosenstein, J.G., On ℵ0-categorical abelian by finite groups, Journal of Algebra, vol. 57 (1978), pp. 188–226.CrossRefGoogle Scholar
[FA]Faith, C., Algebra. I, II, Springer-Verlag, Berlin and New York, 1973/1976.Google Scholar
[GA 1]Garavalia, S., Direct product decomposition of theories of modules, this Journal, vol. 44 (1979), pp. 77–88.Google Scholar
[GA 2]Garavalia, S., Decomposition of totally transcendental modules, this Journal, vol. 45 (1980), pp.155–164.Google Scholar
[GJ]Gruson, L. and Jensen, C.U., Dimensions cohomologiques reliees aux foncteurs , Copenhagen Univ. Math. Inst, preprint no. 19, 1980.Google Scholar
[GO]Goodearl, K.R., Von Neumann regular rings, Pitman, London, 1979.Google Scholar
[LA]Lambek, J., Lectures on rings and modules, Blaisdell, Waltham, Mass., 1966.Google Scholar
[RO]Rothmaler, Ph., Some model theory of modules. I: On total transcendence of modules, this Journal, vol. 48 (1983), pp. 570–574.Google Scholar
[SA]Sabbagh, G., Sous-modules purs, existentiellements clos et élémentaires, Comptes Rendus Hebdomadaires des Séances de l'Académic de Sciences de Paris, Séries A et B, vol. 272 (1971), pp. A1289–A1292.Google Scholar
[SE]Sabbagh, G. and Eklof, P., Definability problems for modules and rings, this Journal, vol. 36 (1971), pp. 623–649.Google Scholar
[SH]Shelah, S., Classification theory and the number of nonisomorphic models, North-Holland, Amsterdam, 1978.Google Scholar
[WE]Wȩglorz, B., A note on “Atomic compactness in ℵ1-categorical Horn theories” by John T. Baldwin, Fundamenta Mathematicae, vol. 93 (1976), pp. 181–183.CrossRefGoogle Scholar
[ZI]Zimmermann, W., Rein injektive direkte Summen von Moduln, Communications in Algebra, vol. 5 (10) (1977), pp. 1083–1117.CrossRefGoogle Scholar
[ZZ]Zimmermann-Huisgen, B. and Zimmermann, W., Algebraically compact rings and modules, Mathematische Zeitschrift, vol. 161 (1978), pp. 81–93.CrossRefGoogle Scholar