Solving Thue equations without the full unit group

Hanrot, Guillaume

doi:10.1090/S0025-5718-99-01124-2

			Journals Home Search Author Info Subscribe Tech Support My Subscriptions Browser Compatibility Info Help
ISSN 1088-6842(online) ISSN 0025-5718(print)

Solving Thue equations
without the full unit group

Author: Guillaume Hanrot
Journal: Math. Comp. 69 (2000), 395-405
MSC (1991): Primary 11Y50; Secondary 11B37
Posted: May 19, 1999
MathSciNet review: 1651759
Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: The main problem when solving a Thue equation is the computation of the unit group of a certain number field. In this paper we show that the knowledge of a subgroup of finite index is actually sufficient. Two examples linked with the primitive divisor problem for Lucas and Lehmer sequences are given.

1. A. Baker and G. Wüstholz, Logarithmic forms and group varieties, J. Reine Angew. Math. 442 (1993), 19–62. MR 1234835 (94i:11050), http://dx.doi.org/10.1515/crll.1993.442.19
2. Michael A. Bennett and Benjamin M. M. de Weger, On the Diophantine equation \𝑣𝑒𝑟𝑡𝑎𝑥ⁿ-𝑏𝑦ⁿ\𝑣𝑒𝑟𝑡=1, Math. Comp. 67 (1998), no. 221, 413–438. MR 1434936 (98c:11024), http://dx.doi.org/10.1090/S0025-5718-98-00900-4
3. Yuri Bilu and Guillaume Hanrot, Solving Thue equations of high degree, J. Number Theory 60 (1996), no. 2, 373–392. MR 1412969 (97k:11040), http://dx.doi.org/10.1006/jnth.1996.0129
4. YU. BILU, G. HANROT, Thue equations with composite fields, Acta Arith., to appear.
5. Johannes Buchmann, A subexponential algorithm for the determination of class groups and regulators of algebraic number fields, Séminaire de Théorie des Nombres, Paris 1988–1989, Progr. Math., vol. 91, Birkhäuser Boston, Boston, MA, 1990, pp. 27–41. MR 1104698 (92g:11125)
6. Henri Cohen, A course in computational algebraic number theory, Graduate Texts in Mathematics, vol. 138, Springer-Verlag, Berlin, 1993. MR 1228206 (94i:11105)
7. H. Cohen, F. Diaz y Diaz, and M. Olivier, Subexponential algorithms for class group and unit computations, J. Symbolic Comput. 24 (1997), no. 3-4, 433–441. Computational algebra and number theory (London, 1993). MR 1484490 (98m:11138), http://dx.doi.org/10.1006/jsco.1996.0143
8. Antone Costa and Eduardo Friedman, Ratios of regulators in totally real extensions of number fields, J. Number Theory 37 (1991), no. 3, 288–297. MR 1096445 (92j:11138), http://dx.doi.org/10.1016/S0022-314X(05)80044-7
9. James L. Hafner and Kevin S. McCurley, A rigorous subexponential algorithm for computation of class groups, J. Amer. Math. Soc. 2 (1989), no. 4, 837–850. MR 1002631 (91f:11090), http://dx.doi.org/10.1090/S0894-0347-1989-1002631-0
10. G. HANROT, ``Résolution effective d'équations diophantiennes : algorithmes et applications'', Thèse, Université Bordeaux 1, 1997.
11. A. K. Lenstra, H. W. Lenstra Jr., and L. Lovász, Factoring polynomials with rational coefficients, Math. Ann. 261 (1982), no. 4, 515–534. MR 682664 (84a:12002), http://dx.doi.org/10.1007/BF01457454
12. F. J. van der Linden, Class number computations of real abelian number fields, Math. Comp. 39 (1982), no. 160, 693–707. MR 669662 (84e:12005), http://dx.doi.org/10.1090/S0025-5718-1982-0669662-5
13. John Myron Masley, Class numbers of real cyclic number fields with small conductor, Compositio Math. 37 (1978), no. 3, 297–319. MR 511747 (80e:12005)
14. Maurice Mignotte and Benjamin M. M. de Weger, On the Diophantine equations 𝑥²+74=𝑦⁵ and 𝑥²+86=𝑦⁵, Glasgow Math. J. 38 (1996), no. 1, 77–85. MR 1373962 (97b:11044), http://dx.doi.org/10.1017/S0017089500031293
15. Attila Pethő, Computational methods for the resolution of Diophantine equations, Number theory (Banff, AB, 1988) de Gruyter, Berlin, 1990, pp. 477–492. MR 1106681 (92c:11152)
16. M. Pohst and K. Wildanger, Tables of unit groups and class groups of quintic fields and a regulator bound, Math. Comp. 67 (1998), no. 221, 361–367. MR 1451326 (98d:11163), http://dx.doi.org/10.1090/S0025-5718-98-00927-2
17. A. Schinzel, Primitive divisors of the expression 𝐴ⁿ-𝐵ⁿ in algebraic number fields, J. Reine Angew. Math. 268/269 (1974), 27–33. Collection of articles dedicated to Helmut Hasse on his seventy-fifth birthday, II. MR 0344221 (49 #8961)
18. C. L. Stewart, On divisors of Fermat, Fibonacci, Lucas, and Lehmer numbers, Proc. London Math. Soc. (3) 35 (1977), no. 3, 425–447. MR 0491445 (58 #10694)
19. N.P. SMART, The solution of triangularly connected decomposable form equation, Math. Comp. 64 (1995), 819-840. MR 95f:11115
20. Roel J. Stroeker and Benjamin M. M. de Weger, On elliptic Diophantine equations that defy Thue’s method: the case of the Ochoa curve, Experiment. Math. 3 (1994), no. 3, 209–220. MR 1329370 (96c:11033)
21. N. Tzanakis and B. M. M. de Weger, On the practical solution of the Thue equation, J. Number Theory 31 (1989), no. 2, 99–132. MR 987566 (90c:11018), http://dx.doi.org/10.1016/0022-314X(89)90014-0
22. N. Tzanakis and B. M. M. de Weger, How to explicitly solve a Thue-Mahler equation, Compositio Math. 84 (1992), no. 3, 223–288. MR 1189890 (93k:11025)
N. Tzanakis and B. M. M. de Weger, Corrections to: “How to explicitly solve a Thue-Mahler equation” [Compositio Math. 84 (1992), no. 3, 223–288; MR1189890 (93k:11025)], Compositio Math. 89 (1993), no. 2, 241–242. MR 1255696 (95a:11030)
23. Paul M. Voutier, Primitive divisors of Lucas and Lehmer sequences, Math. Comp. 64 (1995), no. 210, 869–888. MR 1284673 (95f:11022), http://dx.doi.org/10.1090/S0025-5718-1995-1284673-6
24. Paul M. Voutier, Primitive divisors of Lucas and Lehmer sequences. II, J. Théor. Nombres Bordeaux 8 (1996), no. 2, 251–274 (English, with English and French summaries). MR 1438469 (98h:11037)

	Publications Meetings The Profession Membership Programs Math Samplings Policy & Advocacy In the News About the AMS
\|