Aliquot sumIn number theory, the aliquot sum s(n) of a positive integer n is the sum of all proper divisors of n, that is, all divisors of n other than n itself. That is, It can be used to characterize the prime numbers, perfect numbers, sociable numbers, deficient numbers, abundant numbers, and untouchable numbers, and to define the aliquot sequence of a number. For example, the proper divisors of 12 (that is, the positive divisors of 12 that are not equal to 12) are 1, 2, 3, 4, and 6, so the aliquot sum of 12 is 16 i.
Fonction somme des puissances k-ièmes des diviseursEn mathématiques, la fonction "somme des puissances k-ièmes des diviseurs", notée , est la fonction multiplicative qui à tout entier n > 0 associe la somme des puissances -ièmes des diviseurs positifs de n, où est un nombre complexe quelconque : La fonction est multiplicative, c'est-à-dire que, pour tous entiers et n premiers entre eux, . En effet, est le produit de convolution de deux fonctions multiplicatives : la fonction puissance -ième et la fonction constante 1.
Nombre déficientvignette|Diagramme en bâtons de la somme des diviseurs propres de en fonction de , pour variant de 1 à 40. Les nombres déficients (gris) sont ceux pour lesquels le bâton reste sous la première diagonale. En mathématiques, un nombre déficient est un nombre entier naturel n qui est strictement supérieur à la somme de ses diviseurs stricts, autrement dit, tel que où est la somme des diviseurs entiers positifs de n y compris n. La valeur est appelée déficience de n.
Nombre parfaitEn arithmétique, un nombre parfait est un entier naturel égal à la moitié de la somme de ses diviseurs ou encore à la somme de ses diviseurs stricts. Plus formellement, un nombre parfait n est un entier tel que σ(n) = 2n où σ(n) est la somme des diviseurs positifs de n. Ainsi 6 est un nombre parfait car ses diviseurs entiers sont 1, 2, 3 et 6, et il vérifie bien 2 × 6 = 12 = 1 + 2 + 3 + 6, ou encore 6 = 1 + 2 + 3. Voir la . Dans le Livre IX de ses Éléments, Euclide, au , a démontré que si M = 2 − 1 est premier, alors M(M + 1)/2 = 2(2 – 1) est parfait.