Hostname: page-component-586b7cd67f-g8jcs Total loading time: 0 Render date: 2024-11-24T05:44:21.490Z Has data issue: false hasContentIssue false
  • English
  • Français

Algebraically closed commutative local rings

Published online by Cambridge University Press:  12 March 2014

K.-P. Podewski  and
Joachim Reineke
K.-P. Podewski
Affiliation:
Technische Universitat, D-3 Hannover, Welfengarten 1, Federal Republic of Germany
Joachim Reineke
Affiliation:
Technische Universitat, D-3 Hannover, Welfengarten 1, Federal Republic of Germany
Get access Rights & Permissions [Opens in a new window]

Extract

A commutative ring R with identity is called a local ring if R has only one maximal ideal. This is equivalent to saying that the sum of two nonunits is a non-unit. Therefore the theory of all commutative local rings is axiomatizible by a finite set of A2-sentences. A commutative local ring with identity is said to be an algebraically closed local ring if every finite system of polynomial equations and inequations in one or more variables with coefficients in R which has a solution in some commutative local extension of R already has a solution in R. Much work connected with algebraically closed structures of classes of rings has been done, for example by Cherlin [2], Macintyre [4] and Lipschitz and Saracino [3]. We want to show similar results for commutative local rings with identity. Our main results are the following:

Theorem. The theory of commutative local rings with identity has no model-companion.

The finitely generic and infinitely generic local rings are algebraically closed local rings.

Theorem. There is an A3 sentence which holds for all finitely generic local rings whose negation holds in every infinitely generic local ring.

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 44 , Issue 1 , March 1979 , pp. 89 - 94
Copyright
Copyright © Association for Symbolic Logic 1979

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

[1]Barwise, J. and Robinson, A., Completing theories by forcing, Annals of Mathematical Logic, vol. 2(1970), pp. 119–142.CrossRefGoogle Scholar
[2]Cherlin, G., Algebraically closed commutative rings, this Journal, vol. 38(1973), pp. 493–499.Google Scholar
[3]Lipschitz, L. and Saracino, D., The model companion of the theory of commutative rings without nilpotent elements, Proceedings of the American Mathematical Society, vol. 38(1973), pp. 381–387.CrossRefGoogle Scholar
[4]Macintyre, A., On algebraically closed division rings (to appear).Google Scholar
[5]Nagata, M., Local rings, Interscience Tracts, vol. 13(1962).Google Scholar