1: \begin{definition}

2: 

3: Let $E_{1}$ and $E_{2}$ be elliptic curves over $\mathbb{F}_{p}$. An isogeny over $\mathbb{F}_{p}$ is a morphism $\phi \colon E_{1} \to E_{2}$ over $\mathbb{F}_{p}$ such that  $\phi(\mathcal{\omicron}_{E_{1}})$ = $\mathcal{\omicron}_{E_{2}}$  is a group homomorphism. The zero isogeny is the constant map $\phi \colon E_{1} \to E_{2}$ given by $\phi(P) = \mathcal{\omicron}_{E_{2}}$ for all $P \in E(\mathbb{\bar{F}}_{p})$.

4:  If there is an isogeny between two elliptic curves $E_{1}$ and $E_{2}$ then:

5:  

6:  \begin{description}

7:  

8: \item[i.] $E_{1}$ and $E_{2}$ are isogenous;

9: 

10: \item[ii.] $\#E_{1}(\mathbb{F}_{p}) = \#E_{2}(\mathbb{F}_{p})$ \cite{tate};

11: 

12: \item[iii.]  $E_{1}$ and $E_{2}$ have the same $\jmath-invariant$ if and only if  $E_{1} \backsimeq  E_{2}$ over $\mathbb{\bar{F}}_{p}$ ($i.e.$ exists an isomorfism from $E_{1}$ to $E_{2}$)\footnote{Theorem 9.3.6 from~\cite{gal}.}.

13: 

14: 

15: 

16: \end{description}

17: 

18: \end{definition}

19: