Hostname: page-component-cd9895bd7-p9bg8 Total loading time: 0 Render date: 2024-12-25T18:45:58.133Z Has data issue: false hasContentIssue false

Definability in reducts of algebraically closed fields

Published online by Cambridge University Press:  12 March 2014

Gary A. Martin*
Affiliation:
Department of Mathematics, Purdue University Calumet Campus, Hammond, Indiana 46323

Extract

Let K be an algebraically closed field and let L be its canonical language; that is, L consists of all relations on K which are definable from addition, multiplication, and parameters from K. Two sublanguages L 1 and L 2 of L are definably equivalent if each relation in L 1 can be defined by an L 2-formula with parameters in K, and vice versa. The equivalence classes of sublanguages of L form a quotient lattice of the power set of L about which very little is known. We will not distinguish between a sublanguage and its equivalence class.

Let L m denote the language of multiplication alone, and let L a denote the language of addition alone. Let fK [X, Y] and consider the algebraic function defined by f (x, y) = 0 for x, yK. Let L f denote the language consisting of the relation defined by f. The possibilities for L mL f are examined in §2, and the possibilities for L aL f are examined in §3. In fact the only comprehensive results known are under the additional hypothesis that f actually defines a rational function (i.e., when f is linear in one of the variables), and in positive characteristic, only expansions of addition by polynomials (i.e., when f is linear and monic in one of the variables) are understood. It is hoped that these hypotheses will turn out to be unnecessary, so that reasonable generalizations of the theorems described below to algebraic functions will be true. The conjecture is that L covers L m and that the only languages between L a and L are expansions of L a by scalar multiplications.

Type
Research Article
Copyright
Copyright © Association for Symbolic Logic 1988

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

Footnotes

1

I would like to express my gratitude to my thesis advisor, Gregory Cherlin, for his generosity and guidance.

References

REFERENCES

[1] Hrushovski, Ehud, Contributions to stable model theory, Ph.D. thesis, University of California, Berkeley, California, 1986.Google Scholar
[2] Hungerford, Thomas W., Algebra, Holt, Rinehart and Winston, New York, 1974.Google Scholar
[3] Martin, Gary A., Two classification problems: rank one structures which coordinatize ℵ0-categorical, ℵ0-stable structures; reducts of algebraically closed fields, Ph.D. thesis, Rutgers University, New Brunswick, New Jersey, 1985.Google Scholar
[4] Poizat, Bruno, Une théorie de Galois imaginaire, this Journal, vol. 48 (1983), pp. 11511170.Google Scholar
[5] Zil′ber, B. I., Some problems concerning categorical theories, Bulletin de I’Académie Polonaise des Sciences, Série des Sciences Mathématiques, Astronomiques et Physiques, vol. 29 (1981), pp. 4749.Google Scholar