KrullAkizuki theorem

From Wikipedia, the free encyclopedia

In algebra, the KrullAkizuki theorem states the following: let A be a one-dimensional reduced
noetherian ring,[1] K its total ring of fractions. If B is a subring of a finite
extensionL of K containing A and is not a field, then B is a one-dimensional noetherian ring.
Furthermore, for every nonzero ideal I of B,

is finite over A.[2]

Note that the theorem does not say that B is finite over A. The theorem does not extend to higher
dimension. One important consequence of the theorem is that the integral closure of a Dedekind
domain A in a finite extension of the field of fractions of A is again a Dedekind domain. This
consequence does generalize to a higher dimension: the MoriNagata theorem states that the
integral closure of a noetherian domain is a Krull domain.

Proof[edit]
Here, we give a proof when
them. Let
map

. Let

be the field of fractions of

. Then we have:

be minimal prime ideals of A; there are finitely many of

and

the kernel of the natural

.
Now, if the theorem holds when A is a domain, then this implies that B is a one-dimensional
noetherian domain since each

is and since

proof to the case A is a domain. Let

. Hence, we reduced the

be an ideal and let a be a nonzero element in

the nonzero ideal

. Set
noetherian ring; thus, artinian, there is an l such that

. Since
for all

is a zero-dim
. We claim

Since it suffices to establish the inclusion locally, we may assume A is a local ring with the
maximal ideal . Let x be a nonzero element in B. Then, since A is noetherian, there is
an n such that

and so

Now, assume n is a minimum integer such that

If
, then we easily see that
for
, contradiction. Hence, we have
follows:

. Thus,

and the last inclusion holds.

. But then the above inclusion holds
and this establishes the claim. It now

Hence,
has finite length as A-module. In particular, the image of I there is
finitely generated and so I is finitely generated. Finally, the above shows
that

has zero dimension and so B has dimension one.

References[edit]

1. Jump up^ In this article, a ring is commutative and has unity.

2. Jump up^ Bourbaki 1989, Ch VII, 2, no. 5, Proposition 5

http://books.google.com/books?id=APPtnn84FMIC&lpg=PA83&ots=2L9MiWbIY
Z&dq=krull%20akizuki&pg=PA85#v=onepage&q=krull%20akizuki&f=false
Nicolas Bourbaki, Commutative algebra