Notre Dame Journal of Formal Logic

Deissler Rank Complexity of Powers of Indecomposable Injective Modules

R. Chartrand and T. Kucera
Source: Notre Dame J. Formal Logic Volume 35, Number 3 (1994), 398-402.

Abstract

Minimality ranks in the style of Deissler are one way of measuring the structural complexity of minimal extensions of first-order structures. In particular, positive Deissler rank measures the complexity of the injective envelope of a module as an extension of that module. In this paper we solve a problem of the second author by showing that certain injective envelopes have the maximum possible positive Deissler rank complexity. The proof shows that this complexity naturally reflects the internal structure of the injective extension in the form of the levels of the Matlis hierarchy.

First Page: Show Hide
Primary Subjects: 03C60
Secondary Subjects: 13C11
Links and Identifiers

Permanent link to this document: http://projecteuclid.org/euclid.ndjfl/1040511345
Mathematical Reviews number (MathSciNet): MR1326121
Digital Object Identifier: doi:10.1305/ndjfl/1040511345
Zentralblatt MATH identifier: 0840.03026

References

[1] Deissler, R., ``Minimal models," The Journal of Symbolic Logic, vol. 42 (1977), pp. 254--260.
Mathematical Reviews (MathSciNet): MR58:27443
Zentralblatt MATH: 0393.03019
Digital Object Identifier: doi:10.2307/2272127
[2] Eklof, P., and G. Sabbagh, ``Model completions and modules," Annals of Mathematical Logic, vol. 2 (1971), pp. 251--295.
Mathematical Reviews (MathSciNet): MR43:3105
Zentralblatt MATH: 0227.02029
Digital Object Identifier: doi:10.1016/0003-4843(71)90016-7
[3] Kucera, T., ``Generalizations of Deissler's minimality rank," The Journal of Symbolic Logic, vol. 53 (1988), pp. 269--283.
Mathematical Reviews (MathSciNet): MR89i:03065
Zentralblatt MATH: 0654.03021
Digital Object Identifier: doi:10.2307/2274444
[4] Kucera, T., ``Positive Deissler rank and the complexity of injective modules," The Journal of Symbolic Logic, vol. 53 (1988), pp. 284--293.
Mathematical Reviews (MathSciNet): MR89i:03066
Zentralblatt MATH: 0654.03022
Digital Object Identifier: doi:10.2307/2274445
[5] Kucera, T., ``Explicit descriptions of injective envelopes: generalizations of a result of Northcott," Communications in Algebra, vol. 17 (1989), 2703--2715.
Mathematical Reviews (MathSciNet): MR91e:16005
Zentralblatt MATH: 0692.16015
Digital Object Identifier: doi:10.1080/00927878908823871
[6] Matlis, E., ``Injective modules over Noetherian rings," Pacific Journal of Mathematics, vol. 8 (1958), pp. 511--528.
Mathematical Reviews (MathSciNet): MR20:5800
Zentralblatt MATH: 0084.26601
Project Euclid: euclid.pjm/1103039896
[7] Northcott, D., Ideal Theory, Cambridge University Press, Cambridge, 1953.
Mathematical Reviews (MathSciNet): MR15,390f
Zentralblatt MATH: 0052.26801
[8] Prest, M., Model Theory and Modules, London Mathematical Society Lecture Note Series, vol. 130, Cambridge University Press, Cambridge, 1988.
Mathematical Reviews (MathSciNet): MR89h:03061
Zentralblatt MATH: 0634.03025
[9] Woodrow, R., and J. Knight, ``A complete theory with arbitrarily large minimality ranks," The Journal of Symbolic Logic, vol. 48 (1983), pp. 321--328.
Mathematical Reviews (MathSciNet): MR84m:03050
Zentralblatt MATH: 0538.03026
Digital Object Identifier: doi:10.2307/2273549

2012 © University of Notre Dame

Notre Dame Journal of Formal Logic

Notre Dame Journal of Formal Logic

Turn MathJax Off
What is MathJax?