Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

I've recently been studying some elementary number theory, and I've frequently come across the fact that there are a fair number of results (the main one being the law of quadratic reciprocity) for which $2$ has to be treated as a special case, separately from the odd primes.

My question is why this is. I can see that there are reasons in each proof that the theorem doesn't hold for $2$ (a pretty common one is the fact that $2-1$ is not divisible by $2$), but I'm curious if there's an overarching theoretical reason. My best guess is that it might have to do with the fact that $\left ( \mathbb{Z}/2\mathbb{Z} \right )^\times$ is trivial, although that might just be a fancier way of saying that $2-1 = 1$.

I am, of course, open to the possibility that there are a variety of reasons that $2$ is an exceptional prime, but I'm curious what those are and if there's a best example, or a most common example.

share|improve this question
10  
2 is the oddest prime of them all... :) –  J. M. Sep 8 '11 at 19:09
6  
I recommend checking out the Mathoverflow questions mathoverflow.net/questions/915/… and mathoverflow.net/questions/15141/why-is-2-so-odd. –  Jonas Meyer Sep 8 '11 at 19:10
    
Did you mean to say $2-1$ divides $2$? For no $n$ (except $1$) does $n$ divide $n-1$ –  Ross Millikan Sep 8 '11 at 19:11
1  
Well, there's Optimus Prime. –  Curiosity Sep 8 '11 at 19:22
2  
I think there might be something to the idea that $2$ is an exceptional prime. But what I cannot understand is some people attempt to justify it by saying $2$ is the only even prime. Well, true; but isn't $17$ the only prime divisible by $17$? (I find Iasafro's answer more acceptable than this :-).) –  Srivatsan Sep 8 '11 at 19:23
show 1 more comment

5 Answers 5

up vote 5 down vote accepted

Many of the more meaningful exceptions seem to come about because $1\equiv -1$ modulo 2. So the reasoning "$x=-x$, therefore $x=0$" is not available in characteristic 2.

share|improve this answer
add comment

To pick up on your example, quadratic reciprocity has everything to do with roots of quadratic equations - and the presence of a 2 in the denominator of the quadratic formula $$ x = \frac{-b \pm \sqrt{b^2 - 4ac} }{2a} $$ is what screws things up. Similarly, the correspondence between quadratic forms and bilinear forms involves dividing by 2, which screws things up at 2 in algebraic number theory, for example.

share|improve this answer
add comment

I will say that the reason why $2$ is special is that $2$ is the smallest prime in the natural numbers.

share|improve this answer
    
I downvoted this, because I found this a very strange reason before reading Buzzard's and Carnahan's answers on MO. Now that I want to take it back, the system is not allowing me to do so saying that my vote is locked in until the answer is edited. :( –  Soarer Sep 8 '11 at 19:44
    
Don't worry, we all are humans ;) –  Josué Tonelli-Cueto Sep 8 '11 at 19:52
    
@Soarer: I made a trivial edit to allow undownvoting. –  Jonas Meyer Sep 8 '11 at 20:22
    
@Jonas: Done. $\hspace{1mm}$ –  Soarer Sep 8 '11 at 20:59
add comment

At a lesser elementary level, when the characteristic of a field is $2$, and only in this case, the relation between the tensor product $V\otimes V$ and the symmetric product ${\rm Sym}_2(V)$ is less straightforward. This has important implications for the theory of quadratic forms (which is so basic in Number Theory).

share|improve this answer
add comment

I believe that another important source of exceptionality for the prime $2$ is that if $n$ is odd, then in fact $n^2\equiv1\bmod4$ while for every prime $p>2$ there are numbers $n$ such that $n^2\equiv1\bmod p$ but $n^2\not\equiv1\bmod p^2$ (i.e., there are no squares $\equiv3\bmod4$).

Whether this, philosophically, is a "manifestation of smallness" I'm not entirely sure.

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.