Cubic reciprocity: Difference between revisions
imported>Richard Pinch (New article, my own wording from Wikipedia) |
imported>Richard Pinch m (remove Wikipedia markup; minor corrections) |
||
Line 16: | Line 16: | ||
If <math>\pi</math> is a [[Eisenstein prime|prime]] element of ''E'' of [[field norm|norm]] ''P'' and <math>\alpha</math> is an element coprime to <math>\pi</math>, we define the cubic residue symbol <math>\left(\frac{\alpha}{\pi}\right)_3</math> to be the cube root of unity (power of <math>\omega</math>) satisfying | If <math>\pi</math> is a [[Eisenstein prime|prime]] element of ''E'' of [[field norm|norm]] ''P'' and <math>\alpha</math> is an element coprime to <math>\pi</math>, we define the cubic residue symbol <math>\left(\frac{\alpha}{\pi}\right)_3</math> to be the cube root of unity (power of <math>\omega</math>) satisfying | ||
:<math>\alpha^{(P-1)/3} \equiv \left(\frac{\alpha}{\pi}\right)_3</math> | :<math>\alpha^{(P-1)/3} \equiv \left(\frac{\alpha}{\pi}\right)_3 \mod \pi</math> | ||
We further define a ''primary'' prime to be one which is congruent to -1 modulo 3. Then for distinct primary primes <math>\pi</math> and <math>\theta</math> the law of cubic reciprocity is simply | We further define a ''primary'' prime to be one which is congruent to -1 modulo 3. Then for distinct primary primes <math>\pi</math> and <math>\theta</math> the law of cubic reciprocity is simply | ||
Line 37: | Line 37: | ||
==External links== | ==External links== | ||
* [http://mathworld.wolfram.com/CubicReciprocityTheorem.html Cubic Reciprocity Theorem] from [[MathWorld]] | * [http://mathworld.wolfram.com/CubicReciprocityTheorem.html Cubic Reciprocity Theorem] from [[MathWorld]] | ||
Revision as of 10:40, 26 October 2008
In mathematics, cubic reciprocity refers to various results connecting the solvability of two related cubic equations in modular arithmetic.
Algebraic setting
The law of cubic reciprocity is most naturally expressed in terms of the Eisenstein integers, that is, the ring E of complex numbers of the form
where and a and b are integers and
is a complex cube root of unity.
If is a prime element of E of norm P and is an element coprime to , we define the cubic residue symbol to be the cube root of unity (power of ) satisfying
We further define a primary prime to be one which is congruent to -1 modulo 3. Then for distinct primary primes and the law of cubic reciprocity is simply
with the supplementary laws for the units and for the prime of norm 3 that if then
References
- David A. Cox, Primes of the form , Wiley, 1989, ISBN 0-471-50654-0.
- K. Ireland and M. Rosen, A classical introduction to modern number theory, 2nd ed, Graduate Texts in Mathematics 84, Springer-Verlag, 1990.
- Franz Lemmermeyer, Reciprocity laws: From Euler to Eisenstein, Springer Verlag, 2000, ISBN 3-540-66957-4.