Left Noetherian ring (source code)

= Left Noetherian ring

A <ring> is left Noetherian when every ascending chain of left <ideals> stabilizes, equivalently when every left <ideal> is finitely generated.