Solving Thue equations without the full unit group
HTML articles powered by AMS MathViewer
- by Guillaume Hanrot PDF
- Math. Comp. 69 (2000), 395-405 Request permission
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.References
- A. Baker and G. Wüstholz, Logarithmic forms and group varieties, J. Reine Angew. Math. 442 (1993), 19–62. MR 1234835, DOI 10.1515/crll.1993.442.19
- Michael A. Bennett and Benjamin M. M. de Weger, On the Diophantine equation $|ax^n-by^n|=1$, Math. Comp. 67 (1998), no. 221, 413–438. MR 1434936, DOI 10.1090/S0025-5718-98-00900-4
- Yuri Bilu and Guillaume Hanrot, Solving Thue equations of high degree, J. Number Theory 60 (1996), no. 2, 373–392. MR 1412969, DOI 10.1006/jnth.1996.0129
- Yu. Bilu, G. Hanrot, Thue equations with composite fields, Acta Arith., to appear.
- 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
- Henri Cohen, A course in computational algebraic number theory, Graduate Texts in Mathematics, vol. 138, Springer-Verlag, Berlin, 1993. MR 1228206, DOI 10.1007/978-3-662-02945-9
- 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, DOI 10.1006/jsco.1996.0143
- 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, DOI 10.1016/S0022-314X(05)80044-7
- 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, DOI 10.1090/S0894-0347-1989-1002631-0
- G. Hanrot, “Résolution effective d’équations diophantiennes : algorithmes et applications”, Thèse, Université Bordeaux 1, 1997.
- 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, DOI 10.1007/BF01457454
- F. J. van der Linden, Class number computations of real abelian number fields, Math. Comp. 39 (1982), no. 160, 693–707. MR 669662, DOI 10.1090/S0025-5718-1982-0669662-5
- John Myron Masley, Class numbers of real cyclic number fields with small conductor, Compositio Math. 37 (1978), no. 3, 297–319. MR 511747
- Maurice Mignotte and Benjamin M. M. de Weger, On the Diophantine equations $x^2+74=y^5$ and $x^2+86=y^5$, Glasgow Math. J. 38 (1996), no. 1, 77–85. MR 1373962, DOI 10.1017/S0017089500031293
- Attila Pethő, Computational methods for the resolution of Diophantine equations, Number theory (Banff, AB, 1988) de Gruyter, Berlin, 1990, pp. 477–492. MR 1106681
- 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, DOI 10.1090/S0025-5718-98-00927-2
- A. Schinzel, Primitive divisors of the expression $A^{n}-B^{n}$ in algebraic number fields, J. Reine Angew. Math. 268(269) (1974), 27–33. MR 344221, DOI 10.1515/crll.1974.268-269.27
- C. L. Stewart, On divisors of Fermat, Fibonacci, Lucas, and Lehmer numbers, Proc. London Math. Soc. (3) 35 (1977), no. 3, 425–447. MR 491445, DOI 10.1112/plms/s3-35.3.425
- L. Kantorovitch, The method of successive approximations for functional equations, Acta Math. 71 (1939), 63–97. MR 95, DOI 10.1007/BF02547750
- 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
- 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, DOI 10.1016/0022-314X(89)90014-0
- 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
- Paul M. Voutier, Primitive divisors of Lucas and Lehmer sequences, Math. Comp. 64 (1995), no. 210, 869–888. MR 1284673, DOI 10.1090/S0025-5718-1995-1284673-6
- 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
Additional Information
- Guillaume Hanrot
- Affiliation: Algorithmique Arithmétique Expérimentale, UPRES A CNRS 5465, Université Bordeaux 1, 351, Cours de la Libération, F-33405 Talence Cedex, FRANCE
- Address at time of publication: LORIA, 615, rue du Jardin Botanique, B.P. 101, F-54600 Villers-lès-Nancy, FRANCE
- Email: Guillaume.Hanrot@loria.fr.
- Received by editor(s): April 7, 1997
- Received by editor(s) in revised form: March 31, 1998
- Published electronically: May 19, 1999
- Additional Notes: Partially supported by GDR AMI and GDR Théorie Analytique des Nombres.
- © Copyright 1999 American Mathematical Society
- Journal: Math. Comp. 69 (2000), 395-405
- MSC (1991): Primary 11Y50; Secondary 11B37
- DOI: https://doi.org/10.1090/S0025-5718-99-01124-2
- MathSciNet review: 1651759