On computing Hilbert class fields of prime degree (Q4375598)

The authors give a purely arithmetical method of computing the Hilbert class field of a totally real cubic field \(k\). Briefly, their method is as follows: Let the class number of \(k\) be \(p=h_k\). The Hilbert class field, denoted by \(\Gamma\), is the maximal abelian extension of \(k\) which is unramified at all places. This field has degree \(p\) over \(k\). The authors use Kummer extensions. First, they adjoin a primitive \(p\)th root of unity \(\zeta_p\) to \(k\) and obtain a relative extension \(F=k (\zeta_p)\) of \(k\) of degree \(p-1\). Then they calculate all unramified extensions \(E\) of \(F\) of degree \(p-1\). Finally, they show how to find \(\Gamma\) among the subfields \(E\) of degree \(p\) over \(k\). Efficient methods for computing \(E\) and \(\Gamma\) are given. The authors also give some numerical data on Hilbert class fields over totally real cubic fields with class number 3 and discriminant less than \(10000\). For the entire collection see [Zbl 0852.00023].