“Cubic reciprocity”的意思、由来-开放百科全书

Cubic reciprocity is a collection of theorems in elementary and algebraic number theory that state conditions under which the congruence x³ ≡ p (mod q) is solvable; the word "reciprocity" comes from the form of the main theorem, which states that if p and q are primary numbers in the ring of Eisenstein integers, both coprime to 3, the congruence x³ ≡ p (mod q) is solvable if and only if x³ ≡ q (mod p) is solvable.

History

Sometime before 1748 Euler made the first conjectures about the cubic residuacity of small integers, but they were not published until 1849, after his death.^[1]

Gauss's published works mention cubic residues and reciprocity three times: there is one result pertaining to cubic residues in the Disquisitiones Arithmeticae (1801).^[2] In the introduction to the fifth and sixth proofs of quadratic reciprocity (1818)^[3] he said that he was publishing these proofs because their techniques (Gauss's lemma and Gaussian sums, respectively) can be applied to cubic and biquadratic reciprocity. Finally, a footnote in the second (of two) monographs on biquadratic reciprocity (1832) states that cubic reciprocity is most easily described in the ring of Eisenstein integers.^[4]

From his diary and other unpublished sources, it appears that Gauss knew the rules for the cubic and quartic residuacity of integers by 1805, and discovered the full-blown theorems and proofs of cubic and biquadratic reciprocity around 1814.^[5]^[6] Proofs of these were found in his posthumous papers, but it is not clear if they are his or Eisenstein's.^[7]

Integers

A cubic residue (mod p) is any number congruent to the third power of an integer (mod p). If x³ ≡ a (mod p) does not have an integer solution, a is a cubic nonresidue (mod p).^[12]

As is often the case in number theory, it is easiest to work modulo prime numbers, so in this section all moduli p, q, etc., are assumed to be positive, odd primes.^[12]

We first note that if q ≡ 2 (mod 3) is a prime then every number is a cubic residue modulo q. Let q = 3n + 2; since 0 = 0³ is obviously a cubic residue, assume x is not divisible by q. Then by Fermat's little theorem,

Therefore, the only interesting case is when the modulus p ≡ 1 (mod 3). In this case the non-zero residue classes (mod p) can be divided into three sets, each containing (p−1)/3 numbers. Let e be a cubic non-residue. The first set is the cubic residues; the second one is e times the numbers in the first set, and the third is e² times the numbers in the first set. Another way to describe this division is to let e be a primitive root (mod p); then the first (resp. second, third) set is the numbers whose indices with respect to this root are congruent to 0 (resp. 1, 2) (mod 3). In the vocabulary of group theory, the first set is a subgroup of index 3 of the multiplicative group

and the other two are its cosets.

Primes ≡ 1 (mod 3)

A theorem of Fermat^[13]^[14] states that every prime p ≡ 1 (mod 3) can be written as p = a² + 3b² and (except for the signs of a and b) this representation is unique.

Letting m = a + b and n = a − b, we see that this is equivalent to p = m² − mn + n² (which equals (n − m)² − (n − m)n + n² = m² + m(n − m) + (n − m)², so m and n are not determined uniquely). Thus,

and it is a straightforward exercise to show that exactly one of m, n, or m − n is a multiple of 3, so

For relatively prime integers m and n define the rational cubic residue symbol as

It is important to note that this symbol does not have the multiplicative properties of the Legendre symbol; for this, we need the true cubic character defined below.

The first two can be restated as follows. Let p be a prime that is congruent to 1 modulo 3. Then:^[19]^[20]^[21]

Note that the first condition implies: that any number that divides L or M is a cubic residue (mod p).

Eisenstein integers

Background

These numbers are now called the ring of Gaussian integers, denoted by Z[i]. Note that i is a fourth root of 1.

In his first monograph on cubic reciprocity^[31] Eisenstein developed the theory of the numbers built up from a cube root of unity; they are now called the ring of Eisenstein integers. Eisenstein said (paraphrasing) "to investigate the properties of this ring one need only consult Gauss's work on Z[i] and modify the proofs". This is not surprising since both rings are unique factorization domains.

The "other imaginary quantities" needed for the "theory of residues of higher powers" are the rings of integers of the cyclotomic number fields; the Gaussian and Eisenstein integers are the simplest examples of these.

Facts and terminology

The group of units in

(the elements with a multiplicative inverse or equivalently those with unit norm) is a cyclic group of the sixth roots of unity,

