The Zariski topology on the second spectrum of a module (II) (Q310719): Difference between revisions

Let \(R\) be a commutative ring with identity and \(M\) an \(R\)-module. A non-zero submodule \(S\) of \(M\) is called second, if for each \(r\in R\), either \(rS=0\) or \(rS=S\). Suppose that \(\mathrm{X}^s(M)\) is the set of all second submodules of \(M\) and \(\mathrm{W}^s(N)=\{S\in \mathrm{X}^s(M)| S\nsubseteq N\}\) for each submodule \(N\) of \(M\). Then the authors define the second classical Zariski topology of \(M\) as the topology on \(\mathrm{X}^s(M)\) generated by the sub-basis \(A=\{\mathrm{W}^s(N)|N\leq M\}\), which means that open sets of this topology are unions of finite intersections of elements in \(A\). The authors first study some general properties of this topology and \(\mathrm{X}^s(M)\) such as being Hausdorff or T\(_1\). Then they turn their attention to the question ``when the second classical Zariski topology of \(M\) is spectral?'', where by a spectral space we mean a topological space homeomorphic to the prime spectrum of a commutative ring equipped with the Zariski topology. In particular, they prove that if \(M\) satisfies DCC on socle submodules (by which, the authors mean submodules which are a sum of second submodules), then \(\mathrm{X}^s(M)\) with the second classical Zariski topology is a spectral space.