{"id":"arxiv/2610.15869","url":"https://arxiv.org/abs/2610.15869","tags":["math.AC","math.RA"],"score":0,"title":"Semiprime and real submodules of arbitrary modules are intersections of prime and real prime submodules","domain":"math.AC","source":"arxiv","authors":["Jakob Cimprič"],"reviews":0,"subject":"math.AC","summary":"Let $R$ be a commutative ring. A submodule $N$ of an $R$-module $M$ is semiprime if $m\\in(N:m)M$ implies $m\\in N$. It is known that every semiprime submodule of $R^n$ is an intersection of prime submodules, and Aryapoor extended this to finitely generated modules. We show that no finiteness assumption is needed: every semiprime submodule of an \\emph{arbitrary} $R$-module is the intersection of the prime submodules containing it. The proof is short and uses neither coordinates nor presentations; its key step is that a nonzero element $q$ of a semiprime module $Q$ satisfies $sq\\notin\\p Q$ for…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-11","reactions":{}}