A number is primary if it is coprime to 3 and congruent to an ordinary integer modulo

which is the same as saying it is congruent to

modulo 3. If

one of

is primary. Moreover, the product of two primary numbers is primary and the conjugate of a primary number is also primary.

where each

is a primary (under Eisenstein's definition) prime. And this representation is unique, up to the order of the factors.

The notions of congruence^[33] and greatest common divisor^[34] are defined the same way in

as they are for the ordinary integers

. Because the units divide all numbers, a congruence modulo

is also true modulo any associate of

, and any associate of a GCD is also a GCD.

Cubic residue character

Definition

An analogue of Fermat's little theorem is true in

: if

is not divisible by a prime

,^[35]

for a unique unit

This unit is called the cubic residue character of

modulo

and is denoted by^[36]

Properties

The cubic residue character has formal properties similar to those of the Legendre symbol:

Statement of the theorem

There are supplementary theorems^[40]^[41] for the units and the prime 1 − ω:

Let α = a + bω be primary, a = 3m + 1 and b = 3n. (If a ≡ 2 (mod 3) replace α with its associate −α; this will not change the value of the cubic characters.) Then

See also

Notes

1. ^Euler, Tractatus ..., §§ 407–410
2. ^Gauss, DA, footnote to art. 358
3. ^Gauss, Theorematis fundamentalis ...
4. ^Gauss, BQ, § 30
5. ^Cox, pp. 83–90
6. ^Lemmermeyer, pp. 199–201, 222–224
7. ^¹Lemmermeyer, p. 200
8. ^Jacobi, De residuis cubicis ....
9. ^Eisenstein, Beweis des Reciprocitätssatzes ...
10. ^Eisenstein, Nachtrag zum cubischen...
11. ^Eisenstein, Application de l'algèbre...
12. ^¹cf. Gauss, BQ § 2
13. ^Gauss, DA, Art. 182
14. ^Cox, Ex. 1.4–1.5
15. ^Ireland & Rosen, Props 8.3.1 & 8.3.2
16. ^Euler, Tractatus, §§ 407–401
17. ^Lemmermeyer, p. 222–223
18. ^Tractatus de numerorum doctrina capita sedecim, quae supersunt, 411, footnote (chapter 11)
19. ^Cox, p. 2, Thm. 4.15, Ex. 4.15
20. ^Ireland & Rosen, Prop. 9.6.2, Ex 9.23
21. ^Lemmermeyer, Prop. 7.1 & 7.2
22. ^Gauss, DA footnote to art. 358
23. ^Lemmermeyer, Ex. 7.9
24. ^Jacobi, De residuis cubicis...
25. ^Lemmermeyer, Prop.7.4
26. ^Lemmermeyer, pp. 209–212, Props 7.1–7.3
27. ^Lemmermeyer, Ex. 7.11
28. ^Lemmermeyer, Ex. 7.12
29. ^Gauss, BQ, § 30, translation in Cox, p. 83
30. ^Gauss, BQ, § 30, translation in Cox, p. 84
31. ^Ireland & Rosen p. 14
32. ^Ireland & Rosen Prop 9.1.4
33. ^cf. Gauss, BQ, §§ 38–45
34. ^cf. Gauss, BQ, §§ 46–47
35. ^Ireland & Rosen. Prop. 9.3.1
36. ^Ireland & Rosen, p. 112
37. ^Ireland & Rosen, Prop. 9.3.3
38. ^Ireland & Rosen, Prop. 9.3.4
39. ^Lemmermeyer, Prop 7.7
40. ^Lemmermeyer, Th. 6.9
41. ^Ireland & Rosen, Ex. 9.32–9.37
42. ^Lemmermeyer, p. 226–227

References

The references to the original papers of Euler, Jacobi, and Eisenstein were copied from the bibliographies in Lemmermeyer and Cox, and were not used in the preparation of this article.

Euler

This was actually written 1748–1750, but was only published posthumously; It is in Vol V, pp. 182–283 of

Gauss

The two monographs Gauss published on biquadratic reciprocity have consecutively numbered sections: the first contains §§ 1–23 and the second §§ 24–76. Footnotes referencing these are of the form "Gauss, BQ, § n". Footnotes referencing the Disquisitiones Arithmeticae are of the form "Gauss, DA, Art. n".

German translations of all three of the above are the following, which also has the Disquisitiones Arithmeticae and Gauss's other papers on number theory.