Good notions of "perfect number" for rings of integers more general than ${\Bbb Z}$? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-20T12:33:08Z http://mathoverflow.net/feeds/question/102799 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/102799/good-notions-of-perfect-number-for-rings-of-integers-more-general-than-bbb-z Good notions of "perfect number" for rings of integers more general than ${\Bbb Z}$? David Feldman 2012-07-21T09:07:51Z 2012-07-22T19:37:04Z <p>It seems natural to me to generalize the notion of perfect number to rings of integers more general that ${\Bbb Z}$. I'll want to think of number fields concretely, as subfields of ${\Bbb C}$. For a mutatis mutandis definition, a given algebraic integer must have a distinguished finite set of divisors. That makes two tricky parts: figuring out what to say if the group of units is richer than <code>$\{-1,1\}$</code> making due with the order if the field is not a subfield of ${\Bbb R}$.</p> <p>Do definitions occur in the literature? Do nontrivial examples exist?</p> http://mathoverflow.net/questions/102799/good-notions-of-perfect-number-for-rings-of-integers-more-general-than-bbb-z/102800#102800 Answer by Jon Bannon for Good notions of "perfect number" for rings of integers more general than ${\Bbb Z}$? Jon Bannon 2012-07-21T10:10:21Z 2012-07-21T10:10:21Z <p>Definition 2.0.5 in the following dissertation gives one possible definition of perfect number:</p> <p><a href="http://eprints.maths.ox.ac.uk/741/1/smallbone2.pdf" rel="nofollow">http://eprints.maths.ox.ac.uk/741/1/smallbone2.pdf</a></p> http://mathoverflow.net/questions/102799/good-notions-of-perfect-number-for-rings-of-integers-more-general-than-bbb-z/102834#102834 Answer by Qiaochu Yuan for Good notions of "perfect number" for rings of integers more general than ${\Bbb Z}$? Qiaochu Yuan 2012-07-21T18:44:07Z 2012-07-22T19:37:04Z <p>The interesting question seems to me not what a perfect number is but what an arithmetic function is (generalizing the divisor function, the sum-of-divisors, totient, etc.) over a number field. </p> <p>One answer is as follows. My opinion is that arithmetic functions should not be thought of as having domain $\mathbb{N}$ but as having domain the poset of nonzero ideals in $\mathbb{Z}$ (which can be identified with $\mathbb{N}$ under division, but my point is that the additive structure of $\mathbb{N}$ does not enter into this). Dirichlet convolution $$f \ast g = \sum_{d | n} f(d) g (n/d)$$</p> <p>can then be seen as a special case of the multiplication in a subalgebra of the <a href="http://en.wikipedia.org/wiki/Incidence_algebra" rel="nofollow">incidence algebra</a> of the poset of ideals (the subalgebra which assigns the same number to an interval $[a, b]$ as it does to the interval $[1, \frac{b}{a}]$). The assignment of a Dirichlet series $$\sum \frac{f(n)}{n^s}$$</p> <p>to an arithmetic function merely instantiates this algebra as an actual algebra of functions. Now, the poset of nonzero ideals in $\mathbb{Z}$ is a product of posets, one for each prime, and the arithmetic functions which are multiplicative (in the sense that $f(mn) = f(m) f(n)$ if $(m, n) = 1$) are just the ones that are built from corresponding functions on each factor. In the Dirichlet series picture this is reflected in the existence of an Euler product $$\sum \frac{f(n)}{n^s} = \prod_p \left( \sum_{k \ge 0} \frac{f(p^k)}{p^{ks}} \right).$$</p> <p>The generalization to number fields is as follows. In any Dedekind domain $D$, we may consider the incidence algebra of the poset of nonzero ideals in $D$. This algebra has a subalgebra of functions which assign the same number to an interval $[I, J]$ as to the interval $[1, I^{-1} J]$, and this gives us the appropriate generalization of Dirichlet convolution $$(f \ast g)(K) = \sum_{IJ = K} f(I) g(J)$$</p> <p>where $I, J, K$ are ideals. When $D$ is the ring of integers in a number field, we can define norms $N(I)$ of ideals and also assign Dirichlet series. This assignment $$\sum_I \frac{f(I)}{N(I)^s}$$</p> <p>is now not faithful as there can be different ideals with the same norm, but it is still true that the multiplicative functions (the ones such that $f(IJ) = f(I) f(J)$ if $I, J$ generate the unit ideal) admit an Euler product $$\sum_I \frac{f(I)}{N(I)^s} = \prod_P \left( \sum_{k \ge 0} \frac{f(P^k)}{N(P)^{ks}} \right)$$</p> <p>where the product is now over all prime ideals in $D$. </p> <p>This is all a long-winded way of setting the stage for what I actually wanted to say:</p> <blockquote> <p>For number fields, an arithmetic function now manifestly has different domain and codomain: it takes input an ideal and returns a number. </p> </blockquote> <p>In particular, to me the correct generalization of the sum-of-divisors function is the function $\sigma(I)$ which sums the norms of ideals dividing a given ideal $I$, and it no longer makes sense to ask whether this is equal to $I$ or $2I$. Of course there are other interesting questions to ask regarding comparing different functions, e.g. one might ask whether $\sigma(I) = c N(I)$ for some constant $c$ (this reduces to the perfect number question over $\mathbb{Q}$ taking $c = 2$, but I think from this perspective it is now clear that there is nothing special about $c = 2$). </p>