Property: semi-Noetherian

Definition: Every nonzero submodule of $M$ has a maximal submodule. Also known as: max modules, Hamsher modules

C. Faith. Rings whose modules have maximal submodules. (1995) @ (all)
J. Clark, C. Lomp, N. Vanaja, and R. Wisbauer. Lifting modules: supplements and projectivity in module theory. (2008) @ Section 2.19 p 17

This property has the following metaproperties

This property does not have the following metaproperties

passes to quotients (Counterexample: $M_{ 3 }$ is a homomorphic image of $M_{ 16 }$)

Modules

	Name
	$(x + (x,y)^2)$
	$(x)/(x^2)$
	$\bigoplus_{i=0}^\infty k$
	$\bigoplus_{i=1}^\infty F_2$
	$\bigoplus_{i\in\mathbb N} \mathbb Z$
	$\mathbb Q$
	$\mathbb Q\times \frac{\mathbb Z}{p\mathbb Z}$, where $p$ is prime
	$\mathbb R[x_1,x_2,x_3,\ldots]$
	$\mathbb Z$
	$\mathbb Z\times \frac{\mathbb Z}{p\mathbb Z}$, $p$ prime
	$k^n$
	$M_n(k)$
	$p$-adic integers: $\mathbb Z_p$
	$T_2(F_2)$
	$Z(p^\infty)$: the Prüfer $p$ group
	A 2-generated faithful torsion module
	Finitely cogenerated, not Artinian
	Indecomposable, not uniform module
	Interval monoid ring (right regular module)
	Uniserial, not endolocal module