K-Spektrum/Ring der algebraischen Funktionen/U subseteq D(f)/Unabhängigkeit/Fakt

Aus Wikiversity

Es sei ein algebraisch abgeschlossener Körper, eine -Algebra von endlichem Typ und sei das -Spektrum von . Es sei und eine offene Menge.

Dann ist es egal, ob man mit Bezug auf oder mit Bezug auf definiert.