Abstract:The groups of units $U^i_L$ of a local field $L$ play an important role in algebraic number theory, especially in class field theoretic topics. Therefore, it is interesting to study these groups from a cohomological point of view. In this article, we study and compute the first cohomology of $U_L^1$, $U^2_L$ and $U^3_L$ under certain mild hypotheses, and discuss some results about general $U^i_L$'s.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to study and calculate the first - order cohomology group of the unit group \(U^i_L\) of the local field \(L\), especially the first - order cohomology of \(U^1_L\), \(U^2_L\) and \(U^3_L\) under certain mild assumptions. Specifically, the author focuses on the important roles these unit groups play in algebraic number theory, especially in the topic of class field theory. Therefore, it is meaningful to study these groups from the perspective of cohomology.
### Main problem decomposition:
1. **Background and motivation**:
- The unit group \(U^i_L\) of the local field \(L\) is of great significance in algebraic number theory, especially in the study of class field theory.
- Studying the first - order cohomology of these unit groups helps to understand their behaviors and properties in different mathematical structures.
2. **Specific objectives**:
- **Calculate the first - order cohomology of specific unit groups**: The main objective of the paper is to calculate the first - order cohomology groups of \(U^1_L\), \(U^2_L\) and \(U^3_L\) under certain mild assumptions.
- **Discuss the general situation**: Further explore the first - order cohomology properties of higher - order unit groups \(U^i_L\) and discuss the results.
3. **Methods and tools**:
- Use Galois module theory and cohomology theory to analyze and calculate the cohomology of these unit groups.
- Introduce some important mathematical tools, such as 1 - cocycle, Galois action, and Hilbert 90 theorem, etc.
4. **Main conclusions**:
- The paper proves that \(H^1(G, U^1_L)\) is a cyclic group generated by \((f_\pi)^t\), where \(t\) is the tame ramification index.
- For \(U^2_L\) and \(U^3_L\), under specific conditions (such as \(t > i\)), the paper obtains the specific structures of the first - order cohomology groups of these unit groups.
### Summary:
The core problem of the paper is to deeply study the unit group \(U^i_L\) of the local field \(L\) through cohomology theory, especially the first - order cohomology groups of \(U^1_L\), \(U^2_L\) and \(U^3_L\). This not only helps to understand the internal structures of these unit groups, but also provides new perspectives and tools for class field theory in algebraic number theory.
If you have more specific questions or need further explanations, please feel free to let us know!