Index form equations in quintic fields
Acta Arithmetica (1999)
- Volume: 89, Issue: 4, page 379-396
- ISSN: 0065-1036
Access Full Article
topAbstract
topHow to cite
topIstvá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] A. Baker and G. Wüstholz, Logarithmic forms and group varieties, J. Reine Angew. Math. 442 (1993), 19-62. Zbl0788.11026
- [2] H. Cohen, A Course in Computational Algebraic Number Theory, Springer, 1993. Zbl0786.11071
- [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] 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] 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] 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] I. Gaál, Power integral bases in orders of families of quartic fields, ibid. 42 (1993), 253-263. Zbl0814.11051
- [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] I. Gaál, Computing elements of given index in totally complex cyclic sextic fields, J. Symbolic Comput. 20 (1995), 61-69. Zbl0857.11068
- [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] 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] I. Gaál, Power integral bases in composits of number fields, Canad. Math. Bull. 41 (1998), 158-165. Zbl0951.11012
- [13] I. Gaál, Power integral bases in algebraic number fields, in: Number Theory, Walter de Gruyter, 1998, 243-254. Zbl1011.11067
- [14] I. Gaál, Solving index form equations in fields of degree nine with cubic subfields, to appear.
- [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] 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] 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] 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] 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] 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] 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] I. Gaál and M. Pohst, On the resolution of relative Thue equations, to appear.
- [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] 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] K. Győry, Sur les polynômes à coefficients entiers et de discriminant donné, III, Publ. Math. Debrecen 23 (1976), 141-165. Zbl0354.10041
- [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] K. Győry, Bounds for the solutions of decomposable form equations, Publ. Math. Debrecen 52 (1998), 1-31. Zbl0902.11015
- [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] M. Klebel, Zur Theorie der Potenzganzheitsbases bei relativ galoisschen Zahlkörpern, Dissertation, Univ. Augsburg, 1995.
- [30] D. Koppenhöfer, Über projektive Darstellungen von Algebren kleinen Ranges, Dissertation, Univ. Tübingen, 1994.
- [31] N. P. Smart, Solving discriminant form equations via unit equations, J. Symbolic Comput. 21 (1996), 367-374. Zbl0867.11016
- [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.
Citations in EuDML Documents
topNotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.