A valuation criterion for normal basis generators in local fields of characteristic p

Abstract: Let

K

be a complete local field of characteristic

p

with perfect residue field. Let

L / K

be a finite, fully ramified, Galois

p

-extension. If

p i_{L} i n L

is a prime element, and

p^{'} (x)

is the derivative of

p i_{L}

's minimal polynomial over

K

, then the relative different

e u D_{L / K}

is generated by

p^{'} (p i_{L}) i n L

. Let

v_{L}

be the normalized valuation normalized with

v_{L} (L) = m a t h b b Z

. We show that any element

h o i n L

with

generates a normal basis,

K [G a l (L / K)] c d o t h o = L

. This criterion is tight: Given any integer

i

such that

, there is a

h o_{i} i n L

with

v_{L} (h o_{i}) = i

such that

K [G a l (L / K)] c d o t h o_{i} s u b s e t n e q L

.

Recommendations

Cites Work

Cited In (9)

This page was built for publication: A valuation criterion for normal basis generators in local fields of characteristic \(p\)