Maths Olympiad Prep

Library / /254 of 520

Number theory Difficulty 6.1 National olympiad Prove it

Theorem 5.5. If n=q1q2qkn=q_{1} q_{2} \cdots q_{k}, where the qjq_{j} 's are distinct primes that satisfy (qj1)(n1)\left(q_{j}-1\right) \mid(n-1) for all jj, then nn is a Carmichael number.

Solution

Proof. Let bb be a positive integer with (b,n)=1(b, n)=1. Then (b,qj)=1\left(b, q_{j}\right)=1 for j=1,2,,kj=1,2, \ldots, k, and hence, by Fermat's little theorem, bqj11(modqj)b^{q_{j}-1} \equiv 1\left(\bmod q_{j}\right) for j=1,2,,kj=1,2, \ldots, k. Since (qj1)(n1)\left(q_{j}-1\right) \mid(n-1) for each integer j=1,2,,kj=1,2, \ldots, k, there are integers tjt_{j} with tj(qj1)=n1t_{j}\left(q_{j}-1\right)=n-1. Hence, for each jj, we know that bn1=b(qj1)tj1(modqj)b^{n-1}=b^{\left(q_{j}-1\right) t_{j}} \equiv 1\left(\bmod q_{j}\right). Therefore, by Corollary 3.2 , we see that bn11(modn)b^{n-1} \equiv 1(\bmod n), and we conclude that nn is a Carmichael number.

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.