The quasi-Zariski topology on the graded quasi-primary spectrum of a graded module over a graded commutative ring (Q6126208): Difference between revisions

We first need to recall some necessary definitions. Assume that \(‎G‎\)‎ is a group, \(‎R‎\) is a \(‎G‎\)‎-graded commutative ring, and \(‎M‎\) is‎ a graded \(‎R‎\)‎-module. Then a proper graded submodule \(‎Q‎\)‎ of \(‎M‎\)‎ is called a \textit{graded quasi-primary submodule} if whenever \(‎r \in h(R)‎\)‎ and \(‎m \in h(M)‎\) with \(‎rm \in Q‎\)‎, then either \(‎ r\in \mathrm{Gr}((Q :_R M))‎\)‎ or \(‎m\in \mathrm{Gr}_M(Q)‎\)‎. Moreover, the graded quasi-primary spectrum \(‎\mathrm{qp.Spec}_g(M)‎\)‎ is defined to be the set of all graded quasi-primary submodules of \(‎M‎\)‎. In particular, \textit{K. Al-Zoubi} and \textit{R. Alkhalaf} [Bol. Soc. Parana. Mat. (3) 39, No. 4, 57--64 (2021; Zbl 1474.13001)] introduced the concept of graded quasi-primary submodules of graded modules over graded commutative rings. The main aim of this work is to state and explore the properties of a topology on \(‎\mathrm{qp.Spec}_g(M)‎\)‎, which is called the \textit{quasi-Zariski topology}. In fact, we have \textbf{Definition 3.2.} Let \(M‎\)‎ be a graded \(‎R‎\)‎-module. If \(‎\mathrm{qp}‎\)‎-‎\(‎\eta(M)‎\)‎ denotes the collection of all subsets‎ \(‎\mathrm{qp}‎\)‎-‎\(‎V^g_M(K)‎\)‎ of \(‎\mathrm{qp.Spec}_g(M)‎\)‎, then \(‎\mathrm{qp}‎\)‎-‎\(‎\eta(M)‎\)‎ satisfies the axioms for the closed subsets of a topological space on \(‎\mathrm{qp.Spec}_g(M)‎\)‎. So, there exists a topology on \(‎\mathrm{qp.Spec}_g(M)‎\)‎ called quasi-Zariski topology, denoted by (‎\(‎\mathrm{qp.Spec}_g(M), q.\tau^g‎\)‎). Next, the authors, defined the map \(‎\varphi : \mathrm{qp.Spec}_g(M) \rightarrow \mathrm{Spec}_g(‎\overline{R})‎\)‎, where‎ \(‎‎\overline{R}=R/‎\mathrm{Ann}(M)‎\), given by \(‎\varphi(Q)=‎\overline{\mathrm{Gr}((Q:_RM))}=\overline{(\mathrm{Gr}_M(Q):_RM)}‎\)‎‎ for every \(‎Q \in \mathrm{qp.Spec}_g(M)‎\) and a graded \(‎R‎\)‎-module \(‎M‎\)‎. After that, the authors, in‎ Theorems 3.8 and 3.13, presented some conditions under which the map \(‎\varphi‎\)‎ is injective, surjective, open, and closed.‎ In particular, in Theorem 3.18, they found a base for (‎\(‎\mathrm{qp.Spec}_g(M), q.\tau^g)‎\)‎ whose elements are quasi-compact. The authors also studied in Theorems 4.6, 4.7, 4.9, 4.11, 4.13 and Corollary 4.10 that when the space considered in Theorem 4.2 is connected, is \(‎T_1‎\)‎-space, its irreducibility, and Noetheriannes. Finally, this paper has been finished with investigating the topological space from the point of view of spectral spaces in Theorem 4.15. ‎