Problem

Source: Iranian National Olympiad (3rd Round) 2006

Tags: abstract algebra, group theory, number theory proposed, number theory



For each $n$, define $L(n)$ to be the number of natural numbers $1\leq a\leq n$ such that $n\mid a^{n}-1$. If $p_{1},p_{2},\ldots,p_{k}$ are the prime divisors of $n$, define $T(n)$ as $(p_{1}-1)(p_{2}-1)\cdots(p_{k}-1)$. a) Prove that for each $n\in\mathbb N$ we have $n\mid L(n)T(n)$. b) Prove that if $\gcd(n,T(n))=1$ then $\varphi(n) | L(n)T(n)$.