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 Kummer while trying to solve Fermat's last theorem, and lead to Dedekind's definition of ideals for rings. An ideal in the ring of integers of an algebriac 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.

For instance, let y be a root of y^{2 + y + 6 = 0, then the ring of integers of the field is , 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 2a + by 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 w3 - w - 1 = 0 to , giving . An ideal number for the nonprincipal 2a + by is -y - 2w + 2w2 + y w2. All elements of the class field which when multiplied by this give a result in are of the form (4 + w - 3w2 + yw - yw2)a + (2y - 3w + 3w2 - yw2)b; multiplying this out gives 2a + by, showing how the ideal number gives the ideal.}

This article is licensed under the GNU Free Documentation License. It uses material from Wikipedia article. Browse Wikipedia for more information.