Ebene algebraische Kurven/Schnittmultiplizität/Abschätzung von Schnittmultiplizität und Multiplizität/Fakt

Es seien ${}F,G\in K[X,Y]$ und ${}P\in V(F,G)$.

Dann gilt die Abschätzung

${}\operatorname {mult} _{P}(F,G)\geq m_{P}\,(F)\cdot m_{P}\,(G)\,.$

Einen Beweis erstellen