×

Schlanke Körper (slim fields). (English) Zbl 1218.03027

The authors introduce and study the notion of a (very) slim field. The paper contains many varied results and also presents some open questions on the subject. A field \(K\) (with possible extra structure) is slim if the model-theoretic algebraic closure in \(K\) coincides with the relative field-theoretic algebraic closure. \(K\) is very slim if all fields elementary equivalent to \(K\) are slim (e.g., finite fields, algebraically closed fields, perfect PAC fields, …). In Section 2, the authors show that very slimness is equivalent to algebraic dependence, being an abstract independence relation in the sense of Kim and Pillay, and also to the fact that topological independence (w.r.t. the Zariski topology) coincides with algebraic independence (Theorem 2.1). They also give an equivalent formulation of very slimness (Proposition 2.9). In Section 3, a body mass function is introduced and used to define the size of a field. These notions can be seen as “measuring” the “non-slimness” of a field. For example, very slim fields have size XS while a slim field may well have size S, M or L. Section 4 presents basic model-theoretic and algebraic properties of (very) slim fields. For example, the authors prove that very slim fields are perfect and do not have proper infinite definable subfields (Poposition 4.1) and that elementary substructures of slim fields are slim (Lemma 4.11). They also study the behaviour of finite field extensions (e.g., Propositions 4.6 and 4.7, Corollary 4.10) and questions of axiomatisability for slimness (Question 7). Section 5 contains two important algebraic results. Namely, large model-complete fields and henselian valued fields of characteristic 0 are shown to be very slim (Theorems 5.4 and 5.5). The paper finishes with examples of fields that are slim bot not very slim, and fields that are not slim.

MSC:

03C60 Model-theoretic algebra
12L12 Model theory of fields
PDF BibTeX XML Cite
Full Text: DOI Link

References:

[1] Journal für die Reine und Angewandte Mathematik 388 pp 189– (1988)
[2] Valued Fields (2005)
[3] DOI: 10.2307/1970573 · Zbl 0195.05701
[4] DOI: 10.1016/0003-4843(79)90008-1 · Zbl 0473.03029
[5] Proceedings of the International Symposium in Theory of Models (Berkeley) pp 299– (1963)
[6] DOI: 10.1090/S0002-9939-1959-0112842-7
[7] Journal für die Reine und Angewandte Mathematik 299 pp 318– (1978)
[8] DOI: 10.2307/2118581 · Zbl 0862.12003
[9] Journal für die Reine und Angewandte Mathematik 399 pp 137– (1989)
[10] Properties and consequences of thorn-independence 71 pp 1– (2006) · Zbl 1103.03036
[11] Defining transcendentals in function fields 67 pp 947– (2002)
[12] DOI: 10.1016/S0168-0072(97)00019-5 · Zbl 0897.03036
[13] A note on equational theories 65 pp 1705– (2000)
[14] Model-complete theories of e-free Ax fields 48 pp 1125– (1983) · Zbl 0572.03015
[15] Theories with equational forking 67 pp 326– (2002)
[16] DOI: 10.1016/0168-0072(84)90005-8 · Zbl 0591.03016
[17] Journal für die Reine und Angewandte Mathematik 427 pp 107– (1992)
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.