Der Ring der konvergenten Potenzreihen in P ∈ C n {\displaystyle {}P\in {\mathbb {C} }^{n}} ist
lokal mit dem maximalen Ideal m P = { f ∈ O P ∣ f ( P ) = 0 } {\displaystyle {}{\mathfrak {m}}_{P}={\left\{f\in {\mathcal {O}}_{P}\mid f(P)=0\right\}}} .