The abc-conjecture for Algebraic Numbers

The abe-conjecture for the ring of integers states that, for every ε 〉 0 and every triple of relatively prime nonzero integers （a, b, c） satisfying a ＋ b = c, we have max（｜a｜, ｜b｜, ｜c｜） 〈 rad（abc）^1＋ε with a finite number of exceptions. Here the radical rad（m） is the product of all distinct prime factors of m. In the present paper we propose an abe-conjecture for the field of all algebraic numbers. It is based on the definition of the radical （in Section 1） and of the height （in Section 2） of an algebraic number. From this abc-conjecture we deduce some versions of Fermat＇s last theorem for the field of all algebraic numbers, and we discuss from this point of view known results on solutions of Fermat＇s equation in fields of small degrees over Q.

Integral Points on a Class of Elliptic Curve

We prove all integral points of the elliptic curve y^2=x^2-30x＋133 are （x,y） = （-7,0）,（-3,±14）,（2, ±9）,（6,±13）, （5143326,±11664498677）, by using the method of algebraic number theory and p-adic analysis. Furthermore, we develop a computation method to find all integral points on a class of elliptic curve y^2= （x＋α）（x^2-α）（x^2-αx＋b） ,α ,b∈Z,α^2〈4b and find all integer solutions of hyperelliptic Diophantine equation Dy^2=Ax^4 ＋ Bx^2 ＋C,B^2〈4AC.

A Note on the Representation of an Integer in Two Different Bases

Let a,b and n be integers larger than 1 and letα,βbe integers satisfying 0≤α<a,0≤β<b.Denote L_(α,a)(n),L_(β,b)(n)the numbers of digits in the canonical expansion of n in base a and b which are different fromαandβ,respectively.Define L_(α,a,β,b)(n)=L_(α,a)(n)+L_(β,b)(n).In this short note,the lower bound of L_(α,a,β,b)(n)was considered,i.e.,if loga/logb is irrational,the estimate L_(α,a,β,b)(n)>loglogn/logloglogn+C−1,holds for Clogab and n>25,which deepens the result of Stewart.

A Note on Algebraic Independence of Numbers

1.IntroductionWe denote the set of all positive integers by N,and the fields of all rational,algebraic numbers by Q,A,respectively.Let Z~* [Z1,…,Z2] be the set of all non-zero polynomials in variables Z1,…,Z2,with integer coefficients.For α∈A we denotemaxand multiply from i=1 to α~((i)) by and N(a),respectively;where d is the degree of α,and

Algebraic Independence of Certain Values of Exponential Function

The algebraic independence of e^θ1,…,e^θs is proved, where θ1,… ,θs are certain gap series or power series of algebraic numbers, or certain transcendental continued fractions with algebraic elements.

ε-arithmetics for real vectors and linear processing of real vector-valued signals

In this paper,we introduce a new concept,namelyε-arithmetics,for real vectors of any fixed dimension.The basic idea is to use vectors of rational values(called rational vectors)to approximate vectors of real values of the same dimension withinεrange.For rational vectors of a fixed dimension m,they can form a field that is an mth order extension Q(α)of the rational field Q whereαhas its minimal polynomial of degree m over Q.Then,the arithmetics,such as addition,subtraction,multiplication,and division,of real vectors can be defined by using that of their approximated rational vectors withinεrange.We also define complex conjugate of a real vector and then inner product and convolutions of two real vectors and two real vector sequences(signals)of finite length.With these newly defined concepts for real vectors,linear processing,such as linear filtering,ARMA modeling,and least squares fitting,can be implemented to real vectorvalued signals with real vector-valued coefficients,which will broaden the existing linear processing to scalar-valued signals.

Structure and prime decomposition law and relative extensions of abelian fields with prime power degree

Let L be an abelian extension of the rationals Q whose Galois group Gal(L) is an abelian (q-group q is any prime number). The explicit law of prime decomposition in L for any prime number p, the inertia group, residue class degree, and discriminant of L are given here; such fields L are classified into 4 or 8 classes according as q is odd or even with clear description of their structures. Then relative extension L/K is studied. L/K is proved to have a relative integral basis under certain simple conditions; relative discriminant D(L/K) is given explicitly; and necessary and sufficient conditions are obtained for D(L/K) to be generated by a rational square (and by a rational). In particular, it is proved that L/K has a relative integral basis and that D(L/K) is generated by a rational square if [L: K]≥x~* or x~*+1 (according as q is odd or even), where x~* is the exponent of Gal(L). These results contain many related results on similar fields in literature.

Distance Sets Relating to Orthogonal Exponentials

The aim of this paper is to investigate the size properties of a planar set whose distance set has some prescribed arithmetic combinatorics. Such research is motivated by the conjecture that the disk has no more than 3 orthogonal exponentials. By proving a shifted version of ErdSs-Solymosi＇s theorem on the distance sets, we give some grounds on the conjecture. The results obtained here extend the corresponding results of Iosevich and Jaming in a simple manner.