English

Algebraic properties of summation of exponential Taylor polynomials

Number Theory 2020-11-13 v1

Abstract

Let n1n\ge 1 be an integer and en(x)e_n(x) denote the truncated exponential Taylor polynomial, i.e. en(x)=i=0nxii!e_{n}(x)=\sum_{i=0}^n\frac{x^i}{i!}. A well-known theorem of Schur states that the Galois group of en(x)e_n(x) over \Q\Q is the alternating group AnA_n if nn is divisible by 4 or the symmetric group SnS_n otherwise. In this paper, we study algebraic properties of the summation of two truncated exponential Taylor polynomials \En(x):=en(x)+en1(x)\E_n(x):=e_n(x)+e_{n-1}(x). We show that xnn!+i=0n1cixii!\frac{x^n}{n!}+\sum_{i=0}^{n-1}c_i\frac{x^i}{i!} with all ci (0in1)c_i \ (0\le i\le n-1) being integers is irreducible over \Q\Q if either c0=±1c_0=\pm 1, or nn is not a positive power of 22 but c0|c_0| is a positive power of 2. This extends another theorem of Schur. We show also that \En(x)\E_n(x) is irreducible if n∉{2,4}n\not\in\{2,4\}. Furthermore, we show that Gal\Q(\En){\rm Gal}_{\Q}(\E_n) contains AnA_{n} except for n=4n=4, in which case, Gal\Q(\E4)=S3{\rm Gal}_{\Q}(\E_4)=S_3. Finally, we show that the Galois group Gal\Q(\En){\rm Gal}_{\Q}(\E_n) is SnS_n if n3(mod4)n\equiv 3 \pmod 4, or if nn is even and vp(n!)v_p(n!) is odd for a prime divisor of n1n-1, or if n1(mod4)n\equiv 1\pmod 4 and n2n-2 equals the product of an odd prime number pp which is coprime to i=1p12p1ii!\sum_{i=1}^{p-1}2^{p-1-i}i! and a positive integer coprime to pp.

Keywords

Cite

@article{arxiv.2011.06273,
  title  = {Algebraic properties of summation of exponential Taylor polynomials},
  author = {Lingfeng Ao and Shaofang Hong},
  journal= {arXiv preprint arXiv:2011.06273},
  year   = {2020}
}

Comments

14 pages