
Originally Posted by
desiresjab
General reciprocity means all of them, the cubic, the quatric, the quintric... What are the laws of general reciprocity, not just quadratic, you see? Artin manged to untangle that. He is one of the great math men of all time that you never hear about. General reciprocity was a problem from Hilbert's original famous list. Finding the solution of any one of those problems guarantees one immortality. Many of those problems have now been solved. In one article Artin is referred to as the preemminent algebraist of the 20th century.
There are many angles to view QR from. They are all correct but they all illustrate different aspects of it. It has many different equivalent statements.
Basically, it compares two primes to find out if either is in the other's quadratic residue set. I know that is a mouthful. Let us compare 3 and 5, for the sake of simplicity. Are there any numbers in the baisc residue set of 3 which when squared are equal to 5 (mod 3)? But 5 is equal to 2 (mod 3). Are there any numbers under three which equal 2 when squared, then? There are only 1 squared and 2 squared, which both equal 1 (mod 3).
Now we ask the reverse question--can the number 3 be found when the numbers less than 5 are squared (mod 5)? Let us look. 12=1, 22=4, 32=4, 42=1 all mod (5).
These numbers (3 and 5) are not quadratic residues of each other, since neither can be found in the other's quadratic residue set. This gives them, when multipled together, as in the Legendre symbol, a value of 1, because (-1)(-1)=1.
Another way of stating the general law is that if either of the primes being compared is a 4n+1 type prime, then both primes are either in the other's set, or both are not.
In one species of case, where we have two primes of 4n+3 variety, one will be in the other's quadratic residue set, and the other will not be in the other's. In this case we have a kind of quadratic irreciprocty, as I like to call it, and the value of the Legendre will be -1, since (-1)(1)=-1. Only in the case of two 4n+3 primes will the Legendre symbol ever equal -1.
two 4n+3 types=-1
one of each type=1
two 4n+1 types=1
When we compared 3 and 5, we had one of each type. We only need to find one value, in this case, because the other is guaranteed to have the same "character" as its companion when the two primes are of different types. One calculation is always easier than the opposite way. The easy calculation always implies the answer to the other prime.
The same reasoning applies when comparing two 4n+3 type primes. Do the easy calculation, and the other value is automatically known to be of opposite "character" to that one.
There is a strong concept of periods involved in reciprocity, which I do not have a full grip on yet. Once, I thought I had it rassled down and pinned, but my hold was illegal. Modulus rings are all about periods. They have torsion, which means multiplying by a larger number can make them smaller sometimes. Normal arithmetic is not entirely applicable in modulus rings, obviously. A firmer understanding of which periods affect reciprocity and how, would clean things up a bit for myself, methinks. Actually, QR has me tired for the moment, but I will cycle back in a few days refreshed. Repeated seiges must win a war of attrition.
The fact that prolonged seiges are necessary, means I am dumb, neither a first class nor a second class mathematician, when one considers, my God, that Gauss gave as criterion for a first class mathematician an immediate understanding of Euler's formula eiπ+1=0, where that exponent that comes out looking like a weird M is actually the Greek letter pi, and i is the imaginary number the square root of -1. Also, e is the constant found universally in nature. Mathematically, e is a function which is its own derivative and integral, which makes it really cool, and it is also a transcendental number!
There is more to the complexity of QR, though the 4n+1 and 4n+3 rules stand fast through all.