Hostname: page-component-cd9895bd7-dk4vv Total loading time: 0 Render date: 2024-12-29T19:58:58.575Z Has data issue: false hasContentIssue false

Algebraic extensions in nonstandard models and Hilbert's irreducibility theorem

Published online by Cambridge University Press:  12 March 2014

Masahiro Yasumoto*
Affiliation:
Department of Mathematics, Nagoya University, Nagoya, 464, Japan

Extract

Let K be an algebraic number field and IK the ring of algebraic integers in K. *K and *IK denote enlargements of K and IK respectively. Let x Є *KK. In this paper, we are concerned with algebraic extensions of K(x) within *K. For each x Є *KK and each natural number d, YK(x,d) is defined to be the number of algebraic extensions of K(x) of degree d within *K. x Є *KK is called a Hilbertian element if YK(x,d) = 0 for all d Є N, d > 1; in other words, K(x) has no algebraic extension within *K. In their paper [2], P. C. Gilmore and A. Robinson proved that the existence of a Hilbertian element is equivalent to Hilbert's irreducibility theorem. In a previous paper [9], we gave many Hilbertian elements of nonstandard integers explicitly, for example, for any nonstandard natural number ω, 2 ω P ω and 2 ω (ω 3 + 1) are Hilbertian elements in *Q, where p ω is the ωth prime number.

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

References

REFERENCES

[1] Cohen, S.D., The distribution of Galois groups and Hilbert‘s irreducibility theorem, Proceedings of the London Mathematical Society, ser. 3, vol. 43 (1981), pp. 227250.CrossRefGoogle Scholar
[2] Gilmore, P. C. and Robinson, A., Metamathematical considerations on the relative irreducibility of polynomials, Canadian Journal of Mathematics, vol. 7 (1955), pp. 483489.CrossRefGoogle Scholar
[3] Macintyre, A., Nonstandard number theory, Proceedings of the International Congress of Mathematicians, Helsinki 1978. Vol. 1, Finnish Academy of Science and Letters, Helsinki, 1980, pp. 253262.Google Scholar
[4] Robinson, A. and Roquette, P., On the finiteness theorem of Siegel and Mahler concerning Diophantine equations, Journal of Number Theory, vol. 7 (1975), pp. 121176.CrossRefGoogle Scholar
[5] Roquette, P., Nonstandard aspects of Hilbert‘s irreducibility theorem, Model theory and algebra (a memorial tribute to Abraham Robinson), Lecture Notes in Mathematics, vol. 498, Springer-Verlag, Berlin, 1975, pp. 231275.CrossRefGoogle Scholar
[6] Sprindžuk, V. G., Diophantine equations with unknown prime numbers, Trudy Ordena Lenina Matematiceskogo Instituta imeni V. A. Steklova, vol. 158 (1981), pp. 180196; English translation, Proceedings of the Steklov Institute of Mathematics , 1983, issue 4 (158), pp. 197–214.Google Scholar
[7] Sprindžuk, V. G., Arithmetic specializations in polynomials, Journal für die Reine und Angewandte Mathematik, vol. 340 (1983), pp. 2652.Google Scholar
[8] Weissauer, R., Der Hilbertsche Irreduzibilitätssatz, Journal für die Reine und Angewandte Mathematik, vol. 334 (1982), pp. 203220.Google Scholar
[9] Yasumoto, M., Hilbert irreducibility sequences and nonstandard arithmetic, Journal of Number Theory, vol. 26 (1987), pp. 274285.CrossRefGoogle Scholar
[10] Yasumoto, M., Nonstandard arithmetic of polynomial rings, Nagoya Mathematical Journal, vol. 105 (1987), pp. 3337.Google Scholar