Search

It was proved by Roth in a recent paper that if α is any real algebraic number, and if K > 2, then the inequalityhas only a finite number of solutions in relatively prime integers p, q (q > 0) The object of the present paper is to prove that the lower bound for κ can be reduced if conditions are imposed on p and q. The result obtained is as follows.

In this paper, further insight is obtained into the earlier approach of studying residually transcendental extensions of a valuation v of a field K to a simple transcendental extension K(x) of K by means of minimal pairs, thereby introducing new invariants corresponding to any element of an algebraic closure λ of K. It is also shown that these invariants are of independent interest as well. A characterization of those elements a belonging to λ is given such that there exists a minimal pair (a, δ) for some δ in the divisible closure of the value group of v.

Let ν be a valuation of any rank of a field K with value group G ν and f(X)= X m + a l X m−1 + … + a m be a polynomial over K. In this paper, it is shown that if (ν(a i )/i)≥(ν(a m )/m)>0 for l≤i≤m, and there does not exist any integer r>1 dividing m such that ν(a m )/r∈G ν , then f(X) is irreducible over K. It is derived as a special case of a more general result proved here. It generalizes the usual Eisenstein Irreducibility Criterion and an Irreducibility Criterion due to Popescu and Zaharescu for discrete, rank-1 valued fields, (cf. [Journal of Number Theory, 52 (1995), 98–118]).

Let V 0 be a discrete real valuation of a field K and x an indeterminate. In 1936, MacLane [3] gave a method of constructing all real valuations of K(x) which are extensions of V 0 .In this paper, we determine explicitly all rank 2 valuations of K(x) which extend V 0 .One can thereby describe all rank 2 valuations of K(x, y) which are trivial on an arbitrary K; x, y being algebraically independent over the field K. The latter valuations have been considered by Zariski [5] in the case when K is an algebraically closed field of characteristic zero.

In this paper we are interested in two related measures of the degree of approximation of a complex number ζ by algebraic numbers. For a given integer n ≥ 1, write wn(ζ) for the supremum of the exponents w for whichfor infinitely many polynomialsin Z[x] of height H(P) = max |av|. Clearly 0 ≤ w1 (ζ) ≤ w2 (ζ) ≤ …. On the other hand, write for the supremum of the exponents w for whichfor infinitely many algebraic numbers α of degree at most n.

In 1934 Gelfond [2] and Schneider [6] proved, independently, that the logarithm of an algebraic number to an algebraic base, other than 0 or 1, is either rational or transcendental and thereby solved the famous seventh problem of Hilbert. Among the many subsequent developments (cf. [4, 7, 8]), Gelfond [3] obtained, by means of a refinement of the method of proof, a positive lower bound for the absolute value of β1 log α1+β2 log α2, where β1, β2 denote algebraic numbers, not both 0, and α1,α1, denote algebraic numbers not 0 or 1, with log α1/log α2 irrational. Of particular interest is the special case in which β1,β2 denote integers. In this case it is easy to obtain a trivial positive lower bound (cf. [1; Lemma 2]), and the existence of a non-trivial bound follows from the Thue–Siegel–Roth theorem (see [4; Ch. I]). But Gelfond's result improves substantially on the former, and, unlike the latter, it is derived by an effective method of proof. Gelfond [4; p. 177] remarked that an analogous theorem for linear forms in arbitrarily many logarithms of algebraic numbers would be of great value for the solution of some apparently very difficult problems of number theory. It is the object of this paper to establish such a result.

The object of this paper is first to generalize the basic inequality of the large sieve method to exponential sums in many variables, and then to deduce results for algebraic number fields that are analogous to known results for the rational field.