The Zariski topology on the spectrum of prime \(L\)-submodules (Q931455): Difference between revisions

Let \(R\) be a commutative ring with identity and \(M\) a unitary \(R\)-module. Let \(L\text{-Spec}(M)\) denote the set of all prime \(L\)-submodules of \(M\), where \(L\) is a complete lattice. In this paper, the authors provide a topology for \(L\text{-Spec}(M)\) in a natural way. They study the relationship between \(L\text{-Spec}(M)\) and \(L\)-Spec\((R/\text{Ann}(M))\), where \(\text{Ann}(M)= \{r\in R\mid rM=\{0\}\}\). Let \(\mu\) be a prime \(L\)-prime submodule of \(M\). Then \((\mu:1_M)\) is a prime \(L\)-ideal of \(R\). The image of \(\mu:1_M\) under the natural homomorphism of \(R\) onto \(R/\text{Ann}(M)\) is denoted by \(\overline {(\mu:1_M)}\). Define the function \(\psi:L\text{-Spec}(M)\to L\text{-Spec}(R/ \text{Ann}(M))\) by \(\psi(\mu)= \overline{(\mu:1_M)}\) for all \(\mu\in L\text{-Spec}(M)\). The authors show that if \(\psi\) is surjective, then \(\psi\) is both closed and open. They also show that if \(\mu\) is surjective, then \(L\text{-Spec}(M)\) is connected if and only if \(L\text{-Spec}(R/\text{Ann}(M))\) is connected. They show also that if \(\psi\) is surjective, then \(L\text{-Spec}(M)\) is compact.