All Questions

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^+$ ...

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 ...