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?

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 non-zero submodules is bounded (from below) by a non-zero 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?

  • I don't understand a lot of the aforementioned algebraic concepts but in the past I played with some weird abelian groups and Zorn's lemma... and I'd say that it's not necessary to prove that $N=\bigcup_n N_n$ is in $\mathcal F$, it suffices to prove that there is another $N'\in\mathcal F$ such that $N\subseteq N'$ (Zorn's lemma only requires the existence of an upper bound for any chain, it doesn't ask for that upper bound to be exactly the union...) – David FernandezBreton Mar 23 '11 at 21:31

Your Answer

By clicking "Post Your Answer", you acknowledge that you have read our updated terms of service, privacy policy and cookie policy, and that your continued use of the website is subject to these policies.

Not the answer you're looking for? Browse other questions tagged or ask your own question.