Relative integral basis for algebraic number fields
type: Item
instance of: scholarly article
title: Relative integral basis for algebraic number fields
zbMATH Open document ID: 0593.12005
DOI: 10.1155/S0161171286000121
author: Mahmood Haghighi
published in: International Journal of Mathematics and Mathematical Sciences
publication date: 1986-01-01T00:00:00Z
full work available at URL: https://eudml.org/doc/46064
review text: For an arbitrary number field, \(F\), let \(\mathfrak O_F\) denote the ring of integers of \(F\). If \(K/k\) is an extension of number fields of relative degree \(n\), then it is shown in \textit{W. Narkiewicz} [Elementary and analytic theory of algebraic numbers (1974; Zbl 0276.12002), p. 24 and p. 356] that \(\mathfrak O_K \approx \mathfrak O_k^{n-1}\oplus I\) where \(I\) is an ideal of \(\mathfrak O_k\). Hence a relative integral basis exists for the extension \(K/k\) if and only if \(I\) is a principal ideal. Moreover, if \(C\) is the ideal class of \(k\) containing \(I\) then \(C^2\) contains the relative discriminant of \(K/k\). In this article, this criterion is first used to show that \(K=\mathbb Q(\sqrt{2}, \sqrt{-7})\) and \(k=\mathbb Q(\sqrt{-14})\) gives an extension with no integral basis. The latter parts of the article consider the extensions \(K/k\) with \(K=\mathbb Q(\sqrt [3]{n}, \sqrt{-3})\) and either \(k=\mathbb Q(\sqrt{-3})\) or \(k=\mathbb Q(\sqrt[3]{n})\). In the former case, \(\mathfrak O_k\) is a PID, so a relative integral basis always exists. An explicit relative integral basis is given, but it sometimes involves an integer \(\alpha\) of \(\mathbb Q(\sqrt[3]{n})\) which has norm \(3\). When \(k=\mathbb Q(\sqrt [3]{n})\), a relative integral basis is given only when \(3\) does not divide the class number of \(k\). Here the basis also involves an integer \(\alpha\) as mentioned above.
reviewed by: Charles J. Parry
Mathematics Subject Classification ID: 11R33
Mathematics Subject Classification ID: 11R16
Mathematics Subject Classification ID: 11R04
zbMATH DE Number: 3952893
zbMATH Keywords: pure cubic fields
zbMATH Keywords: examples
zbMATH Keywords: ring of integers
zbMATH Keywords: relative integral basis
MaRDI profile type: Publication
Recommended article: Discriminants, \(\mathbb Z\)-integral bases and relative integral bases in case of multiquadratic number fields
Recommended article: Existence of relative integral basis over quadratic fields and Pólya property
Recommended article: A note on integral bases of unramified cyclic extensions of prime degree
Recommended article: RELATIVE INTEGRAL BASES OVER A RAY CLASS FIELD
Recommended article: Relative integral bases for quartic fields over quadratic subfields
Recommended article: Relative integral bases over a Hilbert class field
Recommended article: Q4371286
Recommended article: Q4848315
Recommended article: The monogeneity of radical extensions
Recommended article: Q4471007
description: scientific article; zbMATH DE number 3952893