Abstract:We define degree two cohomological invariants for G-Galois algebras over fields of characteristic not 2, and use them to give necessary conditions for the existence of a self--dual normal basis. In some cases, we show that these conditions are also sufficient.
What problem does this paper attempt to address?
This paper aims to solve the problem regarding the existence conditions of self - dual normal bases. Specifically, the author defines the quadratic cohomology invariants of G - Galois algebras over fields with characteristic not equal to 2, and uses these invariants to give the necessary conditions for the existence of self - dual normal bases. In some cases (for example, when the cohomological dimension of the field is ≤2), these conditions are also sufficient.
### Main Research Contents
1. **Define Quadratic Cohomology Invariants**:
- The author defines the quadratic cohomology invariants \( c_A(L) \) and \( d_A(L) \) of G - Galois algebras over fields with characteristic not equal to 2, where \( A \) is an orthogonal or unitary central simple factor of \( k[G]_s \).
- These invariants provide the necessary conditions for the existence of self - dual normal bases.
2. **Necessary Conditions for Self - Dual Normal Bases**:
- By studying these invariants, the author gives the necessary conditions for the existence of self - dual normal bases. Specifically, for each orthogonal or unitary central simple factor \( A \), if \( L \) has a self - dual normal base, then \( \text{Res}_{E_A/k}(c_A(L)) \) and \( \text{Res}_{E_A/k}(d_A(L)) \) must be zero.
3. **Sufficient Conditions for Self - Dual Normal Bases**:
- When the cohomological dimension of the field \( k \) is ≤2, the above - mentioned necessary conditions are also sufficient. This means that in this case, if \( \text{Res}_{E_A/k}(c_A(L)) \) and \( \text{Res}_{E_A/k}(d_A(L)) \) are both zero, then \( L \) must have a self - dual normal base.
4. **Situations of Local Fields and Global Fields**:
- For a local field \( k \), the conditions can be directly expressed in terms of \( c_A(L) \) and \( d_A(L) \), without the need for a finite - degree extension.
- For a global field \( k \), by combining the results of local fields and the Hasse principle, the necessary and sufficient conditions for the existence of self - dual normal bases can be given.
### Specific Examples
- **The Case of Cyclic Groups**:
- For cyclic groups of order a power of 2, there is at most one unitary component \( A \) that will produce a non - trivial invariant \( d_A(L) \), and this invariant provides the necessary and sufficient conditions for the existence of self - dual normal bases.
- **Specific Example**:
- For example, when \( G \) is a cyclic group of order 8 and \( k \) does not contain a fourth root of unity, the author analyzes in detail a specific G - Galois algebra \( L \), and gives the specific expressions of \( d_A(L) \) and \( \text{Res}_{E_A/k}(d_A(L)) \). Through these expressions, it can be determined whether \( L \) has a self - dual normal base.
### Conclusion
This paper gives the necessary and sufficient conditions for the existence of self - dual normal bases by defining and studying the quadratic cohomology invariants of G - Galois algebras. These results are applicable not only to general fields, but also particularly to local fields and global fields. These theoretical achievements provide important tools and methods for further research on the existence and properties of self - dual normal bases.