Dedekindbereich/Verzweigung/Über reduziert/Kählermodul/Fakt

Es sei eine endliche Erweiterung von Dedekindbereichen und sei . Die Restekörper von an maximalen Idealen seien vollkommen.

Dann ist die Erweiterung genau dann in verzweigt, wenn

ist.