How to Deduce the Sum of Squares of Divisors from Canonical Representation?

  • Thread starter Thread starter 1+1=1
  • Start date Start date
  • Tags Tags
    Fundamental
Click For Summary
SUMMARY

The discussion focuses on deriving a formula for the sum of squares of the positive divisors of a number \( a \) based on its canonical representation, expressed as \( \prod_{i=1}^{n} p_i^{a_i} \). The key steps involve first determining the formula for when \( a \) is a prime power \( p^b \), then demonstrating the multiplicative property \( f(nm) = f(n)f(m) \) for relatively prime integers \( m \) and \( n \), and finally combining these results to formulate \( f(a) \) in terms of its prime factorization. The Fundamental Theorem of Arithmetic plays a crucial role in understanding the relationship between divisibility and prime factorization.

PREREQUISITES
  • Understanding of canonical representation of integers
  • Knowledge of prime factorization and prime powers
  • Familiarity with the Fundamental Theorem of Arithmetic
  • Basic concepts of multiplicative functions in number theory
NEXT STEPS
  • Learn how to derive the sum of divisors function \( \sigma(n) \) for integers
  • Study the properties of multiplicative functions in number theory
  • Explore examples of calculating the sum of squares of divisors for various integers
  • Investigate the implications of the Fundamental Theorem of Arithmetic on divisor functions
USEFUL FOR

Mathematicians, number theorists, and students studying divisor functions and their properties, particularly those interested in advanced topics in number theory and mathematical proofs.

1+1=1
Messages
93
Reaction score
0
Wow, it has been awhile! China has been fun, but now it is time to get back to the states and also math work! Here is a problem that has been giving me some problems. It reads: \prod from i=1 to n, pi^ai for each i is the canonical representation of a, deduce a formula for the sum of squares of the positive divisors of a. I know what the canonical representation is, so would i just plug in numbers for n, and then from the output just make up a \sum formula? Could anyone provide guidance?
 
Physics news on Phys.org
Hi, are you familiar with the formula for the sum of the divisors of a? (not the squares). If so, this is a very closely related problem.

If not, here are the basic steps. Let f(a)=sum of squares of divisors.

1)find a formula when a is a prime power, that is if a=p^b, where p is prime, what is f(p^b)? If you need another hint, what are the divisors of p^b?

2)if m and n are relatively prime, show f(nm)=f(n)f(m), that is, f is multiplicative. If you have trouble with the general case here, try a simplified form first, where m and n are prime powers. This should help you see how to get the divisors of nm from the divisors of m and the divisors of n.

3)Combine the above to get a feneral formula for f(a) in terms of it's prime factorization.
 


The Fundamental Theorem of Arithmetic is definitely an important concept to keep in mind when dealing with divisibility and prime factorization. It sounds like you have a challenging problem on your hands, but don't worry, I'm sure you'll figure it out!

To solve this problem, it may be helpful to start by breaking down the canonical representation of a into its prime factors. For example, if a = 12, then its canonical representation would be 2^2 * 3^1. From there, you can use the fact that the sum of squares of the divisors of a number can be calculated by taking the product of each prime factor raised to the power of 2, plus 1, and then multiplying all of those values together.

In the case of a = 12, the sum of squares of its divisors would be (2^2 + 1) * (3^1 + 1) = 3 * 4 = 12.

Hope this helps and good luck with your math work and transition back to the states!
 
I am studying the mathematical formalism behind non-commutative geometry approach to quantum gravity. I was reading about Hopf algebras and their Drinfeld twist with a specific example of the Moyal-Weyl twist defined as F=exp(-iλ/2θ^(μν)∂_μ⊗∂_ν) where λ is a constant parametar and θ antisymmetric constant tensor. {∂_μ} is the basis of the tangent vector space over the underlying spacetime Now, from my understanding the enveloping algebra which appears in the definition of the Hopf algebra...

Similar threads

Replies
2
Views
4K
  • · Replies 27 ·
Replies
27
Views
3K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 21 ·
Replies
21
Views
4K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
Replies
3
Views
2K
Replies
67
Views
7K