Ideal number

Ideal number

In mathematics an ideal number is an algebraic integer which represents an ideal in the ring of integers of a number field; the idea was developed by Ernst Kummer, and led to Richard Dedekind's definition of ideals for rings. An ideal in the ring of integers of an algebraic number field is principal if it consists of multiples of a single element of the ring, and nonprincipal otherwise. By the principalization theorem any nonprincipal ideal becomes principal when extended to an ideal of the Hilbert class field. This means there is an element of the ring of integers of the class field, which is an ideal number, such that all multiples times elements of this ring of integers lying in the ring of integers of the original field define the nonprincipal ideal.

Example

For instance, let "y" be a root of "y"2 + "y" + 6 = 0, then the ring of integers of the field Bbb{Q}(y) is Bbb{Z} [y] , which means all "a" + "by" with "a" and "b" integers form the ring of integers. An example of a nonprincipal ideal in this ring is 2"a" + "yb" with "a" and "b" integers; the cube of this ideal is principal, and in fact the class group is cyclic of order three. The corresponding class field is obtained by adjoining an element "w" satisfying "w"3 − "w" − 1 = 0 to Bbb{Q}(y), giving Bbb{Q}(y,w). An ideal number for the nonprincipal ideal 2"a" + "yb" is iota = (-8-16y-18w+12w^2+10yw+yw^2)/23. Since this satisfies the equationiota^6-2iota^5+13iota^4-15iota^3+16iota^2+28iota+8 = 0 it is an algebraic integer.

All elements of the ring of integers of the class field which when multiplied by ι give a result in Bbb{Z} [y] are of the form "a"α + "b"β, where

:alpha = (-7+9y-33w-24w^2+3yw-2yw^2)/23

and

:eta = (-27-8y-9w+6w^2-18yw-11yw^2)/23.

The coefficients α and β are also algebraic integers, satisfying

:alpha^6+7alpha^5+8alpha^4-15alpha^3+26alpha^2-8alpha+8=0,

and

:eta^6+4eta^5+35eta^4+112eta^3+162eta^2+108eta+27=0,

respectively. Multiplying "a"α + "b"β by the ideal number ι gives 2"a" + "by", which is the nonprincipal ideal.

History

Kummer first published the failure of unique factorization in cyclotomic fields in 1844 in an obscure journal; it was reprinted in 1847 in Liouville's journal. In subsequent papers in 1846 and 1847 he published his main theorem, the unique factorization into (actual and ideal) primes.

