1
$\begingroup$

Let $\mathcal{O}_l=\mathbb{Z}[\frac{1+\sqrt{-l}}{2}]$ with $l$ a prime number congruent to 3 mod 4. Let $\mathfrak{a}$ be a non-principal fractional ideal of $\mathcal{O}_l$.

My questions are: Why N$(x)$/N$(\mathfrak{a})$ is less than $\frac{1+l}{4}$, being $x$ a generator of $\mathfrak{a}$? Why the fundamental parallelogram of $\mathfrak{a}$ have area equal to $\frac{\sqrt{-l}}{2}$?

I've been told that it is crucial that the discriminant is prime, so I thought about Minkowsky's theorems but I do not get to do it.

I would be thankful if you could help me.

  • 0
    All this problem came to me while studying an article written by Noam Elkies about supersingular primes for elliptic curves. In this article, and it is him who says that the area is going to be $\frac{\sqrt{l}}{2}$. But the only thing we know in the beginning is that $\mathfrak{a}$ is a non-principal fractional ideal, he does not say anywhere that it is going to be exactly $\mathcal{O}_l$...2012-05-28

0 Answers 0