Galois module structure of rings of integers (Q5916448)

The ring \({\mathfrak O}_ L\) of algebraic integers of an algebraic number field L of degree n over \({\mathbb{Q}}\), the field of rational numbers, is under addition a free \({\mathbb{Z}}\)-module of rank n, \({\mathbb{Z}}\) denoting the ring of rational integers. If L/K is a wildly ramified Galois extension and \(G=Gal(L/K)\), what is the structure of \({\mathfrak O}_ L\) as \({\mathbb{Z}}[G]\)-module? Very little is known about this problem. Yokoi studied the case when \(L/K\) is cyclic and wildly ramified of degree p and \(L/K,\) \(K/{\mathbb{Q}}\) are normal. In this case there are three rationally inequivalent indecomposable integral representations. Yokoi determined the number of times that indecomposable representations occur in \({\mathfrak O}_ L\) which are rationally equivalent to each of the three rationally inequivalent representations. The main result of this paper is a partial generalization of Yokoi's result. An extension \(L/K\) is considered such that \(L/{\mathbb{Q}}\) and \(K/{\mathbb{Q}}\) are normal, \(L/K\) is cyclic of degree \(p^ 2\) and the odd prime p is fully ramified in \(L/K\). Assuming that the first ramification number is sufficiently large, Yokoi's result is generalized to a class of extensions \(L/K\). This includes the class of fields for which, after completion at a prime above p and adjoining if necessary the p-th roots of unity, the relevant intermediate field has a Kummer generator over the subfield which is a non-unit. This theorem is proved by first considering the local case. In the local situation there are precisely \(4p+1\) indecomposable \({\mathbb{Z}}_ p[G]\)-modules, \({\mathbb{Z}}_ p\) denoting the ring of p-adic integers. This enables us to determine the structure of the ring of integers explicitly for the class of fields obtained after completion.