# abc conjecture - Wikipedia, the free encyclopedia

http://en.wikipedia.org/wiki/Abc_conjecture

The abc conjecture (also known as Oesterlé–Masser conjecture) is a conjecture in number theory, first proposed by Joseph Oesterlé (1988) and David Masser (1985) as an integer analogue of the Mason–Stothers theorem for polynomials. The conjecture is stated in terms of three positive integers, a, b and c (hence the name), which have no common factor and satisfy a + b = c. If d denotes the product of the distinct prime factors of abc, the conjecture essentially states that d is usually not much smaller than c. In other words: if a and b are composed from large powers of primes, then c is usually not divisible by large powers of primes. The precise statement is given below. The abc conjecture has already become well known for the number of interesting consequences it entails. Many famous conjectures and theorems in number theory would follow immediately from the abc conjecture. Goldfeld (1996) described the abc conjecture as "the most important unsolved problem in Diophantine analysis". In August 2012, Shinichi Mochizuki released a series of four preprints containing a claim to a proof of the abc conjecture. Mochizuki calls the theory on which this proof is based "inter-universal Teichmüller theory", and it has other applications including a proof of Szpiro's conjecture and Vojta's conjecture.[1][2] Experts were expected to take months to check Mochizuki's new mathematical machinery, which was developed over decades in 500 pages of preprints and several of his prior papers.[3] When an error in one of the articles was pointed out by Vesselin Dimitrov and Akshay Venkatesh in October 2012, Mochizuki posted a comment on his website acknowledging the mistake, stating that it would not affect the result, and promising a corrected version in the near future.[4] He proceeded to post a series of corrected papers of which the latest was dated March 2013.[1]

1 Formulations 2 Examples of triples with small radical 3 Some consequences 4 Theoretical results 5 Computational results 6 Refined forms and generalizations 7 See also 8 Notes 9 References 10 External links

The abc conjecture can be expressed as follows: For every ε > 0, there are only finitely many triples of coprime positive integers a + b = c such that c > d1+ε, where d denotes the product of the distinct prime factors of abc. To illustrate the terms used, if a = 16 = 24,

1 of 8

7/14/2013 7:22 AM