Live data from Hacker News

Quadratic Reciprocity: The connection that changed number theory

quantamagazine.org

11–20 of 33 posts

Re: Quadratic Reciprocity: The connection that changed number theory

#11
post #5

Earlier quoted context omitted.

Why do people say '2 is a solitary outlier'? Sure, by a quirk of English there is a special word 'even' denoting 'number divisible by 2'. By that logic, every prime k is a 'solitary outlier', being the only prime divisible by k. E.g. '5 is a solitary outlier, the only fiven prime'.

And while we are at it why is 1 not a prime? It conforms to the definition.

If 1 is a prime, then the prime factorization of any number can include an arbitrary number of 1s.

Re: Quadratic Reciprocity: The connection that changed number theory

#12

Edit: I corrected something in the original comment. > There are three kinds of prime numbers. The first is a solitary outlier: 2, the only even prime. After that, half the primes leave a remainder of 1 when divided by 4. We can generalize this. There are 2 kinds of primes with respect to mod 10. Those whose modulo is 2 or 5, and those whose mod x falls into some other odd number. Of the latter numbers, the more prim…

Why do people say '2 is a solitary outlier'? Sure, by a quirk of English there is a special word 'even' denoting 'number divisible by 2'. By that logic, every prime k is a 'solitary outlier', being the only prime divisible by k. E.g. '5 is a solitary outlier, the only fiven prime'.

> Why do people say '2 is a solitary outlier'?

In this particular split of the prime numbers there are 3 categories, and 2 is the only member of one of the categories, while the rest are evenly divided. So it's a solitary outlier.

Re: Quadratic Reciprocity: The connection that changed number theory

#13
post #5

Earlier quoted context omitted.

Why do people say '2 is a solitary outlier'? Sure, by a quirk of English there is a special word 'even' denoting 'number divisible by 2'. By that logic, every prime k is a 'solitary outlier', being the only prime divisible by k. E.g. '5 is a solitary outlier, the only fiven prime'.

And while we are at it why is 1 not a prime? It conforms to the definition.

"An element p of a commutative ring R is said to be prime if it is not the zero element or a unit and whenever p divides ab for some a and b in R, then p divides a or p divides b"

1 is a unit.

Re: Quadratic Reciprocity: The connection that changed number theory

#14
Quadratic reciprocity is the first theorem I encountered in number theory for which I never developed an intuition for why it's true, and it's heartening to read in the article that professional mathematicians still feel the same way about it.

It can turn up unexpectedly. For instance, here's a problem/puzzle that a co-worker came up with: Find all positive integers b for which whenever (x^2 + xy + y^2) written in base b (for some integers x and y) ends with 0, it ends with two 0s. (Answer in rot13: gubfr gung ner n cebqhpg bs qvfgvapg cevzrf gung ner rnpu gjb zbqhyb guerr. This can be proved using quadratic reciprocity, at least the special case that (-3) is a square mod p iff p is a square mod 3.)

Re: Quadratic Reciprocity: The connection that changed number theory

#15
post #5

Earlier quoted context omitted.

Why do people say '2 is a solitary outlier'? Sure, by a quirk of English there is a special word 'even' denoting 'number divisible by 2'. By that logic, every prime k is a 'solitary outlier', being the only prime divisible by k. E.g. '5 is a solitary outlier, the only fiven prime'.

And while we are at it why is 1 not a prime? It conforms to the definition.

Some good answers and discussion at https://math.stackexchange.com/questions/120/why-is-1-not-a-...

In particular, the papers "What is the smallest prime?" https://arxiv.org/abs/1209.2007 and "The History of the Primality of One: A Selection of Sources" https://cs.uwaterloo.ca/journals/JIS/VOL15/Caldwell2/cald6.h... have good history on the matter (e.g. 1, 2, and 3 were all answers at various points — note that at some point in history 1 wasn't even considered a number).

Re: Quadratic Reciprocity: The connection that changed number theory

#16
post #5

Earlier quoted context omitted.

Why do people say '2 is a solitary outlier'? Sure, by a quirk of English there is a special word 'even' denoting 'number divisible by 2'. By that logic, every prime k is a 'solitary outlier', being the only prime divisible by k. E.g. '5 is a solitary outlier, the only fiven prime'.

And while we are at it why is 1 not a prime? It conforms to the definition.

