ad124c5603772818.tex
1: \begin{abstract} 
2: Let $L/K$ be a finite Galois extension of complete local fields with finite residue fields and let $G=\Gal(L/K)$.
3: We say that $L/K$ is weakly ramified if its second ramification group is trivial. 
4: Let $\mathcal{O}_{L}$ be the valuation ring of $L$ and let $\mathfrak{P}_{L}$ be its maximal ideal.
5: We show that if $L/K$ is weakly ramified then $\mathfrak{P}_{L}$ is free over the group ring $\mathcal{O}_{K}[G]$,
6: and we construct an explicit generating element.
7: Under the additional assumption that $L/K$ is wildly ramified, we then show that every free generator of
8: $\mathfrak{P}_{L}$ over $\mathcal{O}_{K}[G]$ is also a free generator of 
9: $\mathcal{O}_{L}$ over its associated order in the group algebra $K[G]$.
10: Along the way, we prove a `splitting lemma' for local fields, which may be of independent interest.
11: The proofs of all of these results are elementary.
12: \end{abstract}
13: