stringtranslate.com

Problema de suma cero

En teoría de números , los problemas de suma cero son ciertos tipos de problemas combinatorios sobre la estructura de un grupo abeliano finito . Concretamente, dado un grupo abeliano finito G y un entero positivo n , se busca el valor más pequeño de k tal que cada secuencia de elementos de G de tamaño k contenga n términos que sumen .

El resultado clásico en esta área es el teorema de 1961 de Paul Erdős , Abraham Ginzburg y Abraham Ziv . [1] Demostraron que para el grupo de números enteros módulo n ,

Explícitamente, esto dice que cualquier multiconjunto de 2 n − 1 enteros tiene un subconjunto de tamaño n cuya suma de elementos es un múltiplo de n , pero que lo mismo no es cierto para los multiconjuntos de tamaño 2 n − 2. (De hecho, el límite inferior es fácil de ver: el multiconjunto que contiene n − 1 copias de 0 y n − 1 copias de 1 no contiene ningún n -subconjunto que sume un múltiplo de n .) Este resultado se conoce como el teorema de Erdős–Ginzburg–Ziv en honor a sus descubridores. También puede deducirse del teorema de Cauchy–Davenport . [2]

Existen resultados más generales que este teorema, como el teorema de Olson, la conjetura de Kemnitz (demostrada por Christian Reiher en 2003 [3] ) y el teorema EGZ ponderado (demostrado por David J. Grynkiewicz en 2005 [4] ).

Véase también

Referencias

  1. ^ Erdős, Paul; Ginzburg, A.; Ziv, A. (1961). "Teorema en la teoría de números aditivos". Bull. Res. Council Israel . 10F : 41–43. Zbl  0063.00009.
  2. ^ Nathanson (1996) pág. 48
  3. ^ Reiher, Christian (2007), "Sobre la conjetura de Kemnitz respecto de los puntos reticulares en el plano", The Ramanujan Journal , 13 (1–3): 333–337, arXiv : 1603.06161 , doi :10.1007/s11139-006-0256-y, S2CID  119600313, Zbl  1126.11011.
  4. ^ Grynkiewicz, DJ (2006), "Un teorema ponderado de Erdős-Ginzburg-Ziv" (PDF) , Combinatorica , 26 (4): 445–453, doi :10.1007/s00493-006-0025-y, S2CID  33448594, Zbl  1121.11018.

Enlaces externos

Lectura adicional