The Sum Of Positive Divisors Of An Integer

The Sum of Positive Divisors of an Integer

In number theory, σ(n) is the function which tells us the sum of all positive divisors for some integer n. For example, the positive divisors of n = 6 is 1, 2, 3, and 6. Thus the sum is 1 + 2 + 3 + 6 = 12. Hence σ(6) = 12. More formally, we define σ(n) to be:

(1)
\begin{align} \sigma(n) = \sum_{d \mid n} d \end{align}

Lemma 1: If p is a prime, then σ(p) = 1 + p.

• Proof: By the definition, a prime has only two positive divisors, namely 1 and p. Thus σ(p) = 1 + p.

Lemma 2: If p is prime, then σ(p2) = 1 + p + p2

• Proof: Once again, the only divisors of p2 are 1, p, and p2 since 1 | p2, p | p2, and p2 | p2. Thus σ(p2) = 1 + p + p2.

Lemma 3: If p is a prime and e = 1, 2, 3, …, then σ(pe) = 1 + p + p2 + … + pe

• Proof: Suppose we have a prime, p. Thus pe has divisors 1 | pe, p | pe, p2 | pe …, pe | pe. Thus it follows that σ(pe) = 1 + p + p2 + … + pe.

Lemma 4: Suppose p and q are primes, then σ(pq) = σ(p)σ(q).

• Proof: Since p and q are both primes, the only divisors of pq are 1, p, q, and pq. Thus it follows that:
(2)
\begin{align} \sigma(pq) = 1 + p + q + pq \end{align}
• Let's factor out a q from the last two terms to obtain:
(3)
\begin{align} \sigma(pq) = 1 + p + q(1 + p) \end{align}
• And let's factor 1 + p out to obtain:
(4)
\begin{align} \sigma(pq) = (1 + p)(1 + q) \end{align}
• But we know that σ(p) = 1 + p, and σ(q) = 1 + q. Thus σ(pq) = σ(p)σ(q).

Lemma 5: Suppose p and q are primes, then σ(pq2) = σ(p)σ(q2).

• Proof: Since p and q are both primes, the only divisors of pq2 are 1, p, q, pq, q2, and pq2. Thus it follows that:
(5)
\begin{align} \sigma(pq^2) = 1 + p + q + pq + q^2 + pq^2 \end{align}
• We can factor the third/fourth and fifth/sixth terms to obtain:
(6)
\begin{align} \sigma(pq^2) = 1 + p + q(1 + p) + q^2(1 + p) \end{align}
• Factoring out the 1 + p we obtain:
(7)
\begin{align} \sigma(pq^2) = (1 + p)(1 + q + q^2) \end{align}
• But σ(p) = 1 + p, and σ(q2) = 1 + q + q2. Thus it follows that σ(pq2) = σ(p)σ(q).