Related papers: P\'olya-Ostrowski Group and Unit Index in Real Biq…
Given a field K, one may ask which finite groups are Galois groups of field extensions L/K such that L is a maximal subfield of a division algebra with center K. This connection between inverse Galois theory and division algebras was first…
Kuroda's formula relates the class number of a multi-quadratic number field $K$ to the class numbers of its quadratic subfields $k_i$. A key component in this formula is the unit group index $Q(K) = [\mathcal{O}_{K}^{\times}:…
Let $K$ be a totally real number field of degree $r=[K:\mathbb{Q}]$ and let $p$ be an odd rational prime. Let $K_{\infty}$ denote the cyclotomic $\mathbb{Z}_{p}$-extension of $K$ and let $L_{\infty}$ be a finite extension of $K_{\infty}$,…
Given $F$ a real abelian field, $p$ an odd prime and $\chi$ any Dirichlet character of $F$ we give a method for computing the $\chi$-index $\displaystyle (H^1(G_S,\mathbb{Z}_p(r))^\chi: C^F(r)^\chi)$ where the Tate twist $r$ is an odd…
In this paper, we use the theory of genus fields to study the Euclidean ideals of certain real biquadratic fields $K.$ Comparing with the previous works, our methods yield a new larger family of real biquadratic fields $K$ having Euclidean…
Let $K$ be a cyclic totally real number field of odd degree over $\mathbb{Q}$ with odd class number, such that every totally positive unit is the square of a unit, and such that $2$ is inert in $K/\mathbb{Q}$. We define a family of number…
Let $E$ be an elliptic curve over $\mathbb{Q}$. Let $p$ be an odd prime and $\iota: \overline{\mathbb{Q}}\hookrightarrow \mathbb{C}_p$ an embedding. Let $K$ be an imaginary quadratic field and $H_{K}$ the corresponding Hilbert class field.…
There are several recent works where authors have shown that number fields $K$ with `sufficiently many' units and cyclic class group contain a Euclidean ideal class provided the Hilbert class field $H(K)$ is absolutely abelian. In this…
In this paper, we compute the unit groups and the $2$-class numbers of the Fr\"ohlich's triquadratic fields $\KK=\mathbb{Q}(\sqrt{2},\sqrt{p},\sqrt{q})$, where $p$ and $q$ are two prime numbers such that ($p\equiv 1 \pmod8$ and $q\equiv 3…
In 1976, Onabe discovered that, in contrast to the Neukirch-Uchida results that were proved around the same time, a number field $K$ is not completely characterized by its absolute abelian Galois group $A_K$. The first examples of…
For a number field $K$, we extend the notion of the ring class field of an order in $K$ [C. Lv and Y. Deng, SciChina. Math., 2015] to that of an arbitrary number ring in $K$. We give both ideal-theoretic and idele-theoretic description of…
The investigation of the ideal class group $Cl_K$ of an algebraic number field $K$ is one of the key subjects of inquiry in algebraic number theory since it encodes a lot of arithmetic information about K. There is a considerable amount of…
The main purpose of this paper is to extend results on isomorphism types of the abelianized absolute Galois group $\mathcal G_K^{ab}$, where $K$ denotes imaginary quadratic field. In particular, we will show that if the class number $h_K$…
Let $K/k$ be a pro-$p$-extension over a number field $k$ whose Galois group is finitely generated and $k_0\subseteq k_1\subseteq\cdots\subseteq k_n\subseteq\cdots$ an ascending sequence of intermediate fields of $K/k$ such that $k_n/k$ is…
For every odd integer $n \geq 3$, we prove that there exist infinitely many number fields of degree $n$ and associated Galois group $S_n$ whose class number is odd. To do so, we study the class groups of families of number fields of degree…
Let $R$ be an infinite Dedekind domain with at most finitely many units, and let $K$ denote its field of fractions. We prove the following statement. If $L/K$ is a finite Galois extension of fields and $\mathcal{O}$ is the integral closure…
Let k be a global field, p an odd prime number different from char(k) and S, T disjoint, finite sets of primes of k. Let G_S^T(k)(p)=Gal(k_S^T(p)|k) be the Galois group of the maximal p-extension of k which is unramified outside S and…
Let $O$ be an order of odd discriminant $D$ in an imaginary quadratic field $K$. Let $Cl(O)$ be the group of proper $O$-ideals and $Cl(O)[2]$ the kernel of multiplication by $2$ in $Cl(O)$. We describe explicitly the group $Cl(O)[2]$. In…
Let k be a global field, p an odd prime number different from char(k) and S, T disjoint, finite sets of primes of k. Let G_S^T(k)(p)=Gal(k_S^T(p)|k) be the Galois group of the maximal p-extension of k which is unramified outside S and…
In $1801$, Gauss found an explicit description, in the language of binary quadratic forms, for the $2$-torsion of the narrow class group and dual narrow class group of a quadratic number field. This is now known as Gauss's genus theory. In…