Namespaces
Variants
Actions

Difference between revisions of "Transfer principle"

From Encyclopedia of Mathematics
Jump to: navigation, search
(TeX)
m (links)
Line 1: Line 1:
 
{{TEX|done}}
 
{{TEX|done}}
A principle that allows one to transfer assertions from one [[Algebraic system|algebraic system]] to another. The completeness of an [[Elementary theory|elementary theory]] $T$ yields a transfer principle for the models of $T$: every elementary sentence (i.e., closed formula in the first-order language of $T$) is true in all models of $T$ if it is true in at least one model. For example, the completeness of the theory of algebraically closed fields of fixed characteristic means that every elementary sentence in the language of fields which holds in one [[Algebraically closed field|algebraically closed field]] will also hold in all other algebraically closed fields of the same characteristic. This is an elementary version of the Lefschetz principle, which was introduced and partially proved by S. Lefschetz and A. Weil and states (roughly speaking) that [[Algebraic geometry|algebraic geometry]] over all algebraically closed fields of a fixed characteristic is the same ( "there is but one algebraic geometry in characteristic p" ) (cf. [[#References|[a1]]]). But Lefschetz and Weil did not have in mind only the elementary sentences. That is why Weil worked with universal domains, that is, algebraically closed fields of infinite transcendence degree over their [[Prime field|prime field]]. So, the conjecture was that there is but one algebraic geometry over universal domains of fixed characteristic. A satisfactory formalization and model-theoretic proof is due to P. Eklof [[#References|[a2]]]. It uses the infinitary language $L_{\infty\omega}$, which admits infinite conjunctions and disjunctions in one sentence. With such a sentence, one can express the fact that a field has infinite transcendence degree over its prime field. This cannot be done with a single elementary sentence. Indeed, algebraically closed fields are elementarily equivalent to the algebraic closure of their prime field, even if they have infinite transcendence degree.
 
  
The analogue of the elementary Lefschetz principle for real algebraic geometry is the Tarski principle (the completeness of the elementary theory of real closed fields, cf. [[Real closed field|Real closed field]]). A similar principle is known for $p$-adically closed fields (cf. [[P-adically closed field|$p$-adically closed field]]). The Ax–Kochen–Ershov principles in the [[Model theory of valued fields|model theory of valued fields]] can be viewed as conditioned transfer principles.
+
A principle that allows one to transfer assertions from one [[algebraic system]] to another. The completeness of an [[elementary theory]] $T$ yields a transfer principle for the models of $T$: every elementary sentence (i.e., closed formula in the first-order language of $T$) is true in all models of $T$ if it is true in at least one model. For example, the completeness of the theory of algebraically closed fields of fixed characteristic means that every elementary sentence in the language of fields which holds in one [[algebraically closed field]] will also hold in all other algebraically closed fields of the same characteristic. This is an elementary version of the Lefschetz principle, which was introduced and partially proved by S. Lefschetz and A. Weil and states (roughly speaking) that [[Algebraic geometry|algebraic geometry]] over all algebraically closed fields of a fixed characteristic is the same ( "there is but one algebraic geometry in characteristic p" ) (cf. [[#References|[a1]]]). But Lefschetz and Weil did not have in mind only the elementary sentences. That is why Weil worked with universal domains, that is, algebraically closed fields of infinite transcendence degree over their [[Prime field|prime field]]. So, the conjecture was that there is but one algebraic geometry over universal domains of fixed characteristic. A satisfactory formalization and model-theoretic proof is due to P. Eklof [[#References|[a2]]]. It uses the infinitary language $L_{\infty\omega}$, which admits infinite conjunctions and disjunctions in one sentence. With such a sentence, one can express the fact that a field has infinite transcendence degree over its prime field. This cannot be done with a single elementary sentence. Indeed, algebraically closed fields are elementarily equivalent to the algebraic closure of their prime field, even if they have infinite transcendence degree.
 +
 
 +
The analogue of the elementary Lefschetz principle for real algebraic geometry is the [[Tarski principle]] (the completeness of the elementary theory of [[real closed field]]s). A similar principle is known for $p$-adically closed fields (cf. [[P-adically closed field|$p$-adically closed field]]). The Ax–Kochen–Ershov principles in the [[model theory of valued fields]] can be viewed as conditioned transfer principles.
  
 
====References====
 
====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top"> G. Cherlin, "Model theoretic algebra" ''J. Symb. Logic'' , '''41''' (1976) pp. 537–545 {{MR|0539999}} {{MR|0411961}} {{ZBL|0338.02029}} {{ZBL|0332.02056}} </TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top"> P.C. Eklof, "Lefschetz's principle and local functors" ''Proc. Amer. Math. Soc.'' , '''37''' (1973) pp. 333–339 {{MR|325389}} {{ZBL|}} </TD></TR></table>
+
<table>
 +
<TR><TD valign="top">[a1]</TD> <TD valign="top"> G. Cherlin, "Model theoretic algebra" ''J. Symb. Logic'' , '''41''' (1976) pp. 537–545 {{MR|0539999}} {{MR|0411961}} {{ZBL|0338.02029}} {{ZBL|0332.02056}} </TD></TR>
 +
<TR><TD valign="top">[a2]</TD> <TD valign="top"> P.C. Eklof, "Lefschetz's principle and local functors" ''Proc. Amer. Math. Soc.'' , '''37''' (1973) pp. 333–339 {{MR|325389}} {{ZBL|}} </TD></TR>
 +
</table>

Revision as of 20:09, 25 November 2016


A principle that allows one to transfer assertions from one algebraic system to another. The completeness of an elementary theory $T$ yields a transfer principle for the models of $T$: every elementary sentence (i.e., closed formula in the first-order language of $T$) is true in all models of $T$ if it is true in at least one model. For example, the completeness of the theory of algebraically closed fields of fixed characteristic means that every elementary sentence in the language of fields which holds in one algebraically closed field will also hold in all other algebraically closed fields of the same characteristic. This is an elementary version of the Lefschetz principle, which was introduced and partially proved by S. Lefschetz and A. Weil and states (roughly speaking) that algebraic geometry over all algebraically closed fields of a fixed characteristic is the same ( "there is but one algebraic geometry in characteristic p" ) (cf. [a1]). But Lefschetz and Weil did not have in mind only the elementary sentences. That is why Weil worked with universal domains, that is, algebraically closed fields of infinite transcendence degree over their prime field. So, the conjecture was that there is but one algebraic geometry over universal domains of fixed characteristic. A satisfactory formalization and model-theoretic proof is due to P. Eklof [a2]. It uses the infinitary language $L_{\infty\omega}$, which admits infinite conjunctions and disjunctions in one sentence. With such a sentence, one can express the fact that a field has infinite transcendence degree over its prime field. This cannot be done with a single elementary sentence. Indeed, algebraically closed fields are elementarily equivalent to the algebraic closure of their prime field, even if they have infinite transcendence degree.

The analogue of the elementary Lefschetz principle for real algebraic geometry is the Tarski principle (the completeness of the elementary theory of real closed fields). A similar principle is known for $p$-adically closed fields (cf. $p$-adically closed field). The Ax–Kochen–Ershov principles in the model theory of valued fields can be viewed as conditioned transfer principles.

References

[a1] G. Cherlin, "Model theoretic algebra" J. Symb. Logic , 41 (1976) pp. 537–545 MR0539999 MR0411961 Zbl 0338.02029 Zbl 0332.02056
[a2] P.C. Eklof, "Lefschetz's principle and local functors" Proc. Amer. Math. Soc. , 37 (1973) pp. 333–339 MR325389
How to Cite This Entry:
Transfer principle. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Transfer_principle&oldid=39814
This article was adapted from an original article by F.-V. Kuhlmann (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article