I am currently reading this paper on isogenies between elliptic curves over $\mathbb{F}_p$ and got a question on the proof of Proposition 2.5:

Context: Let $p\equiv 1\text{ mod }4$ be a prime, then in $K=\mathbb{Q}(\sqrt{-p})$, the maximal order $\mathcal{O}_K$ equals $\mathbb{Z}[\sqrt{-p}]$. However, for $p\equiv 3\text{ mod }4$, the maximal order $\mathcal{O}_K$ equals $\mathbb{Z}[\frac{1+\sqrt{-p}}{2}]$ which is strictly larger than $\mathbb{Z}[\sqrt{-p}]$. (Notice that if $p\equiv 1\text{ mod 4}$, then $-p\equiv 3\text{ mod } 4$ and vice versa).

Now in the context of the paper, it is claimed that the endomorphism ring of an elliptic curve over $\mathbb{F}_p$ either equals $O_K$ in the first case, and equals either $O_K$ or $\mathbb{Z}[\sqrt{-p}]$ in the second case. Proposition 2.5 now wants to count the number of ideal classes in these cases:

For $p\equiv 1\text{ mod }4$, the discriminant equals $-4p$ and thus by definition there are $h(-4p)$ ideal classes. However, for $p\equiv 3\text{ mod }4$, it is claimed that there are $h(-4p)+h(-p)$ many ideal classes. Why is that?

I assume that one summand counts the ideal classes in $\mathbb{Z}[\sqrt{-p}]$, and the other one counts the classes in $\mathcal{O}_K$. However, we know that the corresponding discriminant is just $-p$, and we know that the ring $\mathcal{O}_K$ has $h(-p)$ classes. Consequently, this leads to the conclusion that $\mathbb{Z}[\sqrt{-p}]$ must correspond to $h(-4p)$, thus have $h(-4p)$ ideal classes. Is this true? If so, why?

Does $\mathbb{Z}[\sqrt{-p}]$ have class number $h(-4p)$?

Till now I was not even aware of the fact that this is defined. Consider for example $p=7$, then the class group has $h(-7)=1$ element. However, is $h(-28)$ even defined? For example, it is not listed in this list of class numbers by wolfram alpha. Clearly, $-28=-7\cdot2^2$ is a discriminant with corresponding fundamental discriminant $-7$, but what is its meaning in this context?

Does $\mathbb{Z}[\sqrt{-p}]$ have class number $h(-4p)$?

I am currently reading this paper on isogenies between elliptic curves over $\mathbb{F}_p$ and got a question on the proof of Proposition 2.5:

Context: Let $p\equiv 1\text{ mod }4$ be a prime, then in $K=\mathbb{Q}(\sqrt{-p})$, the maximal order $\mathcal{O}_K$ equals $\mathbb{Z}[\sqrt{-p}]$. However, for $p\equiv 3\text{ mod }4$, the maximal order $\mathcal{O}_K$ equals $\mathbb{Z}[\frac{1+\sqrt{-p}}{2}]$ which is strictly larger than $\mathbb{Z}[\sqrt{-p}]$. (Notice that if $p\equiv 1\text{ mod 4}$, then $-p\equiv 3\text{ mod } 4$ and vice versa).

Now in the context of the paper, it is claimed that the endomorphism ring of an elliptic curve over $\mathbb{F}_p$ either equals $O_K$ in the first case, and equals either $O_K$ or $\mathbb{Z}[\sqrt{-p}]$ in the second case. Proposition 2.5 now wants to count the number of ideal classes in these cases:

For $p\equiv 1\text{ mod }4$, the discriminant equals $-4p$ and thus by definition there are $h(-4p)$ ideal classes. However, for $p\equiv 3\text{ mod }4$, it is claimed that there are $h(-4p)+h(-p)$ many ideal classes. Why is that?

I assume that one summand counts the ideal classes in $\mathbb{Z}[\sqrt{-p}]$, and the other one counts the classes in $\mathcal{O}_K$. However, we know that the corresponding discriminant is just $-p$, and we know that the ring $\mathcal{O}_K$ has $h(-p)$ classes. Consequently, this leads to the conclusion that $\mathbb{Z}[\sqrt{-p}]$ must correspond to $h(-4p)$, thus have $h(-4p)$ ideal classes. Is this true? If so, why?

Till now I was not even aware of the fact that this is defined. Consider for example $p=7$, then the class group has $h(-7)=1$ element. However, is $h(-28)$ even defined? For example, it is not listed in this list of class numbers by wolfram alpha. Clearly, $-28=-7\cdot2^2$ is a discriminant with corresponding fundamental discriminant $-7$, but what is its meaning in this context?

