Bases normales d'entiers relatives quadratiques. (Normal relative quadratic integral bases)
type: Item
instance of: scholarly article
title: Bases normales d'entiers relatives quadratiques. (Normal relative quadratic integral bases)
zbMATH Open document ID: 0729.11057
DOI: 10.1016/0022-314X(91)90086-Q
author: Richard Massy
published in: Journal of Number Theory
publication date: 1991-01-01T00:00:00Z
review text: Let N/E be a finite Galois extension of number fields. Let \(\Delta\) be its Galois group, \({\mathcal O}_ N\), \({\mathcal O}_ E\) the integral rings. When is \({\mathcal O}_ N\) a free \({\mathcal O}_ E[\Delta]\)-module of rank 1? A necessary condition is that N/E is moderately ramified, but it is in general not sufficient. The case \(E={\mathbb{Q}}\) is solved by Fröhlich's school. In general, even in customary cases, the answer is sometimes negative. The author gives a positive answer for a broad class as follows. Problem \((E/K,\epsilon)\): Does there exist a field N above E, Galois over K, with \(\Delta\cong Gal(N/E)\), inducing a group extension \[ 1\quad \to \quad \Delta \quad \to \quad Gal(N/K)\quad \to \quad \Gamma \quad \to \quad 1 \] of class \(\epsilon\). If so, N/K is called a solution of the solvable problem \((E/K,\epsilon)\). Problem \([E/K,\epsilon]\): Is \((E/K,\epsilon)\) solvable; if so, does it admit a solution N/K s.t. one obtains a normal base of integers of N over E. The author gives an affirmative answer in case \(\Delta\) is a group of order 2 and E is a quadratic or biquadratic bicyclic extension of a number field K with class \(h(K)=1\). The results are constructive in that they can be applied to construct effectively by questioned normal bases.
Mathematics Subject Classification ID: 11R33
zbMATH DE Number: 4204475
zbMATH Keywords: normal integral basis
zbMATH Keywords: Galois extension
zbMATH Keywords: group extension
reviewed by: Geert Molenberghs
MaRDI profile type: Publication
cites work: Q3749140
cites work: Normal integral bases and embedding problems
cites work: Galois modules and embedding problems.
cites work: Normal integral bases and complex conjugation.
cites work: Elliptic functions and rings or integers
cites work: Q3320487
cites work: Relative normal bases in some cyclotomic extensions
cites work: Plongement d'une extension qudratique dans une extension quaternionienne.
cites work: The module structure of Kummer extensions over Dedekind domains.
cites work: Artin-root numbers and normal integral bases for quaternion fields
cites work: Q3966247
cites work: Q3312326
cites work: Q4739993
cites work: On normal integral bases
cites work: Remark on ''On normal integral bases''
cites work: On two conjectures on real quadratic fields
cites work: Über Den Bizyklischen Biquadratischen Zahlkörper
cites work: Q5840258
cites work: On Integral Bases
cites work: Modules sur l'algèbre du groupe quaternionien
cites work: Q3745926
cites work: Construction de p-extensions galoisiennes d'un corps de caractéristique différente de p. (Construction of Galois p-extensions of fields with characteristic different from p)
cites work: Class number one criteria for real quadratic fields. I
cites work: A Conjecture of S. Chowla Via the Generalized Riemann Hypothesis
cites work: Über das Einbettungsproblem der algebraischen Zahlentheorie
cites work: Q3856856
cites work: Q3699797
cites work: Integers of Biquadratic Fields
cites work: Wildly Ramified Gamma Extensions
cites work: Q3752479
description: scientific article; zbMATH DE number 4204475