Introduction to Analytic Number Theory
《Introduction to Analytic Number Theory》 · 第 48 页 · Exercises for Chapter 2，Exercise 17
Jordan's totient $J_k$ is a generalization of Euler's totient defined by $J_k(n)=n^k\prod_{p\mid n}(1-p^{-k})$.