olemus
peaideaali (f) järgi moodustatud polünoomide ringi K[X,Y]
faktorringi K[E]=K[X,Y]/(f) jagatisekorpus K(E) ,
kus
- f(X,Y)=0 on elliptkõverat defineeriv algebraline võrrand ja
- K on korpus, mille suhtes elliptkõvera punktid on defineeritud

ülevaateid
https://crypto.stanford.edu/pbc/notes/elliptic/funcfield.html

https://webusers.imj-prg.fr/~jan.nekovar/co/ln/el/el2.pdf (1.1.5)