1.II.20H

Number Fields | Part II, 2007

Let K=Q(26)K=\mathbb{Q}(\sqrt{-26}).

(a) Show that OK=Z[26]\mathcal{O}_{K}=\mathbb{Z}[\sqrt{-26}] and that the discriminant dKd_{K} is equal to 104-104.

(b) Show that 2 ramifies in OK\mathcal{O}_{K} by showing that [2]=p22[2]=\mathfrak{p}_{2}^{2}, and that p2\mathfrak{p}_{2} is not a principal ideal. Show further that [3]=p3p3[3]=\mathfrak{p}_{3} \overline{\mathfrak{p}}_{3} with p3=[3,126]\mathfrak{p}_{3}=[3,1-\sqrt{-26}]. Deduce that neither p3\mathfrak{p}_{3} nor p32\mathfrak{p}_{3}^{2} is a principal ideal, but p33=[126]\mathfrak{p}_{3}^{3}=[1-\sqrt{-26}].

(c) Show that 5 splits in OK\mathcal{O}_{K} by showing that [5]=p5p5[5]=\mathfrak{p}_{5} \overline{\mathfrak{p}}_{5}, and that

NK/Q(2+26)=30N_{K / \mathbb{Q}}(2+\sqrt{-26})=30

Deduce that p2p3p5\mathfrak{p}_{2} \mathfrak{p}_{3} \mathfrak{p}_{5} has trivial class in the ideal class group of KK. Conclude that the ideal class group of KK is cyclic of order six.

[You may use the fact that 2π1046.492.]\left.\frac{2}{\pi} \sqrt{104} \approx 6.492 .\right]

Typos? Please submit corrections to this page on GitHub.