On the resolution of index form equations in biquadratic number fields. II
type: Item
instance of: scholarly article
title: On the resolution of index form equations in biquadratic number fields. II
zbMATH Open document ID: 0726.11023
DOI: 10.1016/0022-314X(91)90091-O
published in: Journal of Number Theory
publication date: 1991-01-01T00:00:00Z
review text: [For part I, cf. the preceding review.] The authors present a method to solve completely index form equations (1) \(I(x_ 2,x_ 3,x_ 4)=\pm 1\), where I is the index form of some integral basis \(\{1,w_ 2,w_ 3,w_ 4\}\) of some totally real cyclic biquadratic number field K. I is the product of linear forms with algebraic coefficients. Between these linear forms there are several linear relations of the type \(c_ 1L_ 1+c_ 2L_ 2+c_ 3L_ 3=0\), where \(L_ 1,L_ 2,L_ 3\) are linear factors of I. If \((x_ 2,x_ 3,x_ 4)\) is a solution in integers of (1), then each \(L_ i(x_ 2,x_ 3,x_ 4)\) is essentially an algebraic unit. Hence (1) can be reduced to a number of equations \(c_ 1\epsilon_ 1+c_ 2\epsilon_ 2+c_ 3\epsilon_ 3=0\) in units \(\epsilon_ 1,\epsilon_ 2,\epsilon_ 3\). By some standard argument, one can reduce such a unit equation to an inequality involving a linear form in logarithms of algebraic numbers with integer coefficients. Then Baker's method yields an effective upper bound for the sizes of the coefficients of such a linear form in logarithms. The authors give a method, based on some variation of the Baker-Davenport lemma and the LLL-lattice basis reduction algorithm, which in many cases enables one to reduce the bound arising from Baker's method to a more tractable size and then to find all solutions of (1). The authors give some numerical examples.
Mathematics Subject Classification ID: 11D99
Mathematics Subject Classification ID: 11R16
Mathematics Subject Classification ID: 11Y50
Mathematics Subject Classification ID: 11J86
zbMATH DE Number: 4198082
zbMATH Keywords: index form equations
zbMATH Keywords: cyclic biquadratic number field
zbMATH Keywords: linear form in logarithms of algebraic numbers
zbMATH Keywords: Baker's method
zbMATH Keywords: upper bound
zbMATH Keywords: LLL-lattice basis reduction algorithm
author: István Gaál
author: Attila Pethő
author: Michael E. Pohst
reviewed by: Jan-Hendrik Evertse
MaRDI profile type: Publication
cites work: THE EQUATIONS 3x2−2 = y2 AND 8x2−7 = z2
cites work: Q4050663
cites work: The diophantine equation \(y^2+k=x^3\).
cites work: Q3328637
cites work: On the resolution of index form equations in biquadratic number fields. I
cites work: Q3884176
cites work: Q3935355
cites work: Factoring polynomials with rational coefficients
cites work: On cyclic biquadratic fields related to a problem of Hasse
cites work: On the indices and integral bases of non-cyclic but Abelian biquadratic fields
cites work: Q3804775
cites work: Berechnung unabhängiger Einheiten und Klassenzahlen in total reellen biquadratischen Zahlkörpern
cites work: On Mordell's Equation y 2 - k = x 3 : A Problem of Stolarsky
cites work: A lower bound for linear forms in logarithms
full work available at URL: 0022-314x(91)90091-o
OpenAlex ID: W4206738522
Recommended article: Q3973048
Recommended article: On the resolution of index form equations in sextic fields with an imaginary quadratic subfield
Recommended article: Q4535933
Recommended article: On the resolution of index form equations in biquadratic number fields. III: The bicyclic biquadratic case
Recommended article: Q3360275
Recommended article: Computing power integral bases in quartic relative extensions
Recommended article: Computing All Power Integral Bases of Cubic Fields
Recommended article: On the Resolution of Index Form Equations in Dihedral Quartic Number Fields
Recommended article: Q4938139
Recommended article: On the resolution of index form equations in quartic number fields
description: scientific article; zbMATH DE number 4198082