×

zbMATH — the first resource for mathematics

Computing all power integral bases of cubic fields. (English) Zbl 0677.10013
Let K be a cubic number field with integral basis \(\{w_ 1=1,w_ 2,w_ 3\}\). Define the index form I(x,y) of K by \(D_{K/{\mathbb{Q}}}(w_ 2x+w_ 3y)=(I(x,y))^ 2D,\) where D is the discriminant of K and \(D_{K/{\mathbb{Q}}}(a)\) the discriminant of \(a\in K\). \(\{1,a,a^ 2\}\) is a power integral basis of K if and only if \(D_{K/{\mathbb{Q}}}(a)=D\). Hence we can find all power integral bases of K by solving the index form equation (1) \(I(x,y)=\pm 1\) in \(x,y\in {\mathbb{Z}}.\)
The authors solved all equations (1), up to \(GL_ 2({\mathbb{Z}})\)- equivalence, for -300\(\leq D\leq 3137\). First they computed a large upper bound for the solutions of (1) by means of Baker’s theory on linear forms in logarithms; then they reduced this bound to a much smaller one, by means of a lemma of Baker-Davenport, and then they computed the small solutions, using a method of Pethö. Only for \(D=49\) there were nine solutions; for \(D=81\), 229, 257, 361 there were six solutions and in all other cases at most five.
Reviewer: J.H.Evertse

MSC:
11D25 Cubic and quartic Diophantine equations
11-04 Software, source code, etc. for problems pertaining to number theory
11D57 Multiplicative and norm form equations
PDF BibTeX XML Cite
Full Text: DOI