Normales Schema/Affine Eigenschaft/Fakt/Beweis

Aus Wikiversity
Beweis

Von (2) nach (3) ist eine Einschränkung. Es sei (3) erfüllt. Für einen jeden Punkt gibt es somit eine offene affine Umgebung

mit normal. Dabei ist mit einem Primideal aus . Nach Fakt ist ebenfalls normal.