Rank Function/Examples/Sum of Powers of Prime Factors

Example of Rank Function
Consider the relational structure $\struct {\Z_{>0}, \divides}$ formed from the strictly positive integers $\Z_{>0}$ under the divisor relation $\divides$.

Let $\operatorname {rk}_1: \Z_{<0} \to \N$ defined as:
 * $\forall n \in \Z_{<0}: \map {\operatorname {rk}_1} n = \ds \sum_{k \mathop \in \Z_{>0} } \map {i_k} n$

where:
 * $\ds n = \prod_{k \mathop \in \Z_{>0} } {p_k}^{\map {i_k} n}$

is the prime decomposition of $n$.

That is, $\operatorname {rk}_1$ is the sum of the exponents of the prime divisors of $n$ in the prime decomposition of $n$.

Then $\operatorname {rk}_1$ is a rank function for $\RR$.

Proof
Let $m, n \in \Z_{>0}$ such that $m \divides n$ and $m \ne n$.

Let $p^i \divides m$ for some prime number $p$.

Then:
 * $p^j \divides n$

where $j \ge i$.

Hence:
 * $\ds \sum_{k \mathop \in \Z_{>0} } \map {i_k} m \le \sum_{k \mathop \in \Z_{>0} } \map {i_k} n$

But because $m \ne n$ there must be some $\map {i_k} m < \map {i_k} n$.

Hence:
 * $\ds \sum_{k \mathop \in \Z_{>0} } \map {i_k} m < \sum_{k \mathop \in \Z_{>0} } \map {i_k} n$

and it follows by definition that $\operatorname {rk}_1$ is a rank function for $\RR$.