Concept

Eisenstein reciprocity

Résumé
In algebraic number theory Eisenstein's reciprocity law is a reciprocity law that extends the law of quadratic reciprocity and the cubic reciprocity law to residues of higher powers. It is one of the earliest and simplest of the higher reciprocity laws, and is a consequence of several later and stronger reciprocity laws such as the Artin reciprocity law. It was introduced by , though Jacobi had previously announced (without proof) a similar result for the special cases of 5th, 8th and 12th powers in 1839. Let be an integer, and let be the ring of integers of the m-th cyclotomic field where is a primitive m-th root of unity. The numbers are units in (There are other units as well.) A number is called primary if it is not a unit, is relatively prime to , and is congruent to a rational (i.e. in ) integer The following lemma shows that primary numbers in are analogous to positive integers in Suppose that and that both and are relatively prime to Then There is an integer making primary. This integer is unique if and are primary then is primary, provided that is coprime with . if and are primary then is primary. is primary. The significance of which appears in the definition is most easily seen when is a prime. In that case Furthermore, the prime ideal of is totally ramified in and the ideal is prime of degree 1. Power residue symbol For the m-th power residue symbol for is either zero or an m-th root of unity: It is the m-th power version of the classical (quadratic, m = 2) Jacobi symbol (assuming and are relatively prime): If and then If then is not an m-th power If then may or may not be an m-th power Let be an odd prime and an integer relatively prime to Then Let be primary (and therefore relatively prime to ), and assume that is also relatively prime to . Then The theorem is a consequence of the Stickelberger relation. gives a historical discussion of some early reciprocity laws, including a proof of Eisenstein's law using Gauss and Jacobi sums that is based on Eisenstein's original proof.
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.