Let \(R\) be a ring. An \(R\)-module \(M\) is Noetherian if there is no infinite strictly increasing sequence \(M_1 \subsetneq M_2 \subsetneq \cdots\) of submodules of \(M\).
What does it mean for a module to be Noetherian?
Noetherian module
FD-GNRTS