On primitive prime divisors of the orders of Suzuki-Ree groups (corrected version)

(a) Suppose that n=4,6. Observe that \varphi(2n)=4 and that the primitive 2nth roots of unity can be written as \pm\xi, \pm\overline \xi, where \xi is some fixed root. Since 2n and m are coprime, if \mu runs over the set of primitive mth roots of unity, then \pm\xi\mu, \pm\overline\xi\mu are all of the primitive 2nmth roots of unity. So we have

Furthermore, since n is even, it follows that \Phi_{nm}(x^2)=\Phi_{2nm}(x). Thus

where

It is clear that the coefficients of the polynomial f_m(x) are real. Also it is easy to see that the coefficients of the terms x^{2i} are integral linear combinations of numbers of the form \xi^{2j}+\overline\xi^{2j}, while the coefficients of x^{2i+1} are integral linear combinations of numbers of the form \xi^{2j+1}+\overline\xi^{2j+1}. Since

we deduce that

where a_1,a_2,\dots are integers. Thus f_m(\sqrt{v^s}) is an integer for every odd s.

Note that

where \epsilon\in\{+,-\} is defined by the equality \xi^m+\overline\xi^m=-\epsilon\sqrt{v}. Replacing, if necessary, the root \xi, we may assume that \epsilon=\varepsilon. By the above, every number f_d(\sqrt{v^s}), where d divides m, is an integer, and so f_m(\sqrt{v^s}) divides \Psi_n(\varepsilon\sqrt{v^{ms}}). Similarly, f_m(-\sqrt{v^s}) divides \Psi_n(-\varepsilon\sqrt{v^{ms}}). The numbers \Psi_n(\sqrt{v^{ms}}) and \Psi_n(-\sqrt{v^{ms}}) are coprime, and hence (\Phi_{nm}(v^s), \Psi_n(\varepsilon\sqrt{v^{ms}}))=|f_m(\sqrt{v^s})|, as required.

(b) Applying (Proof) with n=4, we derive that \Phi_{12m}(x^2)=f_{3m}(x)f_{3m}(-x). Also since 3 does not divide m, we have

It follows that

where \epsilon is defined in the same way as in (a). The rest of the proof is similar to the proof of (a).

Let m=r^il, where (r,l)=1. We have \Phi_m(x)=\Phi_l(x^{r^{i}})/\Phi_l(x^{r^{i-1}}) and so

The nominator of the last expression is a product of \varphi(l) factors of the form |y^{2r}-(\lambda+\overline\lambda)y^r+1|, where y=x^{r^{i-1}} and |\lambda|=1. Since y\geqslant \sqrt{2}, each of these factors is not less than y^{2r}-2y^r+1=(y^r-1)^2. Similarly, every factor in the denominator is not larger than (y+1)^{2}. Hence

It ie easy to check that

Thus for all r\geqslant 7, we have |f_m({x})|>y^{2(r-\frac{7}{2})}>y^{2(r-4)}\geqslant 2^{r-4}>r.

If r=3, then i>1, and so y\geqslant \sqrt{2^3}>2, and |f_m(x)|>y^2\geqslant 2^3>3.

Let r=5. If x\geqslant \sqrt{3} or i>1, then y\geqslant \sqrt{3} and hence |f_m({x})|>y^4\geqslant3^{2}>5. If x<\sqrt{3} and i=1, then l\geqslant 3, and therefore |f_m(x)|>(y^{3})^{\varphi(l)}\geqslant \sqrt{2}^6>5.