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

Aus Wikiversity
Zur Navigation springen Zur Suche springen

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.