Schemamorphismus/Unverzweigt/Über separabel/Definition

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Unverzweigter Morphismus

Es sei ein Schemamorphismus. Er heißt unverzweigt in einem Punkt , wenn für die maximalen Ideale die Beziehung gilt und wenn die Körpererweiterung separabel ist. Wenn in jedem Punkt unverzweigt ist, so nennt man unverzweigt.