Suppose that $R$ is a commutative ring, an $R$module $M$ is said to be finitely embedded if $M$ has a finitely generated essential socle. Now Let $M$ be finitely embedded and not artinian, let $S$ be the set of all submodules $N$ of $M$ such that $M/N$ is not finitely embedded. Is it true that $S$ has a minimal element by Zorn's lemma?
Take the 2minute tour
×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.
Call $\mathcal F$ the family of all the submodules $N\subseteq M$ such that $M/N$ is not f.e. How could you prove that given a chain $N_1 \subseteq N_2\subseteq\dots\subseteq N_n\subseteq \dots$ of elements of $\mathcal F$ then $N=\bigcup_n N_n$ is in $\mathcal F$? It seems not to be true by I cannot actually see counter examples now... A characterization of f.e. modules can be obtained using Zorn's lemma, that is: Theorem. E is f.e. iff any inverse system of nonzero submodules is bounded (from below) by a nonzero submodule. (the above theorem is due to prof. Vamos and the proof is essentially a dualization of an analogous property for f.g. modules) So finally the answer is, could you prove that $\mathcal F$ is an inverse system? 

