## [Obstrucción por Congruencias](/es/node/62106) Definición Una obstrucción a la existencia de una solución integral o racional global que surge de condiciones de congruencia incompatibles módulo algún entero o módulo; la solvabilidad local módulo el módulo no se eleva a una solución integral/racional. ## Principio Principio Las restricciones aritméticas módulo n imponen clases de residuos necesarias para las posibles soluciones; si no existen enteros o racionales que satisfagan simultáneamente todas las condiciones de residuos exigidas, esas contradicciones de congruencia obstruyen una solución global. ## Demostración Demostración La ecuación diofántica x^2 + y^2 = 3 no tiene soluciones enteras porque los cuadrados módulo 4 son 0 o 1, por lo que el lado izquierdo solo puede ser 0,1 o 2 módulo 4, mientras que 3 es imposible; la congruencia módulo 4 excluye así cualquier solución entera. ## Aplicación incorrecta Aplicación incorrecta Usar una única obstrucción por congruencias para concluir inexistencia de puntos racionales sin comprobar otros módulos, o pasar por alto que las restricciones de congruencia son necesarias pero no suficientes — la solvabilidad por congruencias no garantiza una solución global. ## Consecuencia Consecuencia Las obstrucciones por congruencias proporcionan certificados rápidos y computables que descartan candidatos a soluciones enteras o racionales; reducen el espacio de búsqueda y orientan el análisis local–global posterior. ## Inversión Inversión Las condiciones de congruencia son compatibles (es decir, no hay obstrucción por congruencias) pero aun así puede no existir una solución global debido a otras obstrucciones de naturaleza geométrica o cohomológica. ## Límite Límite Abarca la solvabilidad módulo enteros o potencias de primos y su elevación a soluciones globales; excluye obstrucciones trascendentes o analíticas y no garantiza el levantamiento desde soluciones modulares a soluciones sobre completaciones sin hipótesis de tipo Hensel. ## Tensión semántica Tensión semántica Compite con obstrucciones analíticas o cohomológicas: una obstrucción por congruencias es elemental y local, mientras que Brauer–Manin o las obstrucciones por descenso actúan a un nivel aritmético–geométrico más profundo y pueden producir fallo incluso cuando las congruencias permiten soluciones. ## Síntesis Síntesis Una obstrucción por congruencias es el testigo aritmético elemental de que ciertas restricciones de residuos módulo un módulo son incompatibles con cualquier solución integral o racional global; es un criterio necesario pero no siempre suficiente y constituye una capa en la jerarquía de obstrucciones local–global.