Galois module structure of abelian quartic extensions over their quadratic subfields (Q1369031)

Let \(M\) be a quartic Galois extension of \(\mathbb{Q}\) and let \(L\) be a quadratic subfield. Whenever an integral basis of \(M/L\) exists, the author determines the structure of the ring of integers \(T\) of \(M\) as an \( A_{M/L}\)-module, where \( A_{M/L}\) is the associated order of \(T\) in \(LG\), \(G = \text{Gal}(M/L)\). The results divide into the cases \(\text{Gal} (M/\mathbb{Q}) = \mathbb{Z}_2 \times \mathbb{Z}_2\) or \(\mathbb{Z}_4\). For \(\text{Gal} (M/\mathbb{Q}) = \mathbb{Z}_4\) generators of \( A_{M/L}\) and free generators of \(T\) over \( A_{M/L}\) are given, in seven cases. For \(\text{Gal} (M/\mathbb{Q}) = \mathbb{Z}_2 \times \mathbb{Z}_2\), the structure of \(T\) as an \( A_{M/L}\)-module is given, in 26 cases, for five of which \(T\) is not \( A_{M/L}\)-free. The proofs are based on results of \textit{K. S. Williams} [Can. Math. Bull. 13, 519-526 (1970; Zbl 0205.35401)], \textit{R. H. Bird} and \textit{C. J. Parry} [Pac. J. Math. 66, 29-36 (1976; Zbl 0356.12003)] and \textit{J. A. Hymo} and \textit{C. J. Parry} [J. Number Theory 34, 189-197 (1990; Zbl 0698.12003)] giving integral bases of \(M\) over \(L\), and a freeness criterion for \(T\) over \( A_{M/L}\) due to \textit{A. Srivastav} and \textit{S. Venkataraman} [Indian J. Pure Appl. Math 25, 473-488 (1994; Zbl 0804.11063)].