I am currently reading this paper on isogenies between elliptic curves over $\mathbb{F}_p$ and got a question on the proof of Proposition 2.5:

Context: Let $p\equiv 1\text{ mod }4$ be a prime, then in $K=\mathbb{Q}(\sqrt{-p})$, the maximal order $\mathcal{O}_K$ equals $\mathbb{Z}[\sqrt{-p}]$. However, for $p\equiv 3\text{ mod }4$, the maximal order $\mathcal{O}_K$ equals $\mathbb{Z}[\frac{1+\sqrt{-p}}{2}]$ which is strictly larger than $\mathbb{Z}[\sqrt{-p}]$. (Notice that if $p\equiv 1\text{ mod 4}$, then $-p\equiv 3\text{ mod } 4$ and vice versa).

Now in the context of the paper, it is claimed that the endomorphism ring of an elliptic curve over $\mathbb{F}_p$ either equals $O_K$ in the first case, and equals either $O_K$ or $\mathbb{Z}[\sqrt{-p}]$ in the second case. Proposition 2.5 now wants to count the number of ideal classes in these cases:

For $p\equiv 1\text{ mod }4$, the discriminant equals $-4p$ and thus by definition there are $h(-4p)$ ideal classes. However, for $p\equiv 3\text{ mod }4$, it is claimed that there are $h(-4p)+h(-p)$ many ideal classes. Why is that?

I assume that one summand counts the ideal classes in $\mathbb{Z}[\sqrt{-p}]$, and the other one counts the classes in $\mathcal{O}_K$. However, we know that the corresponding discriminant is just $-p$, and we know that the ring $\mathcal{O}_K$ has $h(-p)$ classes. Consequently, this leads to the conclusion that $\mathbb{Z}[\sqrt{-p}]$ must correspond to $h(-4p)$, thus have $h(-4p)$ ideal classes. Is this true? If so, why?

Till now I was not even aware of the fact that this is defined. Consider for example $p=7$, then the class group has $h(-7)=1$ element. However, is $h(-28)$ even defined? For example, it is not listed in this list of class numbers by wolfram alpha. Clearly, $-28=-7\cdot2^2$ is a discriminant with corresponding fundamental discriminant $-7$, but what is its meaning in this context?

I am currently reading this paper on isogenies between elliptic curves over $\mathbb{F}_p$ and got a question on the proof of Proposition 2.5:

Context: Let $p\equiv 1\text{ mod }4$ be a prime, then in $K=\mathbb{Q}(\sqrt{-p})$, the maximal order $\mathcal{O}_K$ equals $\mathbb{Z}[\sqrt{-p}]$. However, for $p\equiv 3\text{ mod }4$, the maximal order $\mathcal{O}_K$ equals $\mathbb{Z}[\frac{1+\sqrt{-p}}{2}]$ which is strictly larger than $\mathbb{Z}[\sqrt{-p}]$. (Notice that if $p\equiv 1\text{ mod 4}$, then $-p\equiv 3\text{ mod } 4$ and vice versa).

Now in the context of the paper, it is claimed that the endomorphism ring of an elliptic curve over $\mathbb{F}_p$ either equals $O_K$ in the first case, and equals either $O_K$ or $\mathbb{Z}[\sqrt{-p}]$ in the second case. Proposition 2.5 now wants to count the number of ideal classes in these cases:

For $p\equiv 1\text{ mod }4$, the discriminant equals $-4p$ and thus by definition there are $h(-4p)$ ideal classes. However, for $p\equiv 3\text{ mod }4$, it is claimed that there are $h(-4p)+h(-p)$ many ideal classes. Why is that?

I assume that one summand counts the ideal classes in $\mathbb{Z}[\sqrt{-p}]$, and the other one counts the classes in $\mathcal{O}_K$. However, we know that the corresponding discriminant is just $-p$, and we know that the ring $\mathcal{O}_K$ has $h(-p)$ classes. Consequently, this leads to the conclusion that $\mathbb{Z}[\sqrt{-p}]$ must correspond to $h(-4p)$, thus have $h(-4p)$ ideal classes. Is this true? If so, why?

Does $\mathbb{Z}[\sqrt{-p}]$ have class number $h(-4p)$?

Till now I was not even aware of the fact that this is defined. Consider for example $p=7$, then the class group has $h(-7)=1$ element. However, is $h(-28)$ even defined? For example, it is not listed in this list of class numbers by wolfram alpha. Clearly, $-28=-7\cdot2^2$ is a discriminant with corresponding fundamental discriminant $-7$, but what is its meaning in this context?