Construction and classification of \(p\)-ring class fields modulo \(p\)-admissible conductors

Each \(p\)-ring class field \(K_f\) modulo a \(p\)-admissible conductor \(f\) over a quadratic base field \(K\) with \(p\)-ring class rank \(\varrho_f\) mod \(f\) is classified according to Galois cohomology and differential principal factorization type of all members of its associated heterogeneous multiplet \(\mathbf{M}(K_f)=\lbrack(N_{c,i})_{1\le i\le m(c)}\rbrack_{c\mid f}\) of dihedral fields \(N_{c,i}\) with various conductors \(c\mid f\) having \(p\)-multiplicities \(m(c)\) over \(K\) such that \(\sum_{c\mid f}\,m(c)=\frac{p^{\varrho_f}-1}{p-1}\). The advanced viewpoint of classifying the entire collection \(\mathbf{M}(K_f)\), instead of its individual members separately, admits considerably deeper insight into the class field theoretic structure of ring class fields. The actual construction of the multiplet \(\mathbf{M}(K_f)\) is enabled by exploiting the routines for abelian extensions in the computational algebra system Magma.

Using decomposition groups to prove theorems about quadratic residues

In this text we elaborate on the modern viewpoint of the quadratic reciprocity law via methods of alge- braic number theory and class field theory. We present original short and simple proofs of so called addi- tional quadratic reciprocity laws and of the multiplicativity of the Legendre symbol using decompositon groups of primes in quadratic and cyclotomic extensions of Q.

On Hilbert class field tower for some quartic number fields

We determine the Hilbert 2-class field tower for some quartic number fields k whose 2-class group Ck,2 is isomorphic to ℤ/2ℤ×ℤ/2ℤ.