Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2018/ii/paper-3/1g/solution

An arithmetic function is multiplicative if whenever and are coprime integers. If and , every positive integer divisor of is uniquely with and . Hence
so is multiplicative.
The Möbius function is defined by , if the square of a prime number divides , and if is a product of distinct prime numbers. Coprime integers have disjoint sets of prime factors, so this definition immediately gives when .
For , only the square-free divisors contribute, and therefore
For the sum is . Thus in the language of Dirichlet convolution. Convolving with gives the Möbius inversion formula
If , its divisor sum is the sum-of-divisors function. Conversely, if , Möbius inversion gives
using the standard divisor identity for the Euler totient function. Therefore the two requested answers are

New to topics? Read the docs here!