It is widely believed that Kummer was led to his "ideal complex numbers" by his interest in Fermat's Last Theorem; there is even a story often told that Kummer, like Lamé, believed he had proven Fermat's Last Theorem until Dirichlet told him his argument relied on unique factorization; but the story was first told by Kurt Hensel in 1910 and the evidence indicates it likely derives from a confusion by one of Hensel's sources. Harold Edwards says the belief that Kummer was mainly interested in Fermat's Last Theorem "is surely mistaken" (op cit p. 79). Kummer's use of the letter λ to represent a prime number, α to denote a λth root of unity, and his study of the factorization of prime number pequiv 1 pmod{lambda} into "complex numbers composed of lambdath roots of unity" all derive directly from a paper of Jacobi which is concerned with "higher reciprocity laws." Kummer's 1844 memoir was in honor of the jubilee celebration of the University of Königsberg and was meant as a tribute to Jacobi. Although Kummer had studied Fermat's Last Theorem in the 1830s and was probably aware that his theory would have implications for its study, it is more likely that the subject of Jacobi's (and Gauss's) interest, higher reciprocity laws, held more importance for him. Kummer referred to his own partial proof of Fermat's Last Theorem for regular primes as "a curiosity of number theory rather than a major item" and to the higher reciprocity law (which he stated as a conjecture) as "the principal subject and the pinnacle of contemporary number theory." On the other hand, this latter pronouncement was made when Kummer was still excited about the success of his work on reciprocity and when his work on Fermat's Last Theorem was running out of steam, so it may perhaps be taken with a grain of salt.

The extension of Kummer's ideas to the general case was accomplished independently by Kronecker and Dedekind during the next forty years. A direct generalization encountered formidable difficulties, and it eventually led Dedekind to the creation of the theory of modules and ideals. Kronecker dealt with the difficulties by developing a theory of forms (a generalization of quadratic forms) and a theory of divisors. Dedekind's contribution would become the basis of ring theory and abstract algebra, while Kronecker's would become major tools in algebraic geometry.

References

*Nicolas Bourbaki, "Elements of the History of Mathematics." Springer-Verlag, NY, 1999.
*Harold M. Edwards, "Fermat's Last Theorem. A genetic introduction to number theory." Graduate Texts in Mathematics vol. 50, Springer-Verlag, NY, 1977.
*C.G. Jacobi, "Über die complexen Primzahlen, welche in der theori der Reste der 5ten, 8ten, und 12ten Potenzen zu betrachten sind," Monatsber. der. Akad. Wiss. Berlin (1839) 89-91.
*E.E. Kummer, "De numeris complexis, qui radicibus unitatis et numeris integris realibus constant," Gratulationschrift der Univ. Breslau zur Jubelfeier der Univ. Königsberg, 1844; reprinted in "Jour. de Math." 12 (1847) 185-212.
*E.E. Kummer, "Über die Zerlegung der aus Wurzeln der Einheit gebildeten complexen Zahlen in ihre Primfactoren," Jour. für Math. (Crelle) 35 (1847) 327-367.
*John Stillwell, introduction to "Theory of Algebraic Integers" by Richard Dedekind. Cambridge Mathematical Library, Cambridge University Press, Great Britain, 1996.

External links

* [http://fermatslasttheorem.blogspot.com/2006/07/cyclotomic-integers-ideal-numbers_25.html Ideal Numbers] , Proof that the theory of ideal numbers saves unique factorization for cyclotomic integers at [http://fermatslasttheorem.blogspot.com Fermat's Last Theorem Blog] .


Wikimedia Foundation. 2010.

Игры ⚽ Нужно решить контрольную?

Look at other dictionaries:

  • IDEAL — is an Internet payment method in The Netherlands, based on online banking. Introduced in 2005, this payment method allows customers to buy securely on the Internet using direct online transfers from their bank account. iDEAL processed in 2007 15… …   Wikipedia

  • Number 1 (Goldfrapp song) — Number 1 Single by Goldfrapp from the album Supernature B side …   Wikipedia

  • Ideal class group — In mathematics, the extent to which unique factorization fails in the ring of integers of an algebraic number field (or more generally any Dedekind domain) can be described by a certain group known as an ideal class group (or class group). If… …   Wikipedia

  • Ideal (ring theory) — In ring theory, a branch of abstract algebra, an ideal is a special subset of a ring. The ideal concept allows the generalization in an appropriate way of some important properties of integers like even number or multiple of 3 . For instance, in… …   Wikipedia

  • Ideal chain — An ideal chain (or freely jointed chain) is the simplest model to describe a polymer. It only assumes a polymer as a random walk and neglects any kind of interactions among monomers. Although it is simple, its generality gives us some insights… …   Wikipedia

  • Ideal norm — In commutative algebra, the norm of an ideal is a generalization of a norm of an element in the field extension. It is particularly important in number theory since it measures the size of an ideal of a complicated number ring in terms of an… …   Wikipedia

  • Ideal gas — Thermodynamics …   Wikipedia

  • Ideal gas law — The ideal gas law is the equation of state of a hypothetical ideal gas, first stated by Benoît Paul Émile Clapeyron in 1834. : The state of an amount of gas is determined by its pressure, volume, and temperature according to the equation: : PV =… …   Wikipedia

  • Ideal (set theory) — In the mathematical field of set theory, an ideal is a collection of sets that are considered to be small or negligible . Every subset of an element of the ideal must also be in the ideal (this codifies the idea that an ideal is a notion of… …   Wikipedia

  • Number theory — A Lehmer sieve an analog computer once used for finding primes and solving simple diophantine equations. Number theory is a branch of pure mathematics devoted primarily to the study of the integers. Number theorists study prime numbers (the… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”