AAR9
From Exampleproblems
Show that an integral domain
with a descending chain condition (if
is a descending chain of ideals, then there exists
such that
) is a field.
Let
. Then there is a descending chain
.
Then
for some
.
This implies
for some nonunit
.
because
and
is an integral domain.
Therefore
is a unit.
