En matemáticas , un divisor de un número entero , también llamado factor de, es un entero que puede multiplicarse por algún número entero para producir . En este caso, también se dice quees un múltiplo de Un entero es divisible por otro entero Si es un divisor de ; esto implica dividir por no deja resto.
Definición
Si y son números enteros distintos de cero, y más generalmente, elementos distintos de cero de un dominio integral , se dice que divide , es un divisor de o es un múltiplo de y esto está escrito como
si existe un entero , o un elemento del dominio integral, tal que . [1]
Esta definición a veces se amplía para incluir cero. [2] Esto no agrega mucho a la teoría, ya que 0 no divide a ningún otro número y cada número divide a 0. Por otro lado, excluir el cero de la definición simplifica muchas afirmaciones. Además, en la teoría de anillos , un elemento a se denomina " divisor de cero " sólo si es distinto de cero y ab = 0 para un elemento b distinto de cero . Por lo tanto, no hay divisores de cero entre los números enteros (y, por definición, no hay divisores de cero en un dominio integral).
General
Los divisores pueden ser tanto negativos como positivos, aunque a veces el término se restringe a los divisores positivos. Por ejemplo, hay seis divisores de 4; son 1, 2, 4, -1, -2 y -4, pero normalmente solo se mencionarían los positivos (1, 2 y 4).
1 y -1 dividen (son divisores de) cada entero. Todo entero (y su negación) es un divisor de sí mismo. Los números enteros divisibles por 2 se llaman pares y los números enteros que no son divisibles por 2 se llaman impares .
1, −1, n y - n se conocen como los divisores triviales de n . Un divisor de n que no es un divisor trivial se conoce como divisor no trivial (o divisor estricto [3] ). Un número entero distinto de cero con al menos un divisor no trivial se conoce como número compuesto , mientras que las unidades -1 y 1 y los números primos no tienen divisores no triviales.
Existen reglas de divisibilidad que permiten reconocer ciertos divisores de un número a partir de los dígitos del número.
Ejemplos de
- 7 es divisor de 42 porque , entonces podemos decir . También se puede decir que 42 es divisible entre 7, 42 es un múltiplo de 7, 7 divide a 42 o 7 es un factor de 42.
- Los divisores no triviales de 6 son 2, −2, 3, −3.
- Los divisores positivos de 42 son 1, 2, 3, 6, 7, 14, 21, 42.
- El conjunto de todos los divisores positivos de 60,, parcialmente ordenado por divisibilidad, tiene el diagrama de Hasse :
Más nociones y hechos
Hay algunas reglas elementales:
- Si y , luego , es decir, la divisibilidad es una relación transitiva .
- Si y , luego o .
- Si y , luego sostiene, como lo hace . [4] Sin embargo, si y , luego no no mantenga siempre (por ejemplo, y pero 5 no divide a 6).
Si y gcd, luego . Esto se llama lema de Euclides .
Si es un número primo y luego o .
Un divisor positivo de que es diferente de se llama divisor propio o una parte alícuota de. Un número que no divide uniformementepero deja un resto a veces se denomina parte alicuante de.
Un entero cuyo único divisor propio es 1 se llama número primo . De manera equivalente, un número primo es un entero positivo que tiene exactamente dos factores positivos: 1 y él mismo.
Cualquier divisor positivo de es un producto de divisores primos deelevado a algún poder. Ésta es una consecuencia del teorema fundamental de la aritmética .
Un número se dice que es perfecto si es igual a la suma de sus divisores propios, deficiente si la suma de sus divisores propios es menor que, y abundante si esta suma excede.
El número total de divisores positivos de es una función multiplicativa , lo que significa que cuando dos números y son relativamente primos , entonces. Por ejemplo,; los ocho divisores de 42 son 1, 2, 3, 6, 7, 14, 21 y 42. Sin embargo, el número de divisores positivos no es una función totalmente multiplicativa: si los dos números y comparten un divisor común, entonces podría no ser cierto que . La suma de los divisores positivos de es otra función multiplicativa (p.ej ). Ambas funciones son ejemplos de funciones divisorias .
Si la factorización prima de es dado por
entonces el número de divisores positivos de es
y cada uno de los divisores tiene la forma
dónde para cada
Por cada natural , .
Además, [5]
dónde es la constante de Euler-Mascheroni . Una interpretación de este resultado es que un entero positivo n elegido al azar tiene un número promedio de divisores de aproximadamente. Sin embargo, esto es el resultado de las contribuciones de números con divisores "anormalmente muchos" .
En álgebra abstracta
En definiciones que incluyen 0, la relación de divisibilidad convierte el conjunto de enteros no negativos en un conjunto parcialmente ordenado : una red distributiva completa . El elemento más importante de esta red es 0 y el más pequeño es 1. La operación se reúnen ∧ está dada por el máximo común divisor y el funcionamiento unirse ∨ por el mínimo común múltiplo . Esta celosía es isomorfa al dual de la celosía de subgrupos del grupo cíclico infinito .
Ver también
- Funciones aritméticas
- Regla de divisibilidad
- Función divisor
- Algoritmo de Euclides
- Fracción (matemáticas)
- Tabla de divisores : una tabla de divisores primos y no primos para 1–1000
- Tabla de factores primos : una tabla de factores primos para 1–1000
- Divisor unitario
Notas
- ^ por ejemplo, Sims 1984 , p. 42 o Durbin 1992 , pág. 61
- ^ Herstein 1986 , p. 26
- ^ FoCaLiZe y Dedukti al rescate para probar la interoperabilidad por Raphael Cauderlier y Catherine Dubois
- ^ . Similar,
- ^ Hardy, GH ; Wright, EM (17 de abril de 1980). Introducción a la teoría de los números . Prensa de la Universidad de Oxford. pag. 264 . ISBN 0-19-853171-0. CS1 maint: parámetro desalentado ( enlace )
Referencias
- Durbin, John R. (1992). Álgebra moderna: una introducción (3ª ed.). Nueva York: Wiley. ISBN 0-471-51001-7.
- Richard K. Guy , Problemas no resueltos en teoría de números (3.a ed.), Springer Verlag , 2004 ISBN 0-387-20860-7 ; sección B.
- Herstein, IN (1986), Álgebra abstracta , Nueva York: Macmillan Publishing Company, ISBN 0-02-353820-1
- Øystein Ore , Teoría de números y su historia, McGraw-Hill, NY, 1944 (y reimpresiones de Dover).
- Sims, Charles C. (1984), Álgebra abstracta: un enfoque computacional , Nueva York: John Wiley & Sons, ISBN 0-471-09846-9