I am struggling to understand a simple fact that should follow from the Chinese remainder theorem. Suppose we have a system of equations.
$$ x^n = 1 (mod\ p) $$ $$ x^n = 1 (mod\ q) $$
Where $p, q$ are prime. I get the idea that each of these equations has a number of solutions $gcd(n, p-1), gcd(n, q-1)$ respectively due to the properties of cyclic fields (explained here). I just don't get how we get that the number of solutions of $x^n = 1 (mod\ pq)$ is the multiple of the number of solutions to the other two equations. Meaning: $$ gcd(n, p-1)*gcd(n, q-1) $$