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.

Fundamental Unit System and Class Number for Real Number Fields of Type (2,2,2)

Fundamental Unit System and Class Number of Real Bicyclic Biquadratic Number Fields

Unit Group of Algebraic Real Quadratic Function Fields

Ideal Class Groups of Real Quadratic Fields of Generalized ERD-type

On the unit group and the $2$-class number of $\mathbb{Q}(\sqrt{2},\sqrt{p},\sqrt{q})$

Bounds of ideal class numbers of real quadratic function fields

Quadratic Number Fields with Class Numbers Divisible by a Prime Q

Cyclic Quartic Fields and Genus Theory of Their Subfields

An Infinite Family of Real Quadratic Fields with Three Classes of Perfect Unary Forms

Arithmetic of some real triquadratic fields; Units and 2-class groups

ON THE MINKOWSKI UNIT IN FUNCTION FIELDS

New characterization of the norm of the fundamental unit of $\mathbb{Q}(\sqrt M)$

$\mathbb{Z}_2$-extension of real quadratic fields with $\mathbb{Z}/2\mathbb{Z}$ as $2$-class group at each layer

The divisibility of the class number of the imaginary quadratic fields $\mathbb{Q}(\sqrt{1-2m^k})$

A Remark on K-2 of the Rings of Integers of Totally Real Number Fields

Kuroda's formula and arithmetic statistics

Imaginary quadratic number fields with class groups of small exponent

An Additive Function on a Ring of Integers in the Imaginary Quadratic Field Q(√d) with Class-Number One

On K-2 Of Division Algebras

Dyadic ideal, class group, and tame kernel in quadratic fields

On indefinite and potentially universal quadratic forms over number fields