Lokale Lösbarkeit und modulare Hindernisse

Ganzzahlige Gleichungen in endliche Restklassensysteme projizieren, sperrende Module wählen und lokale Notwendigkeit sauber von globaler Existenz unterscheiden.