ABC conjecture

Main Article
Talk
Related Articles  [?]
Bibliography  [?]
Citable Version  [?]

This editable Main Article is under development and not meant to be cited; by editing it you can help to improve it towards a future approved, citable version. These unapproved articles are subject to a disclaimer.

In mathematics, the ABC conjecture relates the prime factors of two integers to those of their sum. It was proposed by David Masser and Joseph Oesterlé in 1985. It is connected with other problems of number theory: for example, the truth of the ABC conjecture would provide a new proof of Fermat's Last Theorem.

Statement

Define the radical of an integer to be the product of its distinct prime factors



Suppose now that the equation  holds for coprime integers . The conjecture asserts that for every  there exists  such that



A weaker form of the conjecture states that



If we define



then it is known that  as .

Baker introduced a more refined version of the conjecture in 1998. Assume as before that  holds for coprime integers . Let  be the radical of  and  the number of distinct prime factors of . Then there is an absolute constant  such that



This form of the conjecture would give very strong bounds in the method of linear forms in logarithms.

Results

It is known that there is an effectively computable  such that