Let A be an arbitrary integral domain of characteristic 0 which is finitely
generated over Z. We consider Thue equations F(x,y)=b with unknowns x,y from
A and hyper- and superelliptic equations f(x)=bym with unknowns from A,
where the binary form F and the polynomial f have their coefficients in A,
where b is a non-zero element from A, and where m is an integer at least 2.
Under the necessary finiteness conditions imposed on F,f,m, we give explicit
upper bounds for the sizes of x,y in terms of suitable representations for
A,F,f,b Our results imply that the solutions of Thue equations and hyper- and
superelliptic equations over arbitrary finitely generated domains can be
determined effectively in principle. Further, we generalize a theorem of
Schinzel and Tijdeman to the effect, that there is an effectively computable
constant C such that f(x)=bym has no solutions in x,y from A with y not 0 or
a root of unity if m>C. In our proofs, we use effective results for Thue
equations and hyper- and superelliptic equations over number fields and
function fields, some effective commutative algebra, and a specialization
argument.Comment: 37 page