Noetherian ring

Noetherian rings are important structures that arise in algebraic-geometric settings.

Definition

A ring is left (right) Noetherian if every left (right) ideal is finitely generated. It is called Noetherian if it is both left and right Noetherian. Note this is true of any left or right Noetherian ring in the commutative case.

Equivalent definition

Let be a ring. is (left, right) Noetherian if and only if every chain of (left, right) ideals stabilizes. That is, if

is a chain of ideals then for some .

Proof

This proof is only for the commutative case, but the same idea applies.

Consider a chain of ideals

Then is an ideal (it’s kind of like the limit of the chain of ideals) where for some . So there are only generators to work with so, as soon as then since they all have the same generators.

Going the other way, assume that satisfies the ascending chain condition. Let be an ideal. Then we have the chain

which stabilizes by assumption, thus after some point adding generators doesn’t do anything so is finitely generated.

Interesting related theorem/ ideas

• Hilbert Basis Theorem