Congruence Obstruction
Definition
An obstruction to the existence of a global integral or rational solution arising from incompatible congruence conditions modulo some integer or modulus; local solvability modulo the modulus fails to lift to an integral/rational solution.