Cubic reciprocity: Difference between revisions

From Citizendium
Jump to navigation Jump to search
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]]
{{math-stub}}
[[Category:Algebraic number theory]]
[[Category:Modular arithmetic]]
[[Category:Number theory]]

Revision as of 11: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.

External links