<p>Let <i>R</i> be a commutative ring with identity and let <i>S</i> be a multiplicatively closed subset of <i>R</i>. A submodule <i>P</i> of an <i>R</i>-module <i>M</i> with <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40304_2025_455_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="133" /> </InlineMediaObject> <EquationSource Format="TEX">\((P:_{R}M)\cap S=\emptyset \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi>P</mi> <msub> <mo>:</mo> <mi>R</mi> </msub> <mi>M</mi> <mo stretchy="false">)</mo> <mo>∩</mo> <mi>S</mi> <mo>=</mo> <mi mathvariant="normal">∅</mi> </mrow> </math></EquationSource> </InlineEquation> is said to be an <i>S</i>-prime submodule of <i>M</i> if there exists a fixed <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40304_2025_455_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="44" /> </InlineMediaObject> <EquationSource Format="TEX">\(s\in S\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>s</mi> <mo>∈</mo> <mi>S</mi> </mrow> </math></EquationSource> </InlineEquation> and whenever <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40304_2025_455_Article_IEq3.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="60" /> </InlineMediaObject> <EquationSource Format="TEX">\(am\in P\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>a</mi> <mi>m</mi> <mo>∈</mo> <mi>P</mi> </mrow> </math></EquationSource> </InlineEquation>, then <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40304_2025_455_Article_IEq4.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="106" /> </InlineMediaObject> <EquationSource Format="TEX">\(sa\in (P:_{R}M)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>s</mi> <mi>a</mi> <mo>∈</mo> <mo stretchy="false">(</mo> <mi>P</mi> <msub> <mo>:</mo> <mi>R</mi> </msub> <mi>M</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> or <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40304_2025_455_Article_IEq5.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="59" /> </InlineMediaObject> <EquationSource Format="TEX">\(sm\in P\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>s</mi> <mi>m</mi> <mo>∈</mo> <mi>P</mi> </mrow> </math></EquationSource> </InlineEquation> for each <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40304_2025_455_Article_IEq6.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="47" /> </InlineMediaObject> <EquationSource Format="TEX">\(a\in R\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>a</mi> <mo>∈</mo> <mi>R</mi> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40304_2025_455_Article_IEq7.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="57" /> </InlineMediaObject> <EquationSource Format="TEX">\(m\in M\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>m</mi> <mo>∈</mo> <mi>M</mi> </mrow> </math></EquationSource> </InlineEquation>. The set of all <i>S</i>-prime submodules of <i>M</i> is denoted by <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40304_2025_455_Article_IEq8.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="75" /> </InlineMediaObject> <EquationSource Format="TEX">\(Spec_{S}(M)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>S</mi> <mi>p</mi> <mi>e</mi> <msub> <mi>c</mi> <mi>S</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>M</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>. In this paper, we construct and investigate a topology on <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40304_2025_455_Article_IEq8.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="75" /> </InlineMediaObject> <EquationSource Format="TEX">\(Spec_{S}(M)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>S</mi> <mi>p</mi> <mi>e</mi> <msub> <mi>c</mi> <mi>S</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>M</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> which we will call classical <i>S</i>-Zariski topology for an <i>R</i>-module <i>M</i>. We use specific algebraic properties of <i>M</i> to obtain some topological properties such as separation axioms, compactness, connectedness, and irreducibility. We also investigate classical <i>S</i>-Zariski topology from the point of view spectral spaces by using Hochster’s characterization.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Classical S-Zariski Topology of a Module

  • Yücel Yılmaz,
  • Seçil Çeken

摘要

Let R be a commutative ring with identity and let S be a multiplicatively closed subset of R. A submodule P of an R-module M with \((P:_{R}M)\cap S=\emptyset \) ( P : R M ) S = is said to be an S-prime submodule of M if there exists a fixed \(s\in S\) s S and whenever \(am\in P\) a m P , then \(sa\in (P:_{R}M)\) s a ( P : R M ) or \(sm\in P\) s m P for each \(a\in R\) a R , \(m\in M\) m M . The set of all S-prime submodules of M is denoted by \(Spec_{S}(M)\) S p e c S ( M ) . In this paper, we construct and investigate a topology on \(Spec_{S}(M)\) S p e c S ( M ) which we will call classical S-Zariski topology for an R-module M. We use specific algebraic properties of M to obtain some topological properties such as separation axioms, compactness, connectedness, and irreducibility. We also investigate classical S-Zariski topology from the point of view spectral spaces by using Hochster’s characterization.