No label defined (Q4501423)

A proper submodule \(K\) of a right \(R\)-module \(M\) is called prime if for any \(r\in R\) and \(m\in M\) such that \(mRr\subseteq K\), either \(Mr\subseteq K\) or \(m\in K\). The set of all prime submodules is denoted by \(\text{Spec}(M)\). A module \(M\) is called top module if \(\text{Spec}(M)\) can be topologized with the hull-kernel topology. It is proved that for a top module \(M\) the topological space \(\text{Spec}(M)\) is \( T_0\) and each irreducible closed subset has a generic point (i.e. each irreducible closed subset is the closure of a subset consisting of one element). If \(M\) is a finitely generated top \(R\)-module then \(\text{Spec}(M)\) is compact. If \(R\) is a right Noetherian ring and \(M\) is a finitely generated top \(R\)-module then \(\text{Spec}(M)\) has a base of compact open subsets which is closed under finite intersections.