# Definition:Divisor Function

$\ds \map {\sigma_\alpha} n = \sum_{m \mathop \divides n} m^\alpha$
(meaning the summation is taken over all $m \le n$ such that $m$ divides $n$).