Ring of Arithmetic Functions is Ring with Unity

From ProofWiki
Jump to navigation Jump to search

Theorem

Let $\AA$ be the set of all arithmetic functions.

Let $*$ denote Dirichlet convolution, and $+$ the pointwise sum of functions.


The ring of arithmetic functions $\struct {\AA, +, *}$ is a commutative ring with unity.


Proof

By Structure Induced by Abelian Group Operation is Abelian Group, $\struct {\AA, +}$ is an abelian group.

By Properties of Dirichlet Convolution, $*$ is commutative, associative and has a unity.

Therefore $\struct {\AA, +, *}$ is a commutative ring with unity.