The \(abc\)-conjecture for algebraic numbers (Q2431909)

The famous \(abc\)-conjecture states that, for every \(\varepsilon\) and every triple of relatively prime nonzero integers \(a,b,c\) satisfying \(a+b=c,\) the inequality \(\max\{| a| , | b| ,| c| \} \leq \big(\prod_{p| abc} p \big)^{1+\varepsilon} \) holds with a finite number of exceptions. If proved this conjecture would have a variety of applications. The quantity \(r(m)=\prod_{p| m} p\) is called the radical of \(m\). In this paper, the author defines the radical \(r_{K}(\alpha)\) of an algebraic number \(\alpha \neq 0,1\) lying in a field \(K\). Using a well known definition \(h_K(\alpha)\) for the height of \(\alpha\) the author states the \(abc\)-conjecture for the field of algebraic numbers as follows: for every \(\varepsilon>0\) the number of algebraic numbers \(\alpha\) satisfying \(h_K(\alpha)>r_K(\alpha)^{1+\varepsilon}\) is finite. Then the quantity \(L_K(\alpha)=\log h_K(\alpha)/\log r_K(\alpha)\) is studied and some examples with large values of \(L_K(\alpha)\) are given. Moreover, the author proves several interesting results assuming this version of (absolute) \(abc\)-conjecture. For example, assuming the absolute \(abc\)-conjecture, he proves that if \(K\) is a finite extension of \(\mathbb Q\) then the set of triples \((x,y,n)\) satisfying \(x^n+y^n=1,\) where \(n \geq 5\) is a positive integer, \(x, y \in K^*,\) and not both \(x, y\) are roots of unity, is finite.