# Order of an Elliptic curve

Kindly asking for any hints about the following question:

Let $E$ be an elliptic curve over $F_p$ where $p>7$ is a prime. Suppose $E(F_p)$ had a point of order $p$, then if #$E(F_p)=p$?

## migrated from crypto.stackexchange.comJan 4 '17 at 1:08

This question came from our site for software developers, mathematicians and others interested in cryptography.

• Hint: Lagrange's theorem and Hasse's theorem. – yyyyyyy Jan 3 '17 at 20:38
• @yyyyyyy: With Lagrange's theorem we know that #$E(Fp)=kp$, for some $k \in \mathbb{‎N}$‎. By Hasse's theorem we know that $kp \in [p+1−2‎\sqrt{p}‎,p+1+2‎\sqrt{p}‎]$. But why $k=1$? – Masoud Jan 4 '17 at 16:16

## 1 Answer

By Lagrange $\#E(\Bbb F_p)=kp$ for some integer $k$. By Hasse's theorem $$kp<p+1+2\sqrt{p}<2p\quad (\text{since }1+2\sqrt{p}<p\text{ for }p>7)$$ and $$kp>p+1-2\sqrt{p}>0\quad (\text{since }1-2\sqrt{p}>-p\text{ for }p>7).$$ Hence $kp$ is a multiple of $p$ such which is strictly larger than 0, but strictly smaller than $2p$. The only remaining option is $p$.

• It is not necessary for $1+2\sqrt{p}<p$ that $p>7$. I am confounded. – Masoud Jan 5 '17 at 17:22
• Could you explain why it is not? – CurveEnthusiast Jan 5 '17 at 17:31
• excuse me, your answer is correct!!!! – Masoud Jan 5 '17 at 18:56