On the restricted Hilbert-Speiser and Leopoldt properties

Class numbers, class groups, discriminants (11R29) Integral representations related to algebraic numbers; Galois module structure of rings of integers (11R33)

Abstract: Let G be a finite abelian group. A number field K is called a Hilbert-Speiser field of type G if, for every tame G-Galois extension L/K, the ring of integers O_L is free as an O_K[G]-module. If O_L is free over the associated order A_{L/K} for every G-Galois extension L/K, then K is called a Leopoldt field of type G. It is well-known (and easy to see) that if K is Leopoldt of type G, then K is Hilbert-Speiser of type G. We show that the converse does not hold in general, but that a modified version does hold for many number fields K (in particular, for K/Q Galois) when G=C_p has prime order. We give examples with G=C_p to show that even the modified converse is false in general, and that the modified converse can hold when the original does not.

Recommendations

Cites work

Cited in

(4)

Describes a project that uses

Uses Software

This page was built for publication: On the restricted Hilbert-Speiser and Leopoldt properties

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q351773)