Noetherian Module

A Module $M$ is Noetherian if every submodule is finitely generated.

See also Noetherian Ring