The Sum of Divisors Function [Maple Math]

For an integer n, the definition of the sums of divisors function is


[Maple Math]
d | n

where the sum is over all positive divisors of n.

For example:

[Maple Math] = 1 + 2 + 3 + 6 = 12

[Maple Math] = 1 + 2 + 4 + 8 = 15

To find a formula for [Maple Math] let us

a) determine [Maple Math] for p prime

b) Show that the sums of divisors function is multiplicative

a) For a prime power [Maple Math] the divisors are

[Maple Math] , [Maple Math] , [Maple Math] , ..., [Maple Math]

so that

[Maple Math] = 1 + [Maple Math] + [Maple Math] + [Maple Math] + ... + [Maple Math]

Note that this is a geometric series by p:

Multiplying the series by p

[Maple Math] = [Maple Math] + [Maple Math] + ... + [Maple Math]

and subtracting the original series

[Maple Math] - [Maple Math] = [Maple Math]

solving for [Maple Math]

[Maple Math] = [Maple Math]

>

b) Now we will show that when (m,n) = 1 the sums of the divisors function is multiplicative. In other words

[Maple Math] = [Maple Math]

A divisor d of [Maple Math] can be written uniquely as [Maple Math] where [Maple Math] | m and [Maple Math] | n while ( [Maple Math] , [Maple Math] ) = 1. Conversely, if [Maple Math] | m and [Maple Math] | n , then [Maple Math] | [Maple Math] as (m, n) = 1.

[Maple Math] = [Maple Math]

d | [Maple Math]

= [Maple Math]

[Maple Math] | [Maple Math]

= [Maple Math]

[Maple Math] | m , [Maple Math] | n

= [Maple Math]
[Maple Math] | m [Maple Math] | n

= [Maple Math]

Using (a), (b), and the prime factorization of n gives a formula for [Maple Math]

prime factorization of n:

[Maple Math] = [Maple Math] ... [Maple Math]

Since the [Maple Math] -function is multiplicative by (b)

[Maple Math] = [Maple Math] ... [Maple Math]

Applying [Maple Math] = [Maple Math]

[Maple Math] = [Maple Math] * [Maple Math] * ... * [Maple Math]

Note two special cases:

1. n = [Maple Math]

[Maple Math] = [Maple Math] = [Maple Math]

2. n = prime

[Maple Math] = [Maple Math] = [Maple Math]

Maple has a [Maple Math] command which we will use in the next section.

> with(numtheory):

> sigma(6);

[Maple Math]

> divisors(6);

[Maple Math]

> tau(6);

[Maple Math]

divisors lists the divisors of n, and tau is the number of divisors.

>