Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Ramification of prime numbers in number fields is a topic relevant to what I'm studying (arithmetic hyperbolic 3-manifolds), and many results from algebraic number theory are used there, however most of what I need comes from the case where the number field is quadratic. Now, eventually in this life I would like to master the theory for general number fields, but that is a very rich spectrum of ideas with many difficult theorems and many open problems. So for now, I'm really interested in just nailing down the generalizations one can make in the quadratic case. I've been working on finding more elementary proofs for facts that would require very advanced proofs in the general setting, in fact leaning toward proofs that rely on arithmetic calculations, because I find it can be very enlightening to see what kind of expressions pop up when you write the stuff out. I've made some progress but I think I could take it further with a little help (thanks in advance to any commenters or answerers).

I want to also mention there's an entry on math.stackexchange: http://math.stackexchange.com/questions/376590/vague-definitions-of-ramified-split-and-inert-in-a-quadratic-field with a nice answer that sheds some light on things, but there is more I want to see.

Probably the nicest result in this vein, which you can get by chasing down the definitions and looking at how things simplify for quadratics (which does take some work but the work is all relatively accessible algebra), is this:

Let $d\in\mathbb{Z}$ be squarefree, $p\in\mathbb{N}$ be prime $\Longrightarrow$ in the field $\mathbb{Q}(\sqrt{d})$:

$p$ is $\begin{cases} \text{inert} &; \quad p\neq 2 \;\&\; \Big(\frac{d}{p}\Big)=-1\text{, or } p=2 \;\&\; d\equiv_85\\ \text{split} &; \quad p\neq 2 \;\&\; \Big(\frac{d}{p}\Big)=1 \text{, or } p=2 \;\&\; d\equiv_81\\ \text{ramified} &; \quad p|d \text{, or } p=2 \;\&\; d\not\equiv_41 \end{cases}$.

This is great because you get a complete classification of what happens to any natural prime in any quadratic extension, but now I want to see what the prime factorizations of $p\mathcal{O}_d$ look like explicitly. It seems this should be derivable by the same methods but I keep getting stuck. As I said up top, I'm focusing on ramification for now, so let's just look at the 3rd case from the statement above.

First question: As mentioned in the link I gave, if $p|d$, then $p\mathcal{O}_d=(p,\sqrt{d})^2$. I wanted to see why this holds, and I found that (suppressing the calculations - I can show them if you like) $(p,\sqrt{d})^2=\big\{p\big(\alpha_1\alpha_3p+\alpha_2\alpha_4\frac{d}{p}+(\alpha_1\alpha_4+\alpha_2\alpha_3)\sqrt{d}\big)\mid\alpha_i\in\mathcal{O}_d\big\}$. This makes it clear it's contained in $(p)$, but is there a simple arithmetic way to see the reverse inclusion? Since $d$ is squarefree, we know $p$ and $\frac{d}{p}$ are coprime, so $\exists m,n\in\mathbb{Z}: mp+n\frac{d}{p}=1$, but how do we know we can find $\alpha_i\in\mathcal{O}_d: m=\alpha_1\alpha_3, n=\alpha_2\alpha_4,$ where $\alpha_1\alpha_4+\alpha_2\alpha_3=0$?

The next thing to do here is see what happens to 2. Like in the case for $p|d$, I'm comfortable with the classification of when 2 ramifies, so let's go ahead and let $d\not\equiv_41$. But then the explicit factorization of $2\mathcal{O}_d$ remains ambiguous. Of course, for $d=-1$, we've got $(p)=(1+i)^2$, but it is not true in general that $(p)=(1+\sqrt{d})^2$, and I can't seem to find the appropriate cases to break it down into. I think it can be verified similarly to how the last one was, if you know the answer but...

Second question: What is the prime factorization of $2\mathcal{O}_d$ when $d\not\equiv_41$, broken into the appropriate cases and in terms of $d$? I'd like to attempt verifying this by a more elementary computation like the last one.

One other thing to say about this is that sometimes writing $(p,\sqrt{d})$ is a little misleading because sometimes it's actually a principal ideal. Due to Stark, 1966, we have that there are only 9 $d$ values for which $\mathcal{O}_d$ is a PID, and which ones (note: 5 of them are Euclidean, implying PID, which can be done more easily algebraically - Stark used pretty advanced complex analysis), and clearly in those cases $\exists a\in\mathcal{O}_d:(p,\sqrt{d})=(a)$. Whether or not these ideals are principal turns out to have important consequences in the topological application I'm studying. So...

Third question Can we say in general what this $a$ would be, casewise or all together in terms of $d$? Finally, are there non-PID $\mathcal{O}_d$s where $(p,\sqrt{d})$ is principal?

Also if anyone knows of a paper I can find where this is worked out that would be great.

share|improve this question
2  
Your setting is general squarefree integers $d$, so when you say that only 9 cases are PIDs then you need to specify that $d < 0$ (perhaps in your intended application only the case $d < 0$ is what occurs). For $d > 0$ it is expected, but not proved, that infinitely often ${\mathcal O}_d$ is a PID. –  KConrad Jul 26 '13 at 10:54
add comment

3 Answers

For number fields $K = \mathbb{Q}(\alpha)$ such that $\mathcal{O}_K = \mathbb{Z}[\alpha]$, we can understand the behavior of $p$ in $\mathcal{O}_K$ by looking at the minimal polynomial of $\alpha$, $f(x) \in \mathbb{Z}[x]$. Let $$f(x) \equiv g_1(x)^{e_1} \cdots g_n(x)^{e_n} \mod p$$ be the prime factorization of $f(x) \mod p$. Then $$ p\mathcal{O}_K = (p, g_1(\alpha))^{e_1} \cdots (p, g_n(\alpha))^{e_n}.$$ This can be found in Neukirch's Algebraic Number Theory.

In particular, for quadratic fields $K = \mathbb{Q}(\sqrt{d})$, $d$ squarefree, we have two cases:

  • $d \not\equiv 1 \mod 4$, then $\mathcal{O}_K = \mathbb{Z}[\sqrt{d}]$, and we can factorize primes in $K$ by studying $f(x) = x^2 - d \mod p$. Then, when $p \neq 2$, quadratic reciprocity gives the results you listed above.

  • $d \equiv 1 \mod 4$, $\mathcal{O}_K = \mathbb{Z}[\frac{1 + \sqrt{d}}{2}]$, and a similar computation gives the conditions you have listed.

Although this does not address your second or third questions, I hope it helps.

share|improve this answer
    
Oh yeah, that is a more useful way of writing Kummer's theorem than the version I have, gives some very nice explicit results. Come to think of it, I had unraveled that when going through the conditions for inert/split/ramified, in the part using the Legendre symbol, but that was during my last round with this stuff and I forgot about it. Thanks! –  j0equ1nn Jul 23 '13 at 6:42
add comment

With $d\equiv3\pmod4$, let $I=(2,1+\sqrt d)$. Then $I^2=(4,2+2\sqrt d,1+d+2\sqrt d)$ contains $$2=(1+d+2\sqrt d)-(2+2\sqrt d)-((d-3)/4)(4)$$ so it contains $(2)$, but certainly $(2)$ contains $I^2$, so $(2)=I^2$.

Note also that $(p,\sqrt p)=(\sqrt p)$ is certainly principal (note spelling), partially answering Question 3.

share|improve this answer
add comment

See http://www.math.uconn.edu/~kconrad/blurbs/gradnumthy/quadraticgrad.pdf, which develops factorization into prime ideals in the ring of integers of quadratic fields from scratch. Look particularly at sections 7 and 8 (and Tables 2 and 3 on page 22).

share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

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