Número de Erdős-Woods Índice Ejemplo Historia Referencias Enlaces externos Menú de navegaciónA059756http://school.maths.uwa.edu.au10.1017/S144678870003122010.1016/S0304-3975(02)00444-9Sloane's A059757 : Initial terms of smallest Erdos-Woods intervals

Teoría de números


teoría de númerosnúmero enterofactor comúnmáximos comunes divisoresPaul ErdőscoprimoDowe (1989)demostróCégielski, Heroult y Richard (2003)recursivo




En teoría de números, se dice que un entero positivo k es un número de Erdős-Woods si tiene la siguiente propiedad: existe un número entero positivo tal que en la secuencia (a, a + 1, ..., a + k) de enteros consecutivos, cada uno de los elementos tiene un factor común no trivial con uno de los puntos finales. En otras palabras, k es un número de Erdős-Woods si existe un entero positivo tal que para cada entero i entre 0 y k, al menos uno de los máximos comunes divisores MCD (a, a + i) y MCD (a + i, a + k) es mayor que 1.




Índice





  • 1 Ejemplo


  • 2 Historia


  • 3 Referencias


  • 4 Enlaces externos




Ejemplo


Los primeros números de Erdős-Woods son



16, 22, 34, 36, 46, 56, 64, 66, 70 … (sucesión A059756 en OEIS).

(Podría decirse que 0 y 1 también podrían incluirse como entradas triviales).



Historia


La investigación de tales números surgió de la siguiente conjetura previa de Paul Erdős:


Existe un entero positivo k tal que cada entero a está determinado únicamente por la lista de divisores primos de a, a + 1, ..., a + k.

Alan R. Woods investigó esta cuestión para su tesis de 1981. Woods conjeturó[1]​ que siempre que k > 1, el intervalo [a, a + k] siempre incluye un número coprimo para ambos puntos finales. Poco después encontró la primera secuencia ejemplo, [2184, 2185, ..., 2200], con k = 16. La existencia de esta secuencia muestra que 16 es un número de Erdős-Woods.


Dowe (1989) demostró que hay infinitos números de Erdős-Woods,[2]​ y Cégielski, Heroult y Richard (2003) probaron que el conjunto de números de Erdős-Woods es recursivo.[3]



Referencias



  1. Alan L. Woods, Some problems in logic and number theory, and their connections. Ph.D. thesis, University of Manchester, 1981. Available online at http://school.maths.uwa.edu.au


  2. Dowe, David L. (1989), «On the existence of sequences of co-prime pairs of integers», J. Austral. Math. Soc. (A) 47: 84-89, doi:10.1017/S1446788700031220 .


  3. Cégielski, Patrick; Heroult, François; Richard, Denis (2003), «On the amplitude of intervals of natural numbers whose every element has a common prime divisor with at least an extremity», Theoretical Computer Science 303 (1): 53-62, doi:10.1016/S0304-3975(02)00444-9 .



Enlaces externos


  • "Sloane's A059757 : Initial terms of smallest Erdos-Woods intervals", en The On-Line Encyclopedia of Integer Sequences. OEIS Foundation.

Popular posts from this blog

Virtualbox - Configuration error: Querying “UUID” failed (VERR_CFGM_VALUE_NOT_FOUND)“VERR_SUPLIB_WORLD_WRITABLE” error when trying to installing OS in virtualboxVirtual Box Kernel errorFailed to open a seesion for the virtual machineFailed to open a session for the virtual machineUbuntu 14.04 LTS Virtualbox errorcan't use VM VirtualBoxusing virtualboxI can't run Linux-64 Bit on VirtualBoxUnable to insert the virtual optical disk (VBoxguestaddition) in virtual machine for ubuntu server in win 10VirtuaBox in Ubuntu 18.04 Issues with Win10.ISO Installation

Eliminatorias de Conmebol para la Copa Mundial de Fútbol de 2006 Índice Tabla de posiciones final Partidos Goleadores Repesca Intercontinental Clasificados Véase también Referencias Enlaces externos Menú de navegación2:0 (1:0)2:2 (2:0)4:1 (2:1)5:0 (2:0)1:2 (1:1)0:3 (0:3)2:1 (1:0)4:0 (2:0)4:1 (1:1)1:0 (1:0)2:1 (1:1)0:1 (0:1)2:1 (1:0)3:0 (0:0)1:1 (0:1)2:1 (0:0)0:1 (0:1)0:01:1 (0:1)3:3 (2:0)0:2 (0:1)1:0 (0:0)0:3 (0:1)0:00:2 (0:2)2:1 (1:1)0:1 (0:0)1:3 (0:2)2:1 (1:0)3:1 (1:0)3:2 (3:0)0:00:05:0 (3:0)1:1 (0:1)1:3 (0:1)1:0 (0:0)3:1 (3:0)1:0 (0:0)0:04:2 (3:0)1:0 (0:0)1:1 (1:0)2:5 (0:2)2:0 (0:0)0:01:1 (1:0)0:00:03:1 (1:1)3:2 (2:1)1:0 (1:0)2:1 (0:0)1:0 (0:0)1:0 (0:0)0:01:1 (0:1)1:2 (0:0)5:2 (2:2)1:0 (0:0)3:1 (2:0)2:1 (1:0)1:0 (0:0)2:2 (1:2)1:1 (0:0)3:1 (2:0)2:0 (0:0)1:1 (0:1)5:0 (1:0)4:1 (2:0)0:03:0 (2:0)2:1 (1:0)3:1 (3:0)4:1 (2:1)1:0 (1:0)4:1 (1:0)1:2 (1:1)5:0 (4:0)3:2 (1:0)0:00:1 (0:0)1:1 (1:0)1:1 (0:1)2:0 (0:0)1:0 (0:0)0:1 (0:1)0:03:0 (1:0)4:1 (3:0)ReporteReporteGoleadores de las Eliminatorias Sudamericanas 2006.Eliminatorias Sudamericanas 2006 - FIFAEliminatorias Sudamericanas 2006 - RSSSF

Does this property of comaximal ideals always holds?Question on Comaximal IdealsUnital commutative ring and distinct maximal ideals.Where does the proof for commutative rings break down in the non-commutative ring when showing only two ideals implies the ring is a field?Direct-Sum Decomposition of an Artinian moduleProve that $m_1m_2ldots m_r=n_1n_2ldots n_s$ implies $r=s$ for distinct maximal idealsQuestion about maximal ideals in a commutative Artinian ringA property of associated prime idealsThe meaning of idempotents corresponding the standard basis in direct product of fieldsAre non-coprime ideals always contained in some prime ideal?Product of ideals equals intersection but they are not comaximal