In
number theory
Number theory (or arithmetic or higher arithmetic in older usage) is a branch of pure mathematics devoted primarily to the study of the integers and integer-valued functions. German mathematician Carl Friedrich Gauss (1777–1855) said, "Mat ...
an ideal number is an
algebraic integer
In algebraic number theory, an algebraic integer is a complex number which is integral over the integers. That is, an algebraic integer is a complex root of some monic polynomial (a polynomial whose leading coefficient is 1) whose coefficients ...
which represents an
ideal
Ideal may refer to:
Philosophy
* Ideal (ethics), values that one actively pursues as goals
* Platonic ideal, a philosophical idea of trueness of form, associated with Plato
Mathematics
* Ideal (ring theory), special subsets of a ring considere ...
in the
ring
Ring may refer to:
* Ring (jewellery), a round band, usually made of metal, worn as ornamental jewelry
* To make a sound with a bell, and the sound made by a bell
:(hence) to initiate a telephone connection
Arts, entertainment and media Film and ...
of integers of a
number field
In mathematics, an algebraic number field (or simply number field) is an extension field K of the field of rational numbers such that the field extension K / \mathbb has finite degree (and hence is an algebraic field extension).
Thus K is a f ...
; the idea was developed by
Ernst Kummer
Ernst Eduard Kummer (29 January 1810 – 14 May 1893) was a German mathematician
A mathematician is someone who uses an extensive knowledge of mathematics in their work, typically to solve mathematical problems.
Mathematicians are concerned ...
, and led to
Richard Dedekind's definition of
ideal
Ideal may refer to:
Philosophy
* Ideal (ethics), values that one actively pursues as goals
* Platonic ideal, a philosophical idea of trueness of form, associated with Plato
Mathematics
* Ideal (ring theory), special subsets of a ring considere ...
s 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
principal ideal theorem
In mathematics, the principal ideal theorem of class field theory, a branch of algebraic number theory, says that extending ideals gives a mapping on the class group of an algebraic number field to the class group of its Hilbert class field, wh ...
any nonprincipal ideal becomes principal when extended to an ideal of the
Hilbert class field In algebraic number theory, the Hilbert class field ''E'' of a number field ''K'' is the Maximal abelian extension, maximal abelian unramified extension of ''K''. Its degree over ''K'' equals the class number of ''K'' and the Galois group of ''E'' ...
. This means that there is an element of the ring of integers of the Hilbert class field, which is an ideal number, such that the original nonprincipal ideal is equal to the collection of all multiples of this ideal number by elements of this
ring of integers that lie in the original field's ring of integers.
Example
For instance, let
be a root of
, then the ring of integers of the field
is