Definition: Let $M$ be an $R$-module. Then
- A submodule $N$ is called small (in $M$) if $N+K=M\implies K=M,\forall K\leq M$.
- A submodule $N$ is called a supplement of a submodule $K$ (in $M$) if $N$ is minimal with respect to the property $N+K=M$.
- A submodule $N$ is called a supplement submodule if it is a supplement of some submodule $K$.
My Question: Does every mon-small submodule contain a nonzero supplement submodule of the module.