Arithmetic properties of the sum of divisors
The divisor function $σ(n)$ denotes the sum of the divisors of the positive integer $n$. For a prime $p$ and $m \in \mathbb{N}$, the $p$-adic valuation of $m$ is the highest power of $p$ which divides $m$. Formulas for $ν_{p}(σ(n))$ are established. For $p=2$, these involve only the odd primes dividing $n$. These expressions are used to establish the bound $ν_{2}(σ(n)) \leq \lceil\log_{2}(n) \rceil$, with equality if and only if $n$ is the product of distinct Mersenne primes, and for an odd prime $p$, the bound is $ν_{p}(σ(n)) \leq \lceil \log_{p}(n) \rceil$, with equality related to solutions of the Ljunggren-Nagell diophantine equation.