Editing Divisor function (section)

==Definition==
The '''sum of positive divisors function''' ''σ''<sub>''z''</sub>(''n''), for a real or complex number ''z'', is defined as the [[summation|sum]] of the ''z''th [[Exponentiation|powers]] of the positive [[divisor]]s of ''n''.  It can be expressed in [[Summation#Capital-sigma notation|sigma notation]] as

:<math>\sigma_z(n)=\sum_{d\mid n} d^z\,\! ,</math>

where <math>{d\mid n}</math> is shorthand for "''d'' [[divides]] ''n''".
The notations ''d''(''n''), ''ν''(''n'') and ''τ''(''n'') (for the German ''Teiler'' = divisors) are also used to denote ''σ''<sub>0</sub>(''n''), or the '''number-of-divisors function'''<ref name="Long 1972 46">{{harvtxt|Long|1972|p=46}}</ref><ref>{{harvtxt|Pettofrezzo|Byrkit|1970|p=63}}</ref> ({{OEIS2C|id=A000005}}). When ''z'' is 1, the function is called the '''sigma function''' or '''sum-of-divisors function''',<ref name="Long 1972 46"/><ref>{{harvtxt|Pettofrezzo|Byrkit|1970|p=58}}</ref> and the subscript is often omitted, so ''σ''(''n'') is the same as ''σ''<sub>1</sub>(''n'') ({{OEIS2C|id=A000203}}).

The '''[[aliquot sum]]''' ''s''(''n'') of ''n'' is the sum of the [[proper divisor]]s (that is, the divisors excluding ''n'' itself, {{OEIS2C|id=A001065}}), and equals ''σ''<sub>1</sub>(''n'')&nbsp;&minus;&nbsp;''n''; the [[aliquot sequence]] of ''n'' is formed by repeatedly applying the aliquot sum function.