G. Griffith Elder
Abstract:We define a variant of normal basis, called a {\em Galois scaffolding}, that allows for an easy determination of valuation, and has implications for Galois module structure. We identify fully ramified, elementary abelian extensions of local function fields of characteristic $p$, called {\em one-dimensional}, that, in a particular sense, are as simple as cyclic degree $p$ extensions, and prove the statement in the title above.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is: **Determine whether certain specific types of Galois extensions have a Galois scaffolding structure, and explore the influence of this structure on the Galois module structure**.
Specifically, the author focuses on fully ramified elementary abelian extensions, especially those that are as simple as \(p\)-extensions over local function fields of characteristic \(p\) in the one - dimensional sense. Such extensions are similar to cyclic \(p\)-extensions in some respects but are more complex. The author's goal is to prove that these extensions do indeed have a Galois scaffolding structure and use this structure to better understand the Galois module structure in these extensions.
### Main problem decomposition:
1. **Define the Galois scaffolding structure**: The author first defines a variant of the normal basis, called the Galois scaffolding. This structure not only allows easy determination of the valuation of elements but also provides an explicit set of bases such that the valuations of these bases acting on an element can cover all residue classes modulo \([L:K]\).
2. **Identify specific types of extensions**: The author focuses on fully ramified elementary abelian extensions, especially those that can be expressed as \(L = K(x_0,\ldots,x_n)\), where \(\wp(x_i)=\varphi^n(\Omega_i)\cdot\beta+\epsilon_i\) and satisfy certain conditions (such as \(v_K(\beta)= - b\), \(\gcd(b,p)=1\), etc.).
3. **Prove the existence of the Galois scaffolding**: The author proves that these extensions do indeed have a Galois scaffolding structure by constructing specific bases and valuation relationships. This provides a theoretical basis for subsequent research on the Galois module structure of these extensions.
4. **Application and generalization**: The author also discusses the application of the Galois scaffolding structure in other types of extensions, such as near one - dimensional elementary abelian extensions, and verifies the effectiveness of these structures through specific examples (such as biquadratic extensions, weakly ramified \(p\)-extensions, etc.).
### Summary:
The main contribution of this paper is to prove that certain fully ramified elementary abelian extensions have a Galois scaffolding structure and show how this structure helps to understand the Galois module structure in these extensions. This result provides new tools and methods for further research on more complex Galois extensions.