An arithmetic function $f$ is multiplicative if $f(mn)=f(m)f(n)$ for coprime $m$, $n$. We say that an arithmetic function $g$ is completely multiplicative if:

$$g(mn)=g(m)g(n)$$

...for all $m$, $n$. Let $\mathbb{P}$ be the set of all prime numbers.

Suppose that a multiplicative function $f$ satisfies the following property:

There is an integer $N$ and an arithmetic function $g$ such that for all $n\in \mathbb{N}$, we have:

$$ f(n)=n^N \prod_{p|n, \ p\in \mathbb{P}} g(p) $$

Find a necessary and sufficient condition for $f$ to be completely multiplicative.

Select an assignment template