Abstract:This paper describes in terms of Artin-Schreier equations field extensions whose Galois group is isomorphic to any of the four non-cyclic groups of order $p^3$ or the ten non-Abelian groups of order $p^4$, $p$ an odd prime, over a field of characteristic $p$.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to construct and describe field extensions of degrees \(p^3\) and \(p^4\) whose Galois groups are isomorphic to specific non - abelian groups over fields with characteristic \(p> 2\). Specifically:
1. **Background and Motivation**:
- The article first reviews the classical results regarding Galois extensions. According to the main theorem in [Wit36], when a \(p\)-group \(G\) is given, there exists a Galois extension \(L/K\) such that the Galois group of \(L/K\) is \(G\).
- [Sal78] further shows that such extensions can be described by polynomials in a specific form.
2. **Core of the Problem**:
- The main objective of the paper is to extend these results, with particular attention to cases where the Galois group is some specific non - abelian group. These groups include four non - cyclic groups of order \(p^3\) and ten non - abelian groups of order \(p^4\) (where \(p\) is an odd prime).
- Specifically, the author aims to construct these field extensions through Artin - Schreier equations and explicitly give the polynomial expressions involved in each extension.
3. **Specific Content**:
- For the \(p^3\)-degree extension, the article shows how to choose elements \(x_1\), \(x_2\), \(x_3\) such that \(K_3 = K_0(x_1,x_2,x_3)\) and satisfy specific Artin - Schreier equations.
- For the \(p^4\)-degree extension, the article further discusses nine specific non - abelian groups \(G_{\vec{a},\vec{b}}\) and the tenth group \(H\), and details the specific forms of the corresponding Artin - Schreier equations.
4. **Conclusion and Application**:
- The paper not only provides methods for constructing these extensions but also proves the converse, that is, any algebraic extension in the above form is a Galois extension, and its Galois group is the described non - abelian group.
- These results have potential application values in group theory, Galois theory, and the study of ramification indices of local field extensions.
In summary, this paper is dedicated to systematically describing and constructing Galois extensions of specific non - abelian \(p\)-groups through Artin - Schreier equations, thereby expanding the existing theoretical framework and providing tools and methods for further research in related fields.