Related papers: Binary quadratic forms and ray class groups
Let $K$ be an imaginary biquadratic field and $K_1$, $K_2$ be its imaginary quadratic subfields. For integers $N>0$, $\mu\geq 0$ and an odd prime $p$ with $\gcd(N,p)=1$, let $K_{(Np^\mu)}$ and $(K_i)_{(Np^\mu)}$ for $i=1,2$ be the ray class…
We discuss computational results on field extensions $K/{\mathbb Q}$ of degree $n\le11$ with Galois group of the Galois closure isomorphic to the full symmetric group ${\mathfrak S}_n$. More precisely, we present statistics on the number of…
Let $p_1 \equiv p_2 \equiv5\pmod8$ be different primes. Put $i=\sqrt{-1}$ and $d=2p_1p_2$, then the bicyclic biquadratic field $k=Q(\sqrt{d}, \sqrt{-1})$ has an elementary abelian 2-class group of rank $3$. In this paper we determine the…
Let $K$ be a number field with ring of integers $\mathcal{O}_K$ and let $G$ be a \mbox{finite group of} odd order. Given a $G$-Galois $K$-algebra $K_h$, let $A_h$ be the square root of the inverse different of $K_h/K$, which exists by…
Let $n>1$ be an odd integer. We prove that there are infinitely many imaginary quadratic fields of the form $\mathbb{Q}(\sqrt{x^2-2y^n})$ whose ideal class group has an element of order $n$. This family gives a counter example to a…
Let $K$ be an imaginary quadratic field and $\mathcal{O}$ be an order in $K$. We construct class fields associated with form class groups which are isomorphic to certain $\mathcal{O}$-ideal class groups in terms of the theory of canonical…
The Steinitz class of a number field extension K/k is an ideal class in the ring of integers O_k of k, which, together with the degree [K:k] of the extension determines the O_k-module structure of O_K. We call rt(k,G) the classes which are…
We introduce an algorithm that computes explicit class fields of an imaginary quadratic field $K$ for a given modulus $\mathfrak{f}\subset\mathcal{O}_K$ more efficiently than the use of their classical counterparts. Therein, we prove the…
Let $p$ be an odd prime number and $f$ a modular form. We consider the $\mathbb{F}_p$-valued Galois representation $\bar{\rho}_f$ attached to $f$ and its twist $\bar{\rho}_{f, D}$ by the quadratic character $\chi_D$ corresponding to a…
Let $L/K$ be a tame and Galois extension of number fields with group $G$. It is well-known that any ambiguous ideal in $L$ is locally free over $\mathcal{O}_KG$ (of rank one), and so it defines a class in the locally free class group of…
Given a number field $k$, we show that, for many finite groups $G$, all the Galois extensions of $k$ with Galois group $G$ cannot be obtained by specializing any given finitely many Galois extensions $E/k(T)$ with Galois group $G$ and $E/k$…
For a prime \(p\ge 2\) and a number field K with p-class group of type (p,p) it is shown that the class, coclass, and further invariants of the metabelian Galois group \(G=Gal(F_p^2(K) | K)\) of the second Hilbert p-class field \(F_p^2(K)\)…
A number field $k$ admits a binary integral quadratic form which represents all integers locally but not globally if and only if the class number of $k$ is bigger than one. In this case, there are only finitely many classes of such binary…
We construct an infinite family of imaginary bicyclic biquadratic number fields $k$ with the 2-ranks of their 2-class groups are $\geq3$, whose strongly ambiguous classes of $k/Q(i)$ capitulate in the absolute genus field $k^{(*)}$, which…
Let $K/\mathbf{Q}$ be a finite Galois extension. The P\'olya group of $K$ is the subgroup of the class group $Cl(K)$, generated by the classes of ambiguous ideals of $K$. In this note, among other results, we prove that every finite abelian…
Given a number field $k$ and a quadratic extension $K_2$, we give an explicit asymptotic formula for the number of isomorphism classes of cubic extensions of $k$ whose Galois closure contains $K_2$ as quadratic subextension, ordered by the…
We prove that, for every modulus $\mathfrak{q}$, every class of the narrow ray class group $H_{\mathfrak{q}}(\mathbf{K})$ of an arbitrary number field $\mathbf{K}$ contains a product of three unramified prime ideals $\mathfrak{p}$ of degree…
Let $p$ be an odd prime. For a number field $K$, we let $K_\infty$ be the maximal unramified pro-$p$ extension of $K$; we call the group $\mathrm{Gal}(K_\infty/K)$ the $p$-class tower group of $K$. In a previous work, as a non-abelian…
Let A be an abelian threefold defined over a number field K with potential multiplication by an imaginary quadratic field M. If A has signature (2,1) and the multiplication by M is defined over an at most quadratic extension, we attach to A…
This paper concerns the description of holomorphic extensions of algebraic number fields. We define a hyperbolized adele class group for every number field K Galois over Q and consider the Hardy space H[K] of graded-holomorphic functions on…