Zariski topology on the secondary-like spectrum of a module (Q6595255)

Suppose that \(\mathfrak{J}\) is an \(\mathfrak{R}\)-module. Then a submodule \(S\) of \(\mathfrak{J}\) is said to be \textit{second} if \(S\neq \{0\}\), and for each \(r\in \mathfrak{R}\), we have \(rS = S\) or \(rS = \{0\}\). The \textit{second spectrum} of \(\mathfrak{J}\), denoted by \(\mathrm{Spec}^s(\mathfrak{J})\), is the set of all second submodules of \(\mathfrak{J}\). The \textit{socle} of a submodule \(N\) of \(\mathfrak{J}\), denoted by \(\mathrm{sec}(N)\), is the sum of all second submodules of \(\mathfrak{J}\). Also, a submodule \(K\) of \(\mathfrak{J}\) is called \textit{secondary} if \(K\neq \{0\}\), and for each \(r\in \mathfrak{R}\), we have \(rK = K\) or there exists a positive integer \(n\) such that \(r^nK = \{0\}\). Furthermore, we say that \(\mathfrak{J}\) is a \textit{cotop module} if \(\zeta^{s*}(\mathfrak{J})\) is closed under finite unions, where \(\zeta^{s*}(\mathfrak{J})=\{V^{s*}(N) | N \leq \mathfrak{J}\}\) and \(V^{s*}(N)=\{S\in \mathrm{Spec}^s(\mathfrak{J}) | N \supseteq S\}\) for any \(N \leq \mathfrak{J}\). In addition, we call the set of all secondary submodules \(K\) of an \(\mathfrak{R}\)-module \(\mathfrak{J}\) satisfying the condition \(\mathrm{Ann}_{\mathfrak{R}}(\mathrm{sec}(K)) =\sqrt{\mathrm{Ann}_{\mathfrak{R}}(K)}\) the \textit{secondary-like spectrum} of \(\mathfrak{J}\), and it is denoted by \(\mathrm{Spec}^L(\mathfrak{J})\).\N\NThe main aim of this paper is to study the concept of secondary cotop modules as an extension of cotop modules. In fact, we say that \(\mathfrak{J}\) is a \textit{secondary cotop module} if \(\Theta^{s*}(\mathfrak{J})\) is closed under finite unions, where \(\Theta^{s*}(\mathfrak{J})=\{\nu^{s*}(N)| N\leq \mathfrak{J}\}\) and \(\nu^{s*}(N)=\{K\in \mathrm{Spec}^L(\mathfrak{J})|\mathrm{sec}(K) \subseteq N\}\). Along this definition, the authors give a topology on \(\mathrm{Spec}^L(\mathfrak{J})\) having the Zariski topology on the second spectrum \(\mathrm{Spec}^s(\mathfrak{J})\) as a subspace topology and present plenty of topological structures of this topology, which can be found in Theorems 2.3, 2.12, 3.4, and 4.5, and Corollaries 2.5, 2.15, and 4.8.