On the equivariant structure of ideals in abelian extensions of local fields (with an appendix by W. Bley)

Let p be an odd rational prime and It a finite extension of Q(p). We give a complete classification of those finite abelian extensions L/K in which an y ideal of the valuation ring of L is free over its associated order in Q(p ) [Gal(L/K)]. In an appendix W. Bley describes an algorithm which can be us ed to determine the structure of Galois stable ideals in abelian extensions of number fields. The algorithm is applied to give several new and interes ting examples. Mathematics Subject Classification (1991). 11R33.