Für die Lokalisierung C [ X 1 , … , X n ] ( X 1 , … , X n ) {\displaystyle {}{\mathbb {C} }[X_{1},\ldots ,X_{n}]_{\left(X_{1},\ldots ,X_{n}\right)}} und den lokalen Ring O n {\displaystyle {}{\mathcal {O}}_{n}} der holomorphen Funktionen gelten folgende Beziehungen.
ist injektiv und flach.