Divisor unitario

De Wikipedia, la enciclopedia libre
Saltar a: navegación, búsqueda

En matemática, un número natural a es un divisor unitario de un número b si a es un divisor de b y si a y son coprimos, no teniendo un factor común diferente de 1. Así, 5 es un divisor unitario de 60, puesto que 5 y tienen únicamente 1 como factor común, mientras que 6 es un divisor, pero no un divisor unitario de 60, dado que 6 y tienen un factor común distinto de 1, que es 2. 1 es un divisor unitario de cualquier número natural.

Equivalentemente, un divisor a de b es un divisor unitario si y solo si todo factor primo de a tiene la misma multiplicidad en a como esta la tiene en b.

La función suma de divisores unitarios se denota mediante la letra minúscula griega sigma, así: σ*(n). La suma de las k-ésimas potencias de los divisores unitarios se denota por σ*k(n):

Si los divisores unitarios propios de un número dado se suman todos ellos, entonces dicho número se conoce como número perfecto unitario.

Propiedades[editar]

El número de divisores unitarios de un número n es 2k, donde k es el número de factores primos distintos de n. La suma de divisores unitarios de n es impar si n es una potencia de 2 (incluyendo 1), y par de cualquier otra forma.

Ambas, cantidad y suma de divisores unitarios de n son funciones multiplicativas de n que no son completamente multiplicativas. La función generadora de Dirichlet es

Divisores unitarios impares[editar]

La suma de las k-ésimas potencias de los divisores unitarios impares es

Esta también es multiplicativa, con una función generadora de Dirichlet

Divisores bi-unitarios[editar]

Un divisor d de n es un divisor bi-unitario si el máximo común divisor de d y n/d es 1. El número de divisores bi-unitarios de n es una función multiplicativa de n con orden medio , donde[1]

Un número perfecto bi-unitario es aquel igual a la suma de sus divisores propios bi-unitarios. Los únicos números así son 6, 60 y 90.[2]

Referencias[editar]

  1. Ivić (1985) p.395
  2. Sandor et al (2006) p.115

Enlaces externos[editar]

Sucesiones OEIS[editar]

A034444 es σ0(n)   A034448 es σ1(n)   A034676 a A034682 son σ2(n) a σ8(n)   A068068 es σ(o)*0(n)   A192066 es σ(o)*1(n)