Definition:Additive Function on UFD

From ProofWiki
Jump to navigation Jump to search

Definition

Let $R$ be a unique factorization domain.

Let $f : R \to \C$ be a complex-valued function.


Then $f$ is additive if and only if:

For all coprime $x,y\in R$, $f(xy) = f(x) + f(y)$


Arithmetic Function

Let $f : \N \to \C$ be an arithmetic function.


Then $f$ is additive if and only if:

$m \perp n \implies f \left({m n}\right) = f \left({m}\right) + f \left({n}\right)$


Also see