Hostname: page-component-cb9f654ff-nr592 Total loading time: 0 Render date: 2025-08-31T07:47:00.825Z Has data issue: false hasContentIssue false

An ω 1-categorical ring which is not almost strongly minimal

Published online by Cambridge University Press:  12 March 2014

K.-P. Podewski
Affiliation:
Technische Universität Hannover, Hannover, West Germany (BRD)
J. Reineke
Affiliation:
Technische Universität Hannover, Hannover, West Germany (BRD)

Extract

A very important example of almost strongly minimal theories are the algebraically closed fields. A. Macintyre has shown [3] that every ω 1-categorical field is algebraically closed. Therefore every ω 1-categorical field is almost strongly minimal. It will be shown that not every ω 1-categorical ring is almost strongly minimal.

Let R 0 be the factor ring C[y/(y 2), where C[y] is the ring of polynomials in the indeterminate y over the field of complex numbers and (y 2) the ideal generated by y 2 in C[y].

It is straightforward to prove that R 0 has the following properties:

1. R 0 is a commutative ring with identity.

2. R 0 is of characteristic 0.

3. For every polynomial p(x) = ∑ a 1 x 1R 0[x] with of a i 2 ≠ 0 for some i > 0 there is an aR 0 such that p(a) · p(a) = 0.

4. For all x, yR 0 such that x 2 = 0 and y ≠ 0 there exists a zR 0 with y · z = x.

5. There is an x ≠ 0 such that x 2 = 0.

These properties can be ∀∃-axiomatised in a countable first order logic (see [4]). Let T be the set of these sentences. With Theorem 7 we get that T is model-complete.

If R is a model of T then I shall denote {aRa 2 = 0}.

Information

Type
Research Article
Copyright
Copyright © Association for Symbolic Logic 1974

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.)

Article purchase

Temporarily unavailable

References

REFERENCES

[1] Baldwin, J. T. and Lachlan, A. H., On strongly minimal sets, this Journal, vol. 36 (1971), pp. 79–96.Google Scholar
[2] Baldwin, J. T., Almost strongly minimal theories. I, this Journal, vol. 37 (1972), pp. 487–493.Google Scholar
[3] Macintyre, A., On ω1-categorical theories of fields, Fundamenta Mathematicae, vol. 71 (1971), pp. 1–25.CrossRefGoogle Scholar
[4] Sacks, G. E., Saturated model theory, Mathematics Lecture Note Series, Benjamin, Reading, Mass., 1972.Google Scholar
[5] Zariski, O. and Samuel, P., Commutative algebra. II, Van Nostrand, Princeton, N.J., 1960.Google Scholar