Dedekind ring
An associative-commutative ring with a unit having no divisors of zero (i.e. a commutative integral domain) in which each proper ideal can be represented as a product of prime ideals (an ideal
of
is said to be prime if the quotient ring
does not contain divisors of zero). This name was given to such rings in honour of R. Dedekind, who was one of the first to study such rings in the 1870s.
Any principal ideal domain is a Dedekind ring. If is a Dedekind ring and
is a finite algebraic extension of its quotient field, the integral closure of
in
(i.e. the totality of elements of
which are roots of equations of the type
,
) will again be a Dedekind ring. In particular, one has that the rings of algebraic integers and maximal orders in algebraic number fields are Dedekind, i.e. the integral closures of rings of integers in finite algebraic extensions of the field of rational numbers.
In a Dedekind ring each proper ideal can be uniquely represented as a product of prime ideals. This theorem arose in the problem of decomposition of elements into prime factors in maximal orders in algebraic number fields. Such a decomposition is, as a rule, not unique.
A ring is a Dedekind ring if and only if the semi-group of fractional ideals (cf. Fractional ideal) of this ring is a group. Each fractional ideal of a Dedekind ring
can be uniquely represented as the product of (positive or negative) powers of prime ideals of
. A Dedekind ring can be characterized as follows: A commutative integral domain
is a Dedekind ring if and only if
is a Noetherian ring, if each proper prime ideal of the ring
is maximal and if
is integrally closed, i.e. coincides with its integral closure in its field of fractions. In other words, a Dedekind ring is a Noetherian normal ring of Krull dimension one. The so-called Chinese remainder theorem is valid for a Dedekind ring
: For a given finite selection of ideals
and elements
of
,
, the system of congruences
(
) has a solution
if and only if
(
) for
. A Dedekind ring
may also be characterized as a Krull ring of dimension one. Each Dedekind ring is a regular commutative ring and all its localizations by maximal ideals form a discretely-normed ring. The semi-group of non-zero ideals of a Dedekind ring
is isomorphic to the semi-group
of divisors (cf. Divisor) of this ring.
References
[1] | O. Zariski, P. Samuel, "Commutative algebra" , 1 , Springer (1975) |
[2] | A.G. Kurosh, "Lectures on general algebra" , Chelsea (1963) (Translated from Russian) |
[3] | Z.I. Borevich, I.R. Shafarevich, "Number theory" , Acad. Press (1966) (Translated from Russian) (German translation: Birkhäuser, 1966) |
[4] | N. Bourbaki, "Elements of mathematics. Commutative algebra" , Addison-Wesley (1972) (Translated from French) |
Comments
For Krull dimension see (the editorial comments to) Dimension. For normal ring see Normal ring.
Dedekind ring. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Dedekind_ring&oldid=46598