Exercise in Milne's CFT notes - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-18T08:28:04Z http://mathoverflow.net/feeds/question/122765 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/122765/exercise-in-milnes-cft-notes Exercise in Milne's CFT notes Abhishek Parab 2013-02-24T00:45:39Z 2013-02-25T13:36:54Z <p>On page 156 of Milne's Class field theory notes available online <a href="http://www.jmilne.org/math/CourseNotes/cft.html" rel="nofollow">here</a>, he claims that the Hilbert class field of $K = \mathbb Q(\sqrt{-6})$ is the splitting field of $x^2+3$ but I don't believe so. </p> <p>The prime 5 does not ramify in $K$ but does so in $L = \mathbb Q(\sqrt{-6}, \sqrt{-3}) = \mathbb Q(\sqrt{-3}, \sqrt{2})$. To see this, I consider the order $M = \mathbb Z[\alpha]$ where $\alpha = \sqrt{-3}+\sqrt{2}$. Indeed, $M$ is not the ring of integers of $L$ but has index 8 in $\mathcal O_L$. Since $5 \not |[\mathcal O_L:M]$, the splitting of this ideal inside $\mathcal O_L$ would be the same as over $M$. But $\alpha$ has minimal polynomial $x^4+2x^2+25$. Reducing this equation modulo 5 gives a double root, from which we conclude that 5 ramifies in $L$. Since the discriminant of $K$ over $\mathbb Q$ is $-24$, so 5 doesn't ramify there. </p> <p>I am not able to figure out my mistake in this calculation. I'd be glad if you could spot it. If my argument is correct and $L$ is not the Hilbert class field of $K$, then what is? Thanks. </p> <p><strong>Edit:</strong> From the answers, it seems my calculation of index of the order is wrong. It would be great to have an answer that gives an easy way to see how or why it is wrong, and why $L$ is the class field. Otherwise, I'll accept one of the answers. </p> http://mathoverflow.net/questions/122765/exercise-in-milnes-cft-notes/122767#122767 Answer by Frank Thorne for Exercise in Milne's CFT notes Frank Thorne 2013-02-24T01:09:02Z 2013-02-24T01:09:02Z <p>I think Milne is right. </p> <p>If a prime $p$ does not ramify in fields $K_i$, then it does not ramify in their compositum. So you know that 5 can't ramify in $L$, because it visibly doesn't ramify in any of the quadratic fields.</p> <p>Moreover, PARI/GP tells me that the field generated by $x^4 + 2 x^2 + 25$ has discriminant $576$, but that the polynomial has discriminant $3686400$, so $5$ does divide the index of $M$ in $\mathcal{O}_L$.</p> http://mathoverflow.net/questions/122765/exercise-in-milnes-cft-notes/122771#122771 Answer by Faisal for Exercise in Milne's CFT notes Faisal 2013-02-24T01:50:09Z 2013-02-24T03:56:38Z <p>How did you determine that the index $(\mathcal O_L : M)$ is $8$? It seems to me that it's actually $160$, which is divisible by $5$.</p> <p>Incidentally, a quick way to see that Milne is correct is to note that the discriminant of $K$ is $-4\cdot 6$ and $6$ is an idoneal number: this means that the Hilbert class field of $K$ coincides with its genus field, which is easily computed to be $K(\sqrt{-3})$. See section 6 of Cox's "Primes of the form $x^2 + ny^2$".</p> <p><strong>Edit:</strong> As requested, here are some more details, as well as a low-tech way of seeing why $L=K(\sqrt{-3})$ is the Hilbert class field of $K$.</p> <p>First off, an integral basis for $L$ is <code>$\{1, (1+\sqrt{-3})/2, \sqrt2, (\sqrt 2 + \sqrt{-6})/2\}$</code> (taken from an exercise in Marcus's "Number Fields"), and then a simple computation gives $\text{disc } \mathcal O_L = 12^2$. On the other hand, we find that $\text{disc } M = 1920^2$ and so the equation $\text{disc } M = (\mathcal O_L : M)^2 \text{disc } \mathcal O_L$ gives $(\mathcal O_L : M) = 160$.</p> <p>Now, as to why $L$ is the Hilbert class field of $K$---well, the HCF has to be a quadratic extension of $K$ (because the class number of $K$ is easily computed to be $2$), so it suffices to show that the finite primes of $K$ are unramified in $L$. For this we can use the relative discriminant of $L/K$: this is an ideal that contains, in particular, <code>$\text{disc } \{1,\sqrt 2\} = 8$</code> and <code>$\text{disc } \{1, (1+\sqrt{-3})/2\} = -3$</code>, hence contains $1$. That is, the relative discriminant of $L/K$ is the unit ideal and so the extension is unramified.</p>