Abstract:This paper aims to prove a version of the Hilbert's Theorem 90 for a field with non-trivial Kaplansky radical and the Galois group of its maximal $2$-extension as a finitely generated elementary type pro-2 group.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is how to generalize Hilbert's Theorem 90 to fields with non - trivial Kaplansky radicals, and the Galois group of its maximal 2 - extension is a finitely - generated elementary type pro - 2 group (ETG group). Specifically, the goal of the paper is to prove that for this type of fields, there is a result similar to Hilbert's Theorem 90.
### Background and Problem Description of the Paper
1. **Kaplansky Radical**: The Kaplansky radical \(R(F)\) is a special subset in a field \(F\) and has important applications in quadratic form theory. It is defined as:
\[
R(F)=\{a\in\dot{F}\mid D_F\langle1, - a\rangle=\dot{F}\}
\]
where \(D_F\langle1, - a\rangle\) is the set consisting of all elements represented by the binary quadratic form \(X^2 - aY^2\).
2. **Hilbert's Theorem 90**: The classical Hilbert's Theorem 90 is applicable to quadratic extensions \(K/F\), indicating that for the norm map \(N:\dot{K}\to\dot{F}\) of \(K/F\), we have:
\[
N^{-1}(R(F))=\dot{F}R(K)
\]
3. **Conjecture 1**: The paper proposes a conjecture, that is, for a field \(F\) with characteristic not equal to 2, if \(\dot{F}/\dot{F}^2\) is finite, and \(K = F(\sqrt{a})\) is a quadratic extension of \(F\), then:
\[
N^{-1}(R(F))=\dot{F}R(K)
\]
This conjecture can be regarded as a generalization of Hilbert's Theorem 90 to fields with non - trivial Kaplansky radicals.
### Main Contributions
The main contribution of the paper lies in proving that the above conjecture holds for a large class of fields, especially when the Galois group \(G_F^{(2)}\) of the maximal 2 - extension of \(F\) is a finitely - generated elementary type pro - 2 group. Specifically:
- **ETG Group**: If \(G_F^{(2)}\) is an ETG group, then Conjecture 1 holds.
- **Main Result**: The paper proves that if \(G_F^{(2)}\) is an ETG group, then Conjecture 1 holds, thus expanding the application scope of Hilbert's Theorem 90.
### Conclusion
By introducing the concept of elementary type pro - 2 groups in Galois theory, the paper successfully generalizes Hilbert's Theorem 90 to fields with non - trivial Kaplansky radicals, providing a new perspective and tool for research in this field.