Artinian implies IZ

From Commalg
Revision as of 16:18, 12 May 2008 by Vipul (talk | contribs) (1 revision)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Statement

Verbal statement

Any Artinian ring is IZ: every element is either invertible, or a zero divisor.

Proof

Given: An Artinian ring , and an element

To prove: is invertible or a zero divisor

Proof: Consider the descending chain of ideals:

By the Artinianness, this chain stabilizes at some point, so we have:

for some . Rewriting, we see that:

If , then is invertible. Otherwise, is a zero divisor, and hence is a zero divisor.