1: \begin{abstract}

2: We consider algebraic affine and projective curves of Edwards \cite{E, SkOdProj} over the finite field ${{\text{F}}_{{{p}^{n}}}}$. It is known that many modern cryptosystems \cite{SkBlock} can be naturally transformed into elliptic curves \cite{Kob}. We research Edwards algebraic curves over a finite field, which are one of the most promising supports of sets of points which are used for fast group operations \cite{Bir}. We construct a new method for counting the order of an Edwards curve over a finite field. It should be noted that this method can be applied to the order of elliptic curves due to the birational equivalence between elliptic curves and Edwards curves.

3: 

4: We not only find a specific set of coefficients with corresponding field characteristics for which these curves are supersingular, but we additionally find a general formula by which one can determine whether a curve ${{E}_{d}}[{{\mathbb{F}}_{p}}]$ is supersingular over this field or not.

5: 

6: The embedding degree of the supersingular curve of Edwards over ${{\mathbb{F}}_{{{p}^{n}}}}$ in a finite field is investigated and the field characteristic, where this degree is minimal, is found.

7: A birational isomorphism between the Montgomery curve and the Edwards curve is also constructed.

8: A one-to-one correspondence between the Edwards supersingular curves and Montgomery supersingular curves is established.

9: 

10: The criterion of supersingularity for Edwards curves is found over ${{\mathbb{F}}_{{{p}^{n}}}}$. \\

11: \textbf{Key words}: finite field, elliptic curve, Edwards curve, group of points of an elliptic curve.  \\

12: \textbf{2000 AMS subject classifications}: 11G07, 97U99, 97N30.

13: \end{abstract}

14: