Obstrucción por Congruencias

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.