English

On the degrees of divisors of T^n-1

Number Theory 2012-06-12 v1

Abstract

Fix a field FF. In this paper, we study the sets \DF(n)[0,n]\D_F(n) \subset [0,n] defined by [\D_F(n):= {0 \leq m \leq n: T^n-1\text{has a divisor of degree mm in} F[T]}.] When \DF(n)\D_F(n) consists of all integers mm with 0mn0 \leq m \leq n, so that Tn1T^n-1 has a divisor of every degree, we call nn an FF-practical number. The terminology here is suggested by an analogy with the practical numbers of Srinivasan, which are numbers nn for which every integer 0mσ(n)0 \leq m \leq \sigma(n) can be written as a sum of distinct divisors of nn. Our first theorem states that, for any number field FF and any x2x \geq 2, [#{\text{FF-practical nxn\leq x}} \asymp_{F} \frac{x}{\log{x}};] this extends work of the second author, who obtained this estimate when F=\QF=\Q. Suppose now that x3x \geq 3, and let mm be a natural number in [3,x][3,x]. We ask: For how many nxn \leq x does mm belong to \DF(n)\D_F(n)? We prove upper bounds in this problem for both F=\QF=\Q and F=\FpF=\F_p (with pp prime), the latter conditional on the Generalized Riemann Hypothesis. In both cases, we find that the number of such nxn \leq x is Fx/(logm)2/35\ll_{F} x/(\log{m})^{2/35}, uniformly in mm.

Keywords

Cite

@article{arxiv.1206.2084,
  title  = {On the degrees of divisors of T^n-1},
  author = {Paul Pollack and Lola Thompson},
  journal= {arXiv preprint arXiv:1206.2084},
  year   = {2012}
}