``Galois module structure'' of quaternion extensions of degree 8 (Q1282347)

Let \(k\) be a number field. As \(N/k\) runs through the tamely ramified normal extension with Galois group \(H_8\) (the quaternion group of order \(8\)), the Steinitz modules of these extensions form a subset \(R(k)\) of the ideal class group \(Cl(k)\). The main theorem proved here is that if \(k\) has odd class number in the strict sense, then \(R(k)\) is a group isomorphic to \(Cl(k)^4\).