MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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|cite|improve this question
Benne de Weger surely knows... – Luis H Gallardo Jan 14 '11 at 7:14
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|cite|improve this answer
Thanks, exactly what I wanted. – David Feldman Jan 14 '11 at 7:14
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

Your Answer


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.