I did once try to run through all the definitions and their generalisations, and it basically boils down to the fact that the zero ring is not a field. This gives the following stacktrace as for why you can't make 1 a prime:

- A prime number is a positive prime element of Z

- A prime element is an element p which is not a unit such that whenever p divides ab then p divides a or p divides b (or both)

- An element which generates a prime ideal is a prime element

- A ring divided by a prime ideal is an integral domain

- All integral domains have a field of fractions

- The zero ring is not a field

Make 1 a prime at the first step and things go wrong at the final step. Most of these definitions have a good argument, except the first arbitrarily excludes the non-positive numbers. This includes 0 which is a perfectly acceptable prime according to all other definitions (and unlike the negative primes, is not simply the negative of a prime number).

Re: Quadratic Reciprocity: The connection that changed number theory

#17

Edit: I corrected something in the original comment. > There are three kinds of prime numbers. The first is a solitary outlier: 2, the only even prime. After that, half the primes leave a remainder of 1 when divided by 4. We can generalize this. There are 2 kinds of primes with respect to mod 10. Those whose modulo is 2 or 5, and those whose mod x falls into some other odd number. Of the latter numbers, the more prim…

what I am amazed by is how of the primes congruent 1 mod 4 can be factored into complex numbers

but what puzzles me is that 11,13,17,19 are primes just like 101,103,107,109

but the real punchline is that 23 is the next prime after 19 AND 113 is the next prime after 109. WHY!?

this must be connected to 2*5

but I only have questions and confusion

Re: Quadratic Reciprocity: The connection that changed number theory

#18

Edit: I corrected something in the original comment. > There are three kinds of prime numbers. The first is a solitary outlier: 2, the only even prime. After that, half the primes leave a remainder of 1 when divided by 4. We can generalize this. There are 2 kinds of primes with respect to mod 10. Those whose modulo is 2 or 5, and those whose mod x falls into some other odd number. Of the latter numbers, the more prim…

Why do people say '2 is a solitary outlier'? Sure, by a quirk of English there is a special word 'even' denoting 'number divisible by 2'. By that logic, every prime k is a 'solitary outlier', being the only prime divisible by k. E.g. '5 is a solitary outlier, the only fiven prime'.

You're replying to a comment that already answers your question. :-) I'd use slightly different words and say:

• When you work modulo 4 (as in the article in the context where this comes up), there are three kinds of primes: 2 is a solitary outlier, and all other primes are equally distributed between being 1 and 3 mod 4.

• When you work modulo 10, there are six kinds of primes: 2 and 5 are outliers, and all other primes are equally distributed between being 1, 3, 7 and 9 mod 10.

So 2 is an outlier when working mod 4 (or any even number). Mod 4 is crucially important in the context of quadratic reciprocity, so it matters here.

Re: Quadratic Reciprocity: The connection that changed number theory

#19
post #5

Earlier quoted context omitted.

Why do people say '2 is a solitary outlier'? Sure, by a quirk of English there is a special word 'even' denoting 'number divisible by 2'. By that logic, every prime k is a 'solitary outlier', being the only prime divisible by k. E.g. '5 is a solitary outlier, the only fiven prime'.

And while we are at it why is 1 not a prime? It conforms to the definition.

Making 1 a prime would break unique factorization (any number has a unique set of prime factors).

Re: Quadratic Reciprocity: The connection that changed number theory

#20
post #5

Earlier quoted context omitted.

Why do people say '2 is a solitary outlier'? Sure, by a quirk of English there is a special word 'even' denoting 'number divisible by 2'. By that logic, every prime k is a 'solitary outlier', being the only prime divisible by k. E.g. '5 is a solitary outlier, the only fiven prime'.

And while we are at it why is 1 not a prime? It conforms to the definition.

Non-primality of 1 is a design decision made by the mathematical community. A convention with which one can agree or disagree.

But it is part of a general pattern that certain objects are "too simple to be simple" [0].

Here "simple" should be thought of as atomic, indecompossible, without smaller parts.

- prime numbers are simple wrt multiplication, 1 is too simple to be prime

- the zero ring is too simple to be a field

- the trivial group is too simple to be a simple group

- the empty topological space is not connected

- etc...

It turns out that if one adheres to this convention, then theorem statements generally become shorter, and have fewer side conditions.

[0]: https://ncatlab.org/nlab/show/too+simple+to+be+simple

Post reply on HN