Ebene algebraische Kurven/Schnittmultiplizität/Restdimension ist endlich/Fakt

Aus Wikiversity

Es sei ein Körper und seien Polynome ohne gemeinsamen Primteiler. Es sei und die zugehörige Lokalisierung.

Dann besitzt der Restklassenring eine endliche -Dimension.