\begin{definition}[Definition:Divisor Function]
The '''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$).
\end{definition}