Units of Ring of Arithmetic Functions

Theorem

Let $f$ be an arithmetic function.

Then $f$ is a unit in the ring of arithmetic functions if and only if:

$\map f 1 \ne 0$

Proof

Follows immediately from Invertibility of Arithmetic Functions and the definition of ring of arithmetic functions.

$\blacksquare$