Integral bases for an infinite family of cyclic quintic fields
type: Item
instance of: scholarly article
title: Integral bases for an infinite family of cyclic quintic fields
zbMATH Open document ID: 1156.11041
author: Daniel Eloff
author: Blair K. Spearman
author: Kenneth S. Williams
published in: The Asian Journal of Mathematics
publication date: 2007-08-08T00:00:00Z
full work available at URL: https://projecteuclid.org/euclid.ajm/1175789092
review text: For an integer parameter \(n\) consider Lehmer's family of cyclic quintic fileds \(K_n\) generated by a root \(\vartheta\) of the polynomial \[ \begin{multlined} f_n(x)=x^5+n^2x^4-(2n^3+6n^2+10n+10)x^3\\ +(n^4+5n^3+11n^2+15n+5)x^2+ (n^3+4n^2+10n+10)x+1.\end{multlined} \] Set \(m=n^4+5n^3+15n^2+25n+25\) for the conductor of \(K_n\) and let \(d=n^3+5n^2+10n+7\) and \(a=m^3-10m^2+5m\). Under the condition \(m\) is square-free apart from 5, the reviewer and \textit{M. Pohst} [Math. Comput. 66, 1689--1696 (1997; Zbl 0899.11064)] showed among others that an integer basis of \(K_n\) is given by \[ \{1,\vartheta,\vartheta^2,\vartheta^3,\omega_5\} \] where \[ \omega_5=\frac{1}{d} \biggl((n+2)+(2n^2+9n+9)\vartheta +(2n^2+4n-1)\vartheta^2+(-3n-4)\vartheta^3+\vartheta^4\biggr). \] Let \[ m=5^bPQ^2, \] where \(b=2\) if \(5| n\) and \(b=0\) otherwise, \(P,Q\) are coprime, square-free and not divisible by~5. The authors of this paper show that under the weaker assumption that \(m\) is cube-free, an integral basis is given by \[ \{1,\vartheta,\vartheta^2,v_4,v_5\}, \] where \[ v_4=\frac{1}{Q}\left(\vartheta-\frac{n^2}{5}(Q-1)\right) \] and \[ v_5=\frac{ad\omega_5+(1-a)Qv_4\vartheta}{dQ}. \] Under the original assumption (\(m\) is square-free apart from 5) this gives the integral basis of Gaál and Pohst.
reviewed by: István Gaál
Mathematics Subject Classification ID: 11R04
Mathematics Subject Classification ID: 11R20
zbMATH DE Number: 5178021
zbMATH Keywords: integral basis
zbMATH Keywords: cyclic quintic fields
MaRDI profile type: Publication
OpenAlex ID: W2161168805
DOI: 10.4310/AJM.2006.V10.N4.A9
Recommended article: Q3598642
Recommended article: Power integral bases in a parametric family of totally real cyclic quintics
Recommended article: Normal integral bases for Emma Lehmer's parametric family of cyclic quintics
Recommended article: Q4652797
Recommended article: The conductor of Lecacheux's parametric family of cyclic quintic fields
Recommended article: Unit groups for complex dihedral extensions of degree 10 over \(\mathbb Q\)
Recommended article: On a family of quadratic fields whose class numbers are divisible by five
Recommended article: On the Lagrange resolvents of a dihedral quintic polynomial
Recommended article: Q4702110
Recommended article: Q3381610
description: scientific article; zbMATH DE number 5178021