Ebene algebraische Kurve/Multiplizität über Hilbert-Samuel Polynom/Bemerkung

Aus Wikiversity

Fakt besagt insbesondere, dass die Multiplizität eines Punktes auf einer ebenen Kurve eine Invariante des lokalen Ringes der Kurve in dem Punkt ist, und damit insbesondere nur von intrinsischen Eigenschaften der Kurve abhängt, nicht von der Realisierung in einer umgebenden Ebene. Es gibt für jeden noetherschen lokalen Ring die sogenannte Hilbert-Samuel-Multiplizität, die über die -Dimensionen der Restklassenmoduln definiert wird. Im eindimensionalen Fall ist sie definiert als

wobei diese Funktion konstant wird (was nicht trivial ist). Wenn einen Körper enthält, der isomorph zum Restekörper ist (was bei lokalen Ringen zu einer Kurve der Fall ist), so ist diese Zahl auch gleich