Artinian implies IZ: Difference between revisions
(New page: ==Statement== ===Verbal statement=== Any Artinian ring is IZ: every element is either invertible, or a zero divisor. ==Proof== ''Given'': An Artinian ring <math>A</math...) |
m (1 revision) |
(No difference)
| |
Latest revision as of 16:18, 12 May 2008
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.