Jordan totient function ($J_k(n)$)

The Jordan totient function counts ordered $k$-tuples modulo $n$ that together with $n$ have greatest common divisor one. The inclusion-exclusion principle gives