MathDB
F(r) = (p^{rp} - 1) (p - 1)/(p^r - 1) (p^p - 1)

Source: 2016 Saudi Arabia Pre-TST Level 4 1.4

September 13, 2020
number theorycoprimedividesdivisible

Problem Statement

Let pp be a given prime. For each prime rr, we defind the function as following F(r)=(prp1)(p1)(pr1)(pp1)F(r) =\frac{(p^{rp} - 1) (p - 1)}{(p^r - 1) (p^p - 1)}. 1. Show that F(r)F(r) is a positive integer for any prime rpr \ne p. 2. Show that F(r)F(r) and F(s)F(s) are coprime for any primes rr and ss such that rp,spr \ne p, s \ne p and rsr \ne s. 3. Fix a prime rpr \ne p. Show that there is a prime divisor qq of F(r)F(r) such that pq1p| q - 1 but p2q1p^2 \nmid q - 1.