The canonical subgroup of \(E\) is \(\operatorname{Spec} R[x]/ (x^p+ \frac{p}{E_{p-1}(E,\omega)} x)\)
scientific article; zbMATH DE number 5016086