Power bases in dihedral quartic fields
type: Item
instance of: scholarly article
title: Power bases in dihedral quartic fields
zbMATH Open document ID: 0934.11051
author: Anthony C. Kable
published in: Journal of Number Theory
publication date: 2000-04-02T00:00:00Z
review text: The present paper is a very nice contribution to the theory of power integral bases in quartic fields. Let \(L\) be a dihedral quartic field with quadratic subfield \(k\), with discriminants \(d_L,d_k\), respectively. Let \(\{1,\omega\}\) be the usual integral basis of \(k\). Then \(L=\mathbb{Q}(\vartheta)\) where \(\vartheta^2=a+b\omega, a,b\in Z\). Set \(\nu=N_{k/\mathbb{Q}}(\vartheta^2)\) and denote by \(\tau\) the element of order four of the Galois group of \(L\). The main result is the following: Let \(\alpha=x+y\vartheta (x,y\in k)\), \(C=N_{k/\mathbb{Q}}(2y)\) and \(A=(x-x^{\tau})^2- \text{Tr}_{k/\mathbb{Q}}(y^2\vartheta^2)\). Then \(\alpha\) generates a power integral basis in \(L\) if and only if \(\alpha\) is integer in \(L\), \(\nu d_k^2C^2=d_L\) and \(4A^2=C^2\nu\pm 4d_k\) with appropriate sign. As a consequence, the author shows, that if \(L\) has a power integral basis, then \(d_L\pm 4d_k^3\) is a square. Moreover, for mixed dihedral quartic fields \(L\) having power integral bases \(|d_L|\leq 4d_k^3\) holds. The last statement is interesting also because it allows one to describe all mixed dihedral quartic fields \(L\) having power integral bases and containing a quadratic subfield \(k\). This was recently done by \textit{Nyul} and the reviewer [Computing all monogeneous mixed dihedral quartic extensions of a quadratic field, Proc. XXI Journées Arithmetiques, J. Théorie Nombres Bordeaux (to appear)].
Mathematics Subject Classification ID: 11R16
Mathematics Subject Classification ID: 11R04
zbMATH DE Number: 1310087
zbMATH Keywords: power integral bases
zbMATH Keywords: dihedral quartic fields
reviewed by: István Gaál
MaRDI profile type: Publication
Wikidata QID: Q62063562
full work available at URL: jnth.1998.2350
OpenAlex ID: W2004579264
cites work: Extensions cubiques cycliques de \(\mathbb{Q}\) dont l'anneau des entiers est monogene
cites work: On Square Fibonacci Numbers
cites work: On the monogeneity of the ring of integers of an imaginary dihedral extension of degree \(2p\) (\(p\) prime)
cites work: Q4081310
cites work: Q3676228
cites work: Q3926700
cites work: Q4124912
cites work: Integral bases for quartic fields with quadratic subfields
cites work: On the indices and integral bases of non-cyclic but Abelian biquadratic fields
DOI: 10.1006/JNTH.1998.2350
description: scientific article; zbMATH DE number 1310087