A note on the countable union of prime submodules (Q1348702)

Summary: Let \(M\) be a finitely-generated module over a noetherian ring \(R\). Suppose \(\mathfrak a\) is an ideal of \(R\) and let \(N=\mathfrak a M\) and \(\mathfrak b=\text{Ann}(M/N)\). If \(\mathfrak b\subseteq J(R)\), \(M\) is complete with respect to the \(\mathfrak b\)-adic topology, \(\{P_i\}_{i\geq 1}\) is a countable family of prime submodules of \(M\), and \(x\in M\), then \(x+N\subseteq\bigcup_{i\geq 1}P_i\) implies that \(x+N\subseteq P_j\) for some \(j\geq 1\). This extends a theorem of \textit{R. Y. Sharp} and \textit{P. Vámos} [Arch. Math. 44, 243--248 (1985; Zbl 0546.13002)] concerning prime ideals to prime submodules.