Index form equations in quintic fields

Acta Arithmetica (1999)

• Volume: 89, Issue: 4, page 379-396
• ISSN: 0065-1036

top

Abstract

top
The problem of determining power integral bases in algebraic number fields is equivalent to solving the corresponding index form equations. As is known (cf. Győry [25]), every index form equation can be reduced to an equation system consisting of unit equations in two variables over the normal closure of the original field. However, the unit rank of the normal closure is usually too large for practical use. In a recent paper Győry [27] succeeded in reducing index form equations to systems of unit equations in which the unknown units are elements of unit groups generated by much fewer generators. On the other hand, Wildanger [32] worked out an efficient enumeration algorithm that makes it feasible to solve unit equations even if the rank of the unit group is ten. Combining these developments we describe an algorithm to solve completely index form equations in quintic fields. The method is illustrated by numerical examples: we computed all power integral bases in totally real quintic fields with Galois group S₅.

How to cite

top

István Gaál, and Kálmán Győry. "Index form equations in quintic fields." Acta Arithmetica 89.4 (1999): 379-396. <http://eudml.org/doc/207277>.

@article{IstvánGaál1999,
abstract = {The problem of determining power integral bases in algebraic number fields is equivalent to solving the corresponding index form equations. As is known (cf. Győry [25]), every index form equation can be reduced to an equation system consisting of unit equations in two variables over the normal closure of the original field. However, the unit rank of the normal closure is usually too large for practical use. In a recent paper Győry [27] succeeded in reducing index form equations to systems of unit equations in which the unknown units are elements of unit groups generated by much fewer generators. On the other hand, Wildanger [32] worked out an efficient enumeration algorithm that makes it feasible to solve unit equations even if the rank of the unit group is ten. Combining these developments we describe an algorithm to solve completely index form equations in quintic fields. The method is illustrated by numerical examples: we computed all power integral bases in totally real quintic fields with Galois group S₅.},
author = {István Gaál, Kálmán Győry},
journal = {Acta Arithmetica},
keywords = {index form equations; power integral bases; computer resolution of diophantine equations; unit equations; quintic fields},
language = {eng},
number = {4},
pages = {379-396},
title = {Index form equations in quintic fields},
url = {http://eudml.org/doc/207277},
volume = {89},
year = {1999},
}

TY - JOUR
AU - István Gaál
AU - Kálmán Győry
TI - Index form equations in quintic fields
JO - Acta Arithmetica
PY - 1999
VL - 89
IS - 4
SP - 379
EP - 396
AB - The problem of determining power integral bases in algebraic number fields is equivalent to solving the corresponding index form equations. As is known (cf. Győry [25]), every index form equation can be reduced to an equation system consisting of unit equations in two variables over the normal closure of the original field. However, the unit rank of the normal closure is usually too large for practical use. In a recent paper Győry [27] succeeded in reducing index form equations to systems of unit equations in which the unknown units are elements of unit groups generated by much fewer generators. On the other hand, Wildanger [32] worked out an efficient enumeration algorithm that makes it feasible to solve unit equations even if the rank of the unit group is ten. Combining these developments we describe an algorithm to solve completely index form equations in quintic fields. The method is illustrated by numerical examples: we computed all power integral bases in totally real quintic fields with Galois group S₅.
LA - eng
KW - index form equations; power integral bases; computer resolution of diophantine equations; unit equations; quintic fields
UR - http://eudml.org/doc/207277
ER -

References

top
1. [1] A. Baker and G. Wüstholz, Logarithmic forms and group varieties, J. Reine Angew. Math. 442 (1993), 19-62. Zbl0788.11026
2. [2] H. Cohen, A Course in Computational Algebraic Number Theory, Springer, 1993. Zbl0786.11071
3. [3] M. Daberkow, C. Fieker, J. Klüners, M. Pohst, K. Roegner and K. Wildanger, KANT V4, J. Symbolic Comput. 24 (1997), 267-283.
4. [4] J. H. Evertse and K. Győry, Decomposable form equations, in: New Advances in Transcendence Theory, A. Baker (ed.), Cambridge Univ. Press, 1988, 175-202.
5. [5] U. Fincke and M. Pohst, Improved methods for calculating vectors of short length in a lattice, including a complexity analysis, Math. Comp. 44 (1985), 463-471. Zbl0556.10022
6. [6] I. Gaál, Inhomogeneous discriminant form equations and integral elements with given discriminant over finitely generated integral domains, Publ. Math. Debrecen 34 (1987), 109-122. Zbl0626.10015
7. [7] I. Gaál, Power integral bases in orders of families of quartic fields, ibid. 42 (1993), 253-263. Zbl0814.11051
8. [8] I. Gaál, Computing all power integral bases in orders of totally real cyclic sextic number fields, Math. Comp. 65 (1996), 801-822. Zbl0857.11069
9. [9] I. Gaál, Computing elements of given index in totally complex cyclic sextic fields, J. Symbolic Comput. 20 (1995), 61-69. Zbl0857.11068
10. [10] I. Gaál, Power integral bases in algebraic number fields, Proc. Conf. Mátraháza, 1995, Ann. Univ. Sci. Budapest Eötvös Sect. Comp., to appear. Zbl1011.11068
11. [11] I. Gaál, Application of Thue equations to computing power integral bases in algebraic number fields, in: Algorithmic Number Theory (Talence, 1996), H. Cohen (ed.), Lecture Notes in Comput. Sci. 1122, Springer, 1996, 151-155. Zbl0891.11062
12. [12] I. Gaál, Power integral bases in composits of number fields, Canad. Math. Bull. 41 (1998), 158-165. Zbl0951.11012
13. [13] I. Gaál, Power integral bases in algebraic number fields, in: Number Theory, Walter de Gruyter, 1998, 243-254. Zbl1011.11067
14. [14] I. Gaál, Solving index form equations in fields of degree nine with cubic subfields, to appear.
15. [15] I. Gaál, A. Pethő and M. Pohst, On the resolution of index form equations in biquadratic number fields, I, J. Number Theory 38 (1991), 18-34. Zbl0726.11022
16. [16] I. Gaál, A. Pethő and M. Pohst, On the resolution of index form equations in biquadratic number fields, II, ibid. 38 (1991), 35-51. Zbl0726.11023
17. [17] I. Gaál, A. Pethő and M. Pohst, On the resolution of index form equations in biquadratic number fields, III. The bicyclic biquadratic case, ibid. 53 (1995), 100-114. Zbl0853.11026
18. [18] I. Gaál, A. Pethő and M. Pohst, On the resolution of index form equations in quartic number fields, J. Symbolic Comput. 16 (1993), 563-584. Zbl0808.11023
19. [19] I. Gaál, A. Pethő and M. Pohst, Simultaneous representation of integers by a pair of ternary quadratic forms - with an application to index form equations in quartic number fields, J. Number Theory 57 (1996), 90-104. Zbl0853.11023
20. [20] I. Gaál and M. Pohst, On the resolution of index form equations in sextic fields with an imaginary quadratic subfield, J. Symbolic Comput. 22 (1996), 425-434. Zbl0873.11025
21. [21] I. Gaál and M. Pohst, Power integral bases in a parametric family of totally real quintics, Math. Comp. 66 (1997), 1689-1696. Zbl0899.11064
22. [22] I. Gaál and M. Pohst, On the resolution of relative Thue equations, to appear.
23. [23] I. Gaál and N. Schulte, Computing all power integral bases of cubic number fields, Math. Comp. 53 (1989), 689-696. Zbl0677.10013
24. [24] M. N. Gras, Non monogénéité de l'anneau des entiers des extensions cycliques de ℚ de degré premier l ≥ 5, J. Number Theory 23 (1986), 347-353.
25. [25] K. Győry, Sur les polynômes à coefficients entiers et de discriminant donné, III, Publ. Math. Debrecen 23 (1976), 141-165. Zbl0354.10041
26. [26] K. Győry, On norm form, discriminant form and index form equations, in: Topics in Classical Number Theory, Colloq. Math. Soc. János Bolyai 34, North-Holland, 1984, 617-676.
27. [27] K. Győry, Bounds for the solutions of decomposable form equations, Publ. Math. Debrecen 52 (1998), 1-31. Zbl0902.11015
28. [28] K. Győry, Recent bounds for the solutions of decomposable form equations, in: Number Theory, Walter de Gruyter, 1998, 255-270. Zbl0973.11042
29. [29] M. Klebel, Zur Theorie der Potenzganzheitsbases bei relativ galoisschen Zahlkörpern, Dissertation, Univ. Augsburg, 1995.
30. [30] D. Koppenhöfer, Über projektive Darstellungen von Algebren kleinen Ranges, Dissertation, Univ. Tübingen, 1994.
31. [31] N. P. Smart, Solving discriminant form equations via unit equations, J. Symbolic Comput. 21 (1996), 367-374. Zbl0867.11016
32. [32] K. Wildanger, Über das Lösen von Einheiten- und Indexformgleichungen in algebraischen Zahlkörpern mit einer Anwendung auf die Bestimmung aller ganzen Punkte einer Mordellschen Kurve, Dissertation, Technical University, Berlin, 1997.

top

NotesEmbed?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.