Kongruenzobstruktion

Eine Obstruktion für die Existenz einer globalen ganzzahligen oder rationalen Lösung, die aus inkompatiblen Kongruenzbedingungen modulo einer Zahl oder eines Moduls entsteht; die lokale Lösbarkeit modulo des Moduls lässt sich nicht in eine ganzzahlige/rationale Lösung heben.