Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

The $abc$-conjecture implies that the equation $a+b=c$ has only finitely many primitive solutions in the multiplicative semigroup generated by any particular finite set of primes.

I would appreciate any information about the status of this a priori weaker statement, and citations to the literature if any exist.

share|improve this question
    
Benne de Weger surely knows... –  Luis H Gallardo Jan 14 '11 at 7:14
add comment

1 Answer

up vote 10 down vote accepted

The fact that the S-unit equation has finitely many solutions is due to Siegel and Mahler. The statement has been generalized quite a bit (for example to the fact that $u_1+\cdots +u_n=1$ has finitely many solutions, which uses some generalization of Schmidt's subspace theorem). You can find a proof and proper references in "Diophantine Geometry: An introduction" by M. Hindri, J.H. Silverman, among other places.

share|improve this answer
    
Thanks, exactly what I wanted. –  David Feldman Jan 14 '11 at 7:14
1  
Gjergji, for the equation $u_1+\cdots + u_n=1$ one needs to assume that no subsum is zero (if I recall correctly). Otherwise one has (trivially) infinitely many solutions. –  GH from MO Jan 14 '11 at 14:20
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.