Elliptische Kurve/Y^2 ist X(X-1)(X-p)/Reduktionsverhalten/Beispiel

Aus Wikiversity

Es sei eine Primzahl. Wir betrachten die elliptische Kurve , die durch die affine Gleichung

gegeben ist. In Charakteristik ist ein singulärer Punkt der Kurve, die Gleichung wird zu

bzw. zu

Bei gilt für den quadratischen Term

wobei eine Quadratwurzel aus sei. Diese beiden lineare Terme sind verschieden und beschreiben die verschiedenen Tangenten, es liegt also multiplikative Reduktion vor. Das Spaltungsverhalten hängt davon ab, ob die in eine Quadratwurzel besitzt oder erst in einer endlichen Erweiterung (und zwar dann in ). Nach Fakt besitzt eine Quadratwurzel in genau dann, wenn ist. Unter dieser Bedingung liegt also modulo spaltender multiplikativer Typ vor und andernfalls nichtspaltender multiplikativer Typ.