Abstract:Let $n$ be a positive integer and $f_n(x)= 1+x+\frac{x^2}{2!}+\cdots + \frac{x^n}{n!}$ denote the $n$-th Taylor polynomial of the exponential function. Let $K = \mathbf{Q}(\theta)$ be an algebraic number field where $\theta$ is a root of $f_n(x)$ and $\mathbf{Z}_K$ denote the ring of algebraic integers of $K$. In this paper, we prove that for any prime $p$, $p$ does not divide the index of the subgroup $\mathbf{Z}[\theta]$ in $\mathbf{Z}_K$ if and only if $p^2\nmid n!$.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the subgroup index property in the ring of algebraic integers in a number field defined by exponential Taylor polynomials. Specifically, the author studies which prime numbers \(p\) will divide the index \([\mathcal{O}_K : \mathbb{Z}[\theta]]\) of the subring \(\mathbb{Z}[\theta]\) generated by the root \(\theta\) in the ring of algebraic integers \(\mathcal{O}_K\) of the algebraic number field \(K = \mathbb{Q}(\theta)\).
### Main problems of the paper
1. **Background and motivation**:
- The research object is the \(n\)th exponential Taylor polynomial \(f_n(x)=1 + x+\frac{x^2}{2!}+\cdots+\frac{x^n}{n!}\).
- Let \(K = \mathbb{Q}(\theta)\) be an algebraic number field, where \(\theta\) is a root of \(f_n(x)\), and \(\mathcal{O}_K\) is the ring of algebraic integers of \(K\).
2. **Core problems**:
- The author hopes to characterize all prime numbers \(p\) that can divide \([\mathcal{O}_K : \mathbb{Z}[\theta]]\).
- Specifically, they prove that for any prime number \(p\), \(p\) does not divide \([\mathcal{O}_K : \mathbb{Z}[\theta]]\) if and only if \(p^2\) does not divide \(n!\).
### Main results
- **Theorem 1.2**: Let \(n\) be a positive integer, \(p\) be a prime number, and \(K = \mathbb{Q}(\theta)\) be an algebraic number field, where \(\theta\) is a root of \(f_n(x)=1 + x+\frac{x^2}{2!}+\cdots+\frac{x^n}{n!}\). Then \(p\) does not divide \([\mathcal{O}_K : \mathbb{Z}[\theta]]\) if and only if \(p^2\) does not divide \(n!\).
- **Corollary 1.3**: Let \(n\geq4\) be an integer, \(f_n(x)=1 + x+\frac{x^2}{2!}+\cdots+\frac{x^n}{n!}\), and \(K = \mathbb{Q}(\theta)\) be an algebraic number field, where \(\theta\) is a root of \(f_n(x)\). Then 2 divides \([\mathcal{O}_K : \mathbb{Z}[\theta]]\). In particular, the set \(\{1,\theta,\ldots,\theta^{n - 1}\}\) cannot form an integral basis of \(K\).
### Solution methods
The author uses the Dedekind criterion to prove this result. The Dedekind criterion provides a necessary and sufficient condition for the prime number \(p\) not to divide \([\mathcal{O}_K : \mathbb{Z}[\theta]]\). By analyzing the discriminant of \(f_n(x)\) and its decomposition modulo \(p\), the author draws the above conclusions.
In conclusion, through strict mathematical derivations, this paper solves the problem about the subgroup index property in the ring of algebraic integers in the number field defined by exponential Taylor polynomials and gives explicit judgment conditions.