About the embedding of a number field in a Pólya field
type: Item
instance of: scholarly article
title: About the embedding of a number field in a Pólya field
zbMATH Open document ID: 1332.11099
author: Amandine Leriche
published in: Journal of Number Theory
publication date: 2014-09-12T00:00:00Z
review text: Let \(K\) be a number field, \(O_K\) its ring of integers and \(h(K)\) its class number. Let \(\mathrm{Int}(OK)=\{P\in K[X], P(OK)\subset OK\}\) be the set of integer-valued polynomials on \(O_K\). The field \(K\) is said to be a Pólya field if the \(O_K\)-module \(\mathrm{Int}(OK)\) has a basis \((P_n)_{n\in \mathbb{N}}\) such that for all \(n\), \(P_n\) has degree \(n\). Let \(I_n(K)\) be the subset of \(K\) formed by \(0\) and the leading coefficients of the polynomials of \(\mathrm{Int}(OK)\) having degree \(n\). It is well known that \(I_n(K)\) is a fractional ideal of \(K\) (called the characteristic ideal of index \(n\) in \(K\)), and \(K\) is a Pólya field if and only if all \(I_n(K)\) are principal. Therefore, if \(h(K)=1\), then \(K\) is a Pólya field. Other well-known examples of Pólya fields are cyclotomic fields. A finite extension \(L/K\) is called a Pólya extension if all the extended fractional ideals \(I_n(K)O_L\) are principal in \(L\). Now a classical result of \textit{E. S. Golod} and \textit{I. R. Shafarevich} [Izv. Akad. Nauk SSSR, Ser. Mat. 28, 261--272 (1964; Zbl 0136.02602)] states that the following question has a negative answer: Is every \(K\) contained in a number field \(L\) with \(h(L)=1\) ? (which is equivalent to the finiteness of the Hilbert class field tower). The author of the present paper considers the analogous question: Is every \(K\) contained in a number field \(L\), which is a Pólya field ? The main result gives a positive answer: \(L=H_K\), the Hilbert class field of \(K\); furthermore, the author gives the minimal degree of a Pólya field containing \(K\). The proof uses the notion of Pólya extension (if \(L/K\) is a such extension, \(L\) is analogous to \(H_K\)).
reviewed by: Bouchaïb Sodaïgui
Mathematics Subject Classification ID: 11R32
Mathematics Subject Classification ID: 11R37
Mathematics Subject Classification ID: 13F20
zbMATH DE Number: 6343982
zbMATH Keywords: integer-valued polynomials
zbMATH Keywords: Hilbert class field
zbMATH Keywords: genus field
zbMATH Keywords: Pólya field
MaRDI profile type: Publication
full work available at URL: j.jnt.2014.05.002
OpenAlex ID: W2029225521
cites work: Pólya and Newtonian function fields
cites work: Q3057346
cites work: Q4126432
cites work: The 2-class group of biquadratic fields. II
cites work: Integer-valued polynomials
cites work: Q3436759
cites work: Q4736148
cites work: Advanced Topics in Computional Number Theory
cites work: Principal ideal theorems in the genus field for absolutely abelian extensions
cites work: Q5509036
cites work: The genus fields of algebraic number fields
cites work: Pólya fields, Pólya groups and Pólya extensions: a question of capitulation
cites work: Cubic, quartic and sextic Pólya fields
cites work: Q5094822
cites work: Q5509718
cites work: Integer valued polynomials over a number field
DOI: 10.1016/J.JNT.2014.05.002
description: scientific article; zbMATH DE number 6343982