The quasi-Zariski topology on the graded quasi-primary spectrum of a graded module over a graded commutative ring (Q6126208)
From MaRDI portal
scientific article; zbMATH DE number 7829225
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The quasi-Zariski topology on the graded quasi-primary spectrum of a graded module over a graded commutative ring |
scientific article; zbMATH DE number 7829225 |
Statements
The quasi-Zariski topology on the graded quasi-primary spectrum of a graded module over a graded commutative ring (English)
0 references
9 April 2024
0 references
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.
0 references
graded quasi-Zariski topology
0 references
graded quasi-primary spectrum
0 references
graded quasi-primary submodule
0 references
0 references
