Abstract:In this paper, we describe a congruence property of solvable polynomials with coefficients in the Gaussian field Q(i).
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to generalize the previous research results on the congruence properties of solvable polynomials to the Gaussian field \( \mathbb{Q}(i) \). Specifically, the author hopes to explore whether there are similar solvable polynomials in the ring of Gaussian integers \( \mathbb{Z}[i] \) and study their properties.
### Main problems:
1. **Generalize the properties of solvable polynomials**: In his previous paper "A Congruence Property of Solvable Polynomials", the author studied the congruence properties of solvable polynomials over the field of rational numbers \( \mathbb{Q} \). Now, he attempts to generalize these results to the Gaussian field \( \mathbb{Q}(i) \).
2. **Find a suitable Weber function**: In order to achieve this generalization, a key technical challenge is to find a suitable Weber function (or a function with similar functions) such that all the values on the \( \alpha \)-torsion points of the elliptic curve \( \mathcal{E} \) are algebraic integers. This is crucial for constructing the required projective class field.
3. **Study the properties of Lemnatomic polynomials**: In particular, the author focuses on the Lemnatomic polynomial \( \Lambda_\beta(X) \) over the Gaussian field \( \mathbb{Q}(i) \) and proves that it is irreducible and separable under certain conditions. This provides a basis for understanding solvable polynomials over the Gaussian field.
### Core content of the paper:
- **Background introduction**: The paper first introduces basic concepts such as imaginary quadratic fields, their ideal class groups, and principal ideal domains, and discusses the connection between projective class fields and elliptic curves.
- **Gaussian field \( \mathbb{Q}(i) \) and Lemniscate function**: The author describes in detail how to use the Lemniscate function to replace the Weber function and shows its role in the Gaussian field.
- **Properties of Lemnatomic polynomials**: Through a series of lemmas and propositions, the author proves that the Lemnatomic polynomial is separable modulo \( \pi \) and gives sufficient conditions for its irreducibility.
- **Criterion for solvable polynomials**: Finally, the author proposes a criterion for judging whether a given polynomial contains a non - trivial solvable extension.
### Summary:
The main goal of this paper is to generalize the theory of solvable polynomials over the field of rational numbers to the Gaussian field \( \mathbb{Q}(i) \) by introducing Lemnatomic polynomials and Lemniscate functions, and prove some important properties and criteria. This not only expands the application range of the original theory but also lays a foundation for further research on solvable polynomials in other number fields.