Ctrl
K
Select a result to preview
Let M be an A-module. Then M is Noetherian iff 1;;every submodule of M is finitely generated.
Use the first proposition.