Galois module structure of algebraic integers of the simplest cubic field

Abstract: Let

L_{n}

be the simplest cubic field with the Galois group

G = m a t h r m G a l (L_{n} / m a t h b b Q)

. The associated order is denoted as

{m a t h c a l A}_{L_{n} / m a t h b b Q} := x i n m a t h b b Q [G], |, x . {m a t h c a l O}_{L_{n}} s u b s e t {m a t h c a l O}_{L_{n}}

, where

{m a t h c a l O}_{L_{n}}

is the ring of integers of

L_{n}

. Leopoldt showed that

{m a t h c a l O}_{L_{n}} s i m e q {m a t h c a l A}_{L_{n} / m a t h b b Q}

as

{m a t h c a l A}_{L_{n} / m a t h b b Q}

-modules. In this paper, we give the generator of the

{m a t h c a l A}_{L_{n} / m a t h b b Q}

-module

{m a t h c a l O}_{L_{n}}

explicitly using the roots of Shanks' cubic polynomial. If

L_{n} / m a t h b b Q

is tamely ramified, then we have

{m a t h c a l A}_{L_{n} / m a t h b b Q} = m a t h b b Z [G]

, and the conjugates of the generator is a normal integral basis, which has been obtained explicitly in the previous work of Hashimoto and Aoki.

This page was built for publication: Galois module structure of algebraic integers of the simplest cubic field