Difference between revisions of "Local-global principles for the ring of algebraic integers"
(Importing text file) |
Ulf Rehmann (talk | contribs) m (MR/ZBL numbers added) |
||
Line 3: | Line 3: | ||
Here, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120130/l12013023.png" /> is said to be primitive if the ideal of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120130/l12013024.png" /> generated by its coefficients is the whole ring. | Here, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120130/l12013023.png" /> is said to be primitive if the ideal of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120130/l12013024.png" /> generated by its coefficients is the whole ring. | ||
− | E.C. Dade [[#References|[a2]]] rediscovered this theorem in 1963. D.R. Estes and R.M. Guralnick [[#References|[a5]]] reproved it in 1982 and drew some consequences about local-global principles for modules over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120130/l12013025.png" />. In 1984, D.C. Cantor and P. Roquette [[#References|[a1]]] considered rational functions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120130/l12013026.png" /> and proved a local-global principle for the | + | E.C. Dade [[#References|[a2]]] rediscovered this theorem in 1963. D.R. Estes and R.M. Guralnick [[#References|[a5]]] reproved it in 1982 and drew some consequences about local-global principles for modules over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120130/l12013025.png" />. In 1984, D.C. Cantor and P. Roquette [[#References|[a1]]] considered rational functions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120130/l12013026.png" /> and proved a local-global principle for the "Skolem problem with data f1…fm" (the Cantor–Roquette theorem): Suppose that for each [[Prime number|prime number]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120130/l12013027.png" /> there exists an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120130/l12013028.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120130/l12013029.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120130/l12013030.png" />. Then there exists an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120130/l12013031.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120130/l12013032.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120130/l12013033.png" />. |
Here, writing <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120130/l12013034.png" /> includes the assumption that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120130/l12013035.png" /> is not a zero of the denominator of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120130/l12013036.png" />. Also, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120130/l12013037.png" /> is the algebraic closure of the field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120130/l12013038.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120130/l12013039.png" />-adic numbers and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120130/l12013040.png" /> is its valuation ring (cf. also [[P-adic number|<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120130/l12013041.png" />-adic number]]). | Here, writing <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120130/l12013034.png" /> includes the assumption that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120130/l12013035.png" /> is not a zero of the denominator of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120130/l12013036.png" />. Also, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120130/l12013037.png" /> is the algebraic closure of the field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120130/l12013038.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120130/l12013039.png" />-adic numbers and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120130/l12013040.png" /> is its valuation ring (cf. also [[P-adic number|<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120130/l12013041.png" />-adic number]]). | ||
Line 23: | Line 23: | ||
Indeed, van den Dries proves that each statement <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120130/l12013089.png" /> about <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120130/l12013090.png" /> in the language of rings is equivalent to a quantifier-free statement about the parameters of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120130/l12013091.png" />. The latter statement, however, must be written in a language which includes extra predicates, called radicals. They express inclusion between ideals that depend on the parameters of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120130/l12013092.png" />. A special case of the main result of [[#References|[a11]]] is an improvement of van den Dries' theorem. It says that the elementary theory of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120130/l12013093.png" /> is even primitive recursively decidable. The decision procedure is based on the method of Galois stratification [[#References|[a6]]], Chap. 25, adopted to the language of rings with radical relations. | Indeed, van den Dries proves that each statement <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120130/l12013089.png" /> about <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120130/l12013090.png" /> in the language of rings is equivalent to a quantifier-free statement about the parameters of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120130/l12013091.png" />. The latter statement, however, must be written in a language which includes extra predicates, called radicals. They express inclusion between ideals that depend on the parameters of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120130/l12013092.png" />. A special case of the main result of [[#References|[a11]]] is an improvement of van den Dries' theorem. It says that the elementary theory of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120130/l12013093.png" /> is even primitive recursively decidable. The decision procedure is based on the method of Galois stratification [[#References|[a6]]], Chap. 25, adopted to the language of rings with radical relations. | ||
− | Looking for possible generalizations of the above theorems, van den Dries and A. Macintyre [[#References|[a3]]] have axiomatized the elementary theory of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120130/l12013095.png" />. The axioms are written in the language of rings extended by the | + | Looking for possible generalizations of the above theorems, van den Dries and A. Macintyre [[#References|[a3]]] have axiomatized the elementary theory of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120130/l12013095.png" />. The axioms are written in the language of rings extended by the "radical relations" mentioned above. |
A. Prestel and J. Schmid [[#References|[a10]]] take another approach to the radical relations and supply another set of axioms for the elementary theory of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120130/l12013096.png" />. Their approach yields the following analogue to Hilbert's <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120130/l12013098.png" />th problem for polynomials over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120130/l12013099.png" />, which was solved by E. Artin and O. Schreier in 1927: Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120130/l120130100.png" />. Then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120130/l120130101.png" /> belongs to the radical of the ideal generated by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120130/l120130102.png" /> in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120130/l120130103.png" /> if and only if for all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120130/l120130104.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120130/l120130105.png" /> belongs to the radical of the ideal generated by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120130/l120130106.png" /> in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120130/l120130107.png" />. | A. Prestel and J. Schmid [[#References|[a10]]] take another approach to the radical relations and supply another set of axioms for the elementary theory of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120130/l12013096.png" />. Their approach yields the following analogue to Hilbert's <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120130/l12013098.png" />th problem for polynomials over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120130/l12013099.png" />, which was solved by E. Artin and O. Schreier in 1927: Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120130/l120130100.png" />. Then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120130/l120130101.png" /> belongs to the radical of the ideal generated by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120130/l120130102.png" /> in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120130/l120130103.png" /> if and only if for all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120130/l120130104.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120130/l120130105.png" /> belongs to the radical of the ideal generated by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120130/l120130106.png" /> in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120130/l120130107.png" />. | ||
Line 32: | Line 32: | ||
====References==== | ====References==== | ||
− | <table><TR><TD valign="top">[a1]</TD> <TD valign="top"> | + | <table><TR><TD valign="top">[a1]</TD> <TD valign="top"> D.C. Cantor, P. Roquette, "On diophantine equations over the ring of all algebraic integers" ''J. Number Th.'' , '''18''' (1984) pp. 1–26 {{MR|0734433}} {{ZBL|0538.12014}} </TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top"> E.C. Dade, "Algebraic integral representations by arbitrary forms" ''Mathematika'' , '''10''' (1963) pp. 96–100 (Correction: 11 (1964), 89–90) {{MR|0166163}} {{MR|0166164}} {{ZBL|0121.28502}} </TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top"> L. van den Dries, A. Macintyre, "The logic of Rumely's local-global principle" ''J. Reine Angew. Math.'' , '''407''' (1990) pp. 33–56 {{MR|1048527}} {{ZBL|}} </TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top"> L. van den Dries, "Elimination theory for the ring of algebraic integers" ''J. Reine Angew. Math.'' , '''388''' (1988) pp. 189–205 {{MR|}} {{ZBL|0659.12021}} </TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top"> D.R. Estes, R.M. Guralnick, "Module equivalence: local to global when primitive polynomials represent units" ''J. Algebra'' , '''77''' (1982) pp. 138–157 {{MR|0665169}} {{ZBL|}} </TD></TR><TR><TD valign="top">[a6]</TD> <TD valign="top"> M.D. Fried, M. Jarden, "Field arithmetic" , ''Ergebn. Math. III'' , '''11''' , Springer (1986) {{MR|0868860}} {{ZBL|0625.12001}} </TD></TR><TR><TD valign="top">[a7]</TD> <TD valign="top"> B. Green, F. Pop, P. Roquette, "On Rumely's local-global principle" ''Jahresber. Deutsch. Math. Ver.'' , '''97''' (1995) pp. 43–74 {{MR|1341772}} {{ZBL|}} </TD></TR><TR><TD valign="top">[a8]</TD> <TD valign="top"> Y. Matijasevich, "Enumerable sets are diophantine" ''Soviet Math. Dokl.'' , '''11''' (1970) pp. 354–357 (In Russian)</TD></TR><TR><TD valign="top">[a9]</TD> <TD valign="top"> L. Moret-Bailly, "Groupes de Picard et problèmes de Skolem I" ''Ann. Sci. Ecole Norm. Sup.'' , '''22''' (1989) pp. 161–179 {{MR|}} {{ZBL|0704.14014}} </TD></TR><TR><TD valign="top">[a10]</TD> <TD valign="top"> A. Prestel, J. Schmid, "Existentially closed domains with radical relations" ''J. Reine Angew. Math.'' , '''407''' (1990) pp. 178–201 {{MR|1048534}} {{ZBL|0691.12013}} </TD></TR><TR><TD valign="top">[a11]</TD> <TD valign="top"> A. Razon, "Primitive recursive decidability for large rings of algebraic integers" ''PhD Thesis Tel Aviv'' (1996)</TD></TR><TR><TD valign="top">[a12]</TD> <TD valign="top"> R. Rumely, "Arithmetic over the ring of all algebraic integers" ''J. Reine Angew. Math.'' , '''368''' (1986) pp. 127–133 {{MR|0850618}} {{ZBL|0581.14014}} </TD></TR><TR><TD valign="top">[a13]</TD> <TD valign="top"> R. Rumely, "Capacity theory on algebraic curves" , ''Lecture Notes Math.'' , '''1378''' , Springer (1989) {{MR|1009368}} {{ZBL|0679.14012}} </TD></TR><TR><TD valign="top">[a14]</TD> <TD valign="top"> Th. Skolem, "Lösung gewisser Gleichungen in ganzen algebraischen Zahlen, insbesondere in Einheiten" ''Skr. Norske Videnskaps-Akademi Oslo I. Mat. Naturv. Kl.'' , '''10''' (1934) {{MR|}} {{ZBL|0011.19701}} </TD></TR></table> |
Revision as of 21:54, 30 March 2012
Consider the field of rational numbers and the ring
of rational integers. Let
be the field of all algebraic numbers (cf. also Algebraic number) and let
be the ring of all algebraic integers. Then
is the algebraic closure of
and
is the integral closure of
in
(cf. also Extension of a field). If
is a polynomial in
with coefficients in
and there exists an
such that
is a unit of
, then the greatest common divisor of
is
. In 1934, T. Skolem [a14] proved that the converse is also true (Skolem's theorem): Let
be a primitive polynomial with coefficients in
. Then there exists an
such that
is a unit of
.
Here, is said to be primitive if the ideal of
generated by its coefficients is the whole ring.
E.C. Dade [a2] rediscovered this theorem in 1963. D.R. Estes and R.M. Guralnick [a5] reproved it in 1982 and drew some consequences about local-global principles for modules over . In 1984, D.C. Cantor and P. Roquette [a1] considered rational functions
and proved a local-global principle for the "Skolem problem with data f1…fm" (the Cantor–Roquette theorem): Suppose that for each prime number
there exists an
such that
,
. Then there exists an
such that
,
.
Here, writing includes the assumption that
is not a zero of the denominator of
. Also,
is the algebraic closure of the field
of
-adic numbers and
is its valuation ring (cf. also
-adic number).
Skolem's theorem follows from the Cantor–Roquette theorem applied to the data by checking the local condition for each
.
One may consider the unirational variety generated in
over
by the
-tuple
. If
for each
, then, by the Cantor–Roquette theorem,
. Rumely's local-global principle [a12], Thm. 1, extends this result to arbitrary varieties: Let
be an absolutely irreducible affine variety over
. If
for all prime numbers
, then
.
R. Rumely has enhanced his local-global principle by a density theorem: Let be an affine absolutely irreducible variety over
and let
be a finite set of prime numbers. Suppose that for each
,
is a non-empty open subset of
in the
-adic topology, which is stable under the action of the Galois group
. In addition, assume that
for all
. Then there exists an
such that for each
, all conjugates of
over
belong to
, and for each
,
is
-integral.
The proof of this theorem uses complex-analytical methods, especially the Fekete–Szegö theorem from capacity theory. The latter is proved in [a13]. See [a9] for an algebraic proof of the local-global principle using the language of schemes; see [a7] for still another algebraic proof of it, written in the language of classical algebraic geometry. Both proofs enhance the theorem in various ways, see also Local-global principles for large rings of algebraic integers.
As a matter of fact, all these theorems can be proved for an arbitrary number field instead of
. One has to replace
by the ring of integers
of
and the prime numbers by the non-zero prime ideals of
. This is important for the positive solution of Hilbert's tenth problem for
[a12], Thm. 2: There is a primitive recursive procedure to decide whether given polynomials
have a common zero in
.
To this end, recall that the original Hilbert tenth problem for has a negative solution [a8] (cf. also Hilbert problems). Similarly, the local-global principle over
holds only in very few cases, such as quadratic forms.
In the language of model theory (cf. also Model theory of valued fields), this positive solution states that the existential theory of is decidable in a primitive-recursive way (cf. [a6], Chap. 17, for the notion of primitive recursiveness in algebraic geometry). L. van den Dries [a4] has strengthened this result (van den Dries' theorem): The elementary theory of
is decidable.
Indeed, van den Dries proves that each statement about
in the language of rings is equivalent to a quantifier-free statement about the parameters of
. The latter statement, however, must be written in a language which includes extra predicates, called radicals. They express inclusion between ideals that depend on the parameters of
. A special case of the main result of [a11] is an improvement of van den Dries' theorem. It says that the elementary theory of
is even primitive recursively decidable. The decision procedure is based on the method of Galois stratification [a6], Chap. 25, adopted to the language of rings with radical relations.
Looking for possible generalizations of the above theorems, van den Dries and A. Macintyre [a3] have axiomatized the elementary theory of . The axioms are written in the language of rings extended by the "radical relations" mentioned above.
A. Prestel and J. Schmid [a10] take another approach to the radical relations and supply another set of axioms for the elementary theory of . Their approach yields the following analogue to Hilbert's
th problem for polynomials over
, which was solved by E. Artin and O. Schreier in 1927: Let
. Then
belongs to the radical of the ideal generated by
in
if and only if for all
,
belongs to the radical of the ideal generated by
in
.
Needless to say that the proofs of these theorems, as well as the axiomatizations of the elementary theory of , depend on Rumely's local-global principle.
The results mentioned above have been strongly generalized in various directions; see also Local-global principles for large rings of algebraic integers.
References
[a1] | D.C. Cantor, P. Roquette, "On diophantine equations over the ring of all algebraic integers" J. Number Th. , 18 (1984) pp. 1–26 MR0734433 Zbl 0538.12014 |
[a2] | E.C. Dade, "Algebraic integral representations by arbitrary forms" Mathematika , 10 (1963) pp. 96–100 (Correction: 11 (1964), 89–90) MR0166163 MR0166164 Zbl 0121.28502 |
[a3] | L. van den Dries, A. Macintyre, "The logic of Rumely's local-global principle" J. Reine Angew. Math. , 407 (1990) pp. 33–56 MR1048527 |
[a4] | L. van den Dries, "Elimination theory for the ring of algebraic integers" J. Reine Angew. Math. , 388 (1988) pp. 189–205 Zbl 0659.12021 |
[a5] | D.R. Estes, R.M. Guralnick, "Module equivalence: local to global when primitive polynomials represent units" J. Algebra , 77 (1982) pp. 138–157 MR0665169 |
[a6] | M.D. Fried, M. Jarden, "Field arithmetic" , Ergebn. Math. III , 11 , Springer (1986) MR0868860 Zbl 0625.12001 |
[a7] | B. Green, F. Pop, P. Roquette, "On Rumely's local-global principle" Jahresber. Deutsch. Math. Ver. , 97 (1995) pp. 43–74 MR1341772 |
[a8] | Y. Matijasevich, "Enumerable sets are diophantine" Soviet Math. Dokl. , 11 (1970) pp. 354–357 (In Russian) |
[a9] | L. Moret-Bailly, "Groupes de Picard et problèmes de Skolem I" Ann. Sci. Ecole Norm. Sup. , 22 (1989) pp. 161–179 Zbl 0704.14014 |
[a10] | A. Prestel, J. Schmid, "Existentially closed domains with radical relations" J. Reine Angew. Math. , 407 (1990) pp. 178–201 MR1048534 Zbl 0691.12013 |
[a11] | A. Razon, "Primitive recursive decidability for large rings of algebraic integers" PhD Thesis Tel Aviv (1996) |
[a12] | R. Rumely, "Arithmetic over the ring of all algebraic integers" J. Reine Angew. Math. , 368 (1986) pp. 127–133 MR0850618 Zbl 0581.14014 |
[a13] | R. Rumely, "Capacity theory on algebraic curves" , Lecture Notes Math. , 1378 , Springer (1989) MR1009368 Zbl 0679.14012 |
[a14] | Th. Skolem, "Lösung gewisser Gleichungen in ganzen algebraischen Zahlen, insbesondere in Einheiten" Skr. Norske Videnskaps-Akademi Oslo I. Mat. Naturv. Kl. , 10 (1934) Zbl 0011.19701 |
Local-global principles for the ring of algebraic integers. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Local-global_principles_for_the_ring_of_algebraic_integers&oldid=23889