Noetherian module (source code)

= Noetherian module
{c}
{wiki}

An $R$-module is Noetherian when every <submodule> is finitely generated, equivalently when every ascending chain of submodules stabilizes. Quotients and finite direct sums of Noetherian modules are Noetherian.