Let k be a positive integer. Prove that there exists a positive integer ℓ with the following property: if m and n are positive integers relatively prime to ℓ such that mn≡nm(modℓ), then m≡n(modk).
Solution
We will prove the assertion when ℓ=k! by induction on k. The base case k=1 is obvious.
If k>1, then φ(k)<k. Suppose m and n are positive integers relatively prime to ℓ such that mm≡nn(modk). This clearly implies mm≡nn(modφ(k)!). By the induction hypothesis, we know that m≡n(modφ(k)). Thus, there exists a positive integer a such that am≡an≡1(modφ(k)). Now, by the Euler-Fermat theorem, we have m≡mam≡nan≡n(modk). The proof is complete by induction.
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: MathNet,
licensed CC-BY-4.0.
Statement reproduced verbatim; metadata (topic, difficulty) added by this project.