Esta puede ser una pregunta tonta sobre notación. Lo sé:
$E$ una curva elíptica
$\mathbb{F_q}$ campo finito
Pero hace poco me encontré con la notación $E/\mathbb{F_q}$ por primera vez, ¿se trata de una curva elíptica definida sobre un campo finito?