Abstract:Let k = Q(√u) (u ≠ 1 squarefree), K any possible cyclic quartic field containing k. A close relation is established between K and the genus group of k. In particular: (1) Each K can be written uniquely as K = Q(√vwη), where η is fixed in k and satisfies η ⪢ 1, (η) = U2√u, |U2| = |(√u)|, (v, u) = 1, v ∈ Z is squarefree, w|u, 0 < w < √u. Thus if u ≠ a2 + b2, there is no K ⊃ k. If u = a2 + b2 then for each fixed v there are 2g − 1K ⊃ k, where g is the number of prime divisors of u. (2) Kk has a relative integral basis (RIB) (i.e., OK is free over Ok) iff N(ε0) = −1 and w = 1, where ε0 is the fundamental unit of k, (or, equivalently, iff K = Q(√vε0√u), (v, u) = 1). (3) A RIB is constructed explicitly whenever it exists. (4) disc(K) is given. In particular, the following results are special cases of (2): (i) Narkiewicz showed in 1974 that Kk has a RIB if u is a prime; (ii) Edgar and Peterson (J. Number Theory 12 (1980), 77–83) showed that for u composite there is at least one K ⊃ k having no RIB. Besides, it follows from (4) that the classification and integral basis of K given by Albert (Ann. of Math. 31 (1930), 381–418) are wrong.

Hilbert genus fields of real biquadratic fields

Hilbert genus fields of biquadratic fields

Cyclic Quartic Fields and Genus Theory of Their Subfields

On Arithmetic Genus of Hilbert Modular Varieties on Cyclic Number-Fields

A Simple Construction Of Genus Fields Of Abelian Number-Fields

Quadratic forms and Genus Theory : a link with 2-descent and an application to non-trivial specializations of ideal classes

A Simple Construction of Genus Fields of Abelian Number Fields

Hilbert's tenth problem for families of $ \mathbb{Z}_p $-extensions of imaginary quadratic fields

Heegner point constructions and fundamental units in cubic fields

Relative Integral Bases of Number Fields of Type (Q~s,q~s,…,q~s)

A Ball Quotient Parametrizing Trigonal Genus 4 Curves

Genus theory of p-adic pseudo-measures -- Tame kernels and abelian p-ramification

Galois Groups And Genera Of A Kind Of Quasi-Cyclotomic Function Fields

Bounds of ideal class numbers of real quadratic function fields

Class Number Formulas for Certain Biquadratic Fields

Geometric Gauss-Dedekind

Generic models for genus 2 curves with real multiplication

Ternary Quadratic Forms and the Class Numbers of Imaginary Quadratic Fields

Ono Invariants of Imaginary Quadratic Fields with Class Number Three

Quadratic forms, $K$-groups and $L$-values of elliptic curves

Cusp shapes of Hilbert-Blumenthal surfaces