4
$\begingroup$

I came across this proposition in an article about genus class fields. enter image description here

I have a few questions about the parts that I have underlined in red. I don't understand why the norm map $N_{H/K}: I_H \to P_K$ is surjective. In this particular case, the image of $N_{H/K}$ is the free abelian group generated by $\{ \mathfrak{p}^{\mathfrak{f}(\mathfrak{p})} \}$ for $\mathfrak{p}$ unramified and $\mathfrak{f}(\mathfrak{p})$ is the order of the class of $\mathfrak{p}$ in the class group of $K$. So the image lands in $P_K$, but suppose we fix a prime $\mathfrak{p}$ non-principal and choose $\mathfrak{I}$ an ideal coprime to $\mathfrak{p}$ in the inverse class of $\mathfrak{p}$ (in the class group). $\mathfrak{p}\mathfrak{I} \in P_K$ but I don't see why it should be in the image of the norm map because $\mathfrak{p}^{\mathfrak{f}(\mathfrak{p})} \nmid \mathfrak{p}\mathfrak{I}$.

Also, I am not sure how the equality in the third underlined statement was obtained. Is it that $N_{H/G}$ is sujective? How can it be explained?

$\endgroup$

1 Answer 1

3
$\begingroup$

This article by Herz contains several errors, and the items you are pointing out are gaps; see Chapter 2 of my thesis, in particular pp. 42-43. There are better presentations of genus clsas fields - see Section III of the bibliography.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.