On biquadratic fields that admit unit power integral basis
type: Item
instance of: scholarly article
title: On biquadratic fields that admit unit power integral basis
zbMATH Open document ID: 1265.11097
author: Volker Ziegler
author: Attila Pethő
published in: Acta Mathematica Hungarica
publication date: 2012-02-13T00:00:00Z
review text: In number theory a main problem is that for which number fields there exists a power integral basis consisting of units. Let \(\mathbb K\) be a number field of degree \(n\) and \(\mathbb Z_{\mathbb K}\) be the maximal order of \(\mathbb K\). Furthermore assume \({\mathcal B} =\{1,\beta_2,\ldots , \beta_n \}\) is an integral basis of \(\mathbb Z_{\mathbb K}\) and let \(\eta = x_1 + x_2 \beta_2 +\dots + x_n \beta_n\in\mathbb Z_{\mathbb K}\). Then we consider the equation \[ I(\eta) = \left[\mathbb Z_{\mathbb K} : \mathbb Z[\Theta]\right] = F (x_2 , \ldots, x_n ) = \pm 1 \tag{1} \] which is solvable if and only if \(1, \Theta,\ldots , \Theta^{n-1}\) is a power integral bases of \(\mathbb K\). Now assume \(\Theta\in\mathbb Z_{\mathbb K}^*\) is a solution to the index equation (1). Then also \(\Theta^{-1}\) is a solution to (1). Beside ``trivial'' cases the solutions corresponding to \(\Theta\) and \(\Theta^{-1}\) should be distinct. Recently, this idea has been successfully applied in the case of pure quartic fields \(\mathbb K=\mathbb Q[\root 4 \of m]\). In this paper the authors consider biquadratic number fields whose maximal orders have power integral bases consisting of units. They prove an effective and efficient criteria to decide whether the maximal order of a biquadratic field has a unit power integral basis or not. In particular, they can determine all trivial biquadratic fields whose maximal orders have a unit power integral basis. At the end of this paper the authors apply one of their theorems to the family \[ \mathbb K=\mathbb Q\left(\sqrt{18n^2+17n+4},\sqrt{2n^2+n}\right) \] (that there is no unit power integral basis).
reviewed by: Péter Olajos
Mathematics Subject Classification ID: 11R16
Mathematics Subject Classification ID: 11D57
Mathematics Subject Classification ID: 11R33
zbMATH DE Number: 6006180
zbMATH Keywords: unit sum number
zbMATH Keywords: additive unit structure
zbMATH Keywords: power integral basis
zbMATH Keywords: biquadratic field
MaRDI profile type: Publication
full work available at URL: s10474-011-0103-5
OpenAlex ID: W2065863285
cites work: On the unit sum number of some rings
cites work: Q5562698
cites work: Integers Expressible as Sums of Distinct Units
cites work: On the number of solutions of simultaneous Pell equations
cites work: On the number of solutions of simultaneous Pell equations II
cites work: Complete solution of the diophantine equation \(X^ 2+1=dY^ 4\) and a related family of quartic Thue equations
cites work: On the number of solutions to systems of Pell equations
cites work: Arithmetical Properties of Polynomials
cites work: The additive unit structure of pure quartic complex fields
cites work: Solving index form equations in fields of degree 9 with cubic subfields
cites work: Q4535933
cites work: Power Integral Bases in Orders of Composite Fields
cites work: On the resolution of index form equations in biquadratic number fields. III: The bicyclic biquadratic case
cites work: Computing All Power Integral Bases of Cubic Fields
cites work: Monogenic biquadratic fields
cites work: Bounds for the solutions of norm form, discriminant form and index form equations in finitely generated integral domains
cites work: On sums of units
cites work: Q5781775
cites work: On a special class of Diophantine equations of the second degree
cites work: Units generating the ring of integers of complex cubic fields
cites work: Integers of Biquadratic Fields
cites work: The additive unit structure of complex biquadratic fields
DOI: 10.1007/S10474-011-0103-5
description: scientific article; zbMATH DE number 6006180