All Questions

Let $F$ be a $2$-adic field, i.e. a finite extension of the $2$-adic numbers $\mathbb{Q}_2$. Suppose that I have a quadratic extension $E = F(\sqrt{d})$ of $F$. Given a unit $\alpha \in \mathcal{O}_F^\...

Theorem 4 of Eric Bach's "Explicit bounds for primality testing and related problems" states the following: Let $K$ be a number field of degree greater than 1. Let $d$ be the absolute value ...

For a cyclotomic field $K = \mathbb Q(\zeta_n)$, let $K^+$ be its maximal totally real subfield. We know that $H^+ = Cl(K^+)$ injects into $H = Cl(K)$. I am interested in computing the group $H/H^+$ ...

The question is about the specific case of reflection theorems (copied straight from Franz Lemmermeyer's "Class Groups of Dihedral Extensions"): Let $k^+ = \mathbb{Q}(\sqrt{m})$ with $m\in \mathbb{...