Sunil K. Chebolu,Keir Lockridge
Abstract:In an earlier paper, we determined the finite fields with indecomposable multiplicative groups and conjectured that there is no infinite field whose multiplicative group is indecomposable. In this paper, we prove this conjecture for several popular classes of fields, including finitely generated fields, discrete valued fields, fields of Hahn series, local fields, global fields, and function fields.
What problem does this paper attempt to address?
The core problem that this paper attempts to solve is: Does there exist an infinite field whose multiplicative group is indecomposable?
Specifically, in previous literature, the author has already determined which finite fields have indecomposable multiplicative groups and proposed a conjecture, that is, there is no infinite field whose multiplicative group is indecomposable. The main purpose of this paper is to prove that this conjecture holds for several important types of infinite fields, including finitely generated fields, discrete valuation fields, Hahn series fields, local fields, global fields and function fields.
### Background and Problem Description of the Paper
1. **Definition and Properties of Multiplicative Groups**
- The non - zero elements of a field \( \mathbb{F} \) form an abelian group under multiplication, denoted as \( \mathbb{F}^{\times} \).
- If an abelian group cannot be expressed as the direct sum of two non - trivial subgroups, it is called indecomposable.
2. **Existing Results**
- For finite fields, the author's previous work has already proved which finite fields have indecomposable multiplicative groups (see Theorem 2).
- Further, they proposed a conjecture (Conjecture 3), believing that there is no infinite field whose multiplicative group is indecomposable.
3. **Research Motivation**
- This problem originated from a problem about the realizability of unit groups proposed by László Fuchs 50 years ago. In particular, it is to determine which indecomposable abelian groups can be the unit group of a certain ring.
- Although this problem is easy to understand, it is rarely mentioned in the literature.
### Main Contributions
- **Proving the Conjecture**: In this paper, the author has proved that for several common types of infinite fields, their multiplicative groups are all decomposable, thus supporting their conjecture.
- **Classification Results**: If the conjecture holds, then all fields with indecomposable multiplicative groups will be completely classified, and these indecomposable abelian groups are limited to certain specific finite groups and torsion - free abelian groups in rings of characteristic 2.
### Conclusion
By proving that the multiplicative groups of several important infinite fields are decomposable, the author has further promoted the research on fields with indecomposable multiplicative groups and provided strong support for finally solving Fuchs' problem. If the conjecture holds, then all fields with indecomposable multiplicative groups will be completely classified, which will be an important mathematical progress.