Ebene algebraische Kurven/Singularitäten/Tangenten über kleinste homogene Komponente/Multiplizität/Definition

Multiplizität (Tangente)

Es sei ${}K$ ein algebraisch abgeschlossener Körper und sei ${}F\in K[X,Y]$ ein von ${}0$ verschiedenes Polynom. Es sei ${}P\in C=V(F)\subset {\mathbb {A} }_{K}^{2}$ ein Punkt der zugehörigen affinen ebenen Kurve, der (nach einer linearen Variablentransformation) der Nullpunkt sei. Es sei

${}F=F_{d}+F_{d-1}+\cdots +F_{m}\,$

die homogene Zerlegung von ${}F$ mit $F_{d}\neq 0$ und $F_{m}\neq 0$, ${}d\geq m$. Es sei ${}F_{m}=G_{1}\cdots G_{m}$ die Zerlegung in lineare Faktoren. Dann nennt man die Vielfachheit von ${}G_{i}$ in ${}F_{m}$ die Multiplizität der Tangente ${}V(G_{i})$.