Let k be a number field and K/k a V4-extension, i.e., a normal extension with Gal(K/k) = V4, where V4 is Klein’s four-group. K/k has three intermediate fields, say k1, k2, and k3. We will use the symbol N i (resp. Ni) to denote the norm of K/ki (resp. ki/k), and by a widespread abuse of notation we will apply N i and Ni not only to numbers, but also to ideals and ideal classes. The unit groups ...
