×

模和谱空间的第二谱。 (英语) Zbl 1408.13021号

本文中的所有环(R)都是具有单位元的可交换环,所有模都是酉右(R)-模。回想一下,如果\(M\neq 0\)和\(\mathrm),则称模块\(M\)为第二个模块{ann}(安)_{R} (M)=\mathrm{安}_{R} (M/N)\)的每个适当子模块\(N\)。如果模(M)的第二个子模(N)是第二个模(然后将有一个零化子,该零化子是(R)的素理想(P),则称为第二个子模块(M)。模的所有第二模的集合称为模的第二谱,用(mathrm{Spec}^{s}(M)表示。假设\(\mathrm{Spec}^{s}(M)\neq\phi\)。映射\(\psi^{s}:\mathrm{Spec}^{s{(M)\rightarrow\mathrm2{Spec}(R/\mathrm{安}_{R} (M)\)由\(\psi_{s}(s)=\mathrm定义{ann}(安)_{R} (S)被称为(mathrm{Spec}^{S}(M))的自然映射。如果这个自然映射对于\(R\)-模\(M\)是内射的,那么\(M\)被称为\(X^{s}\)-内射的\研究了(X^{s})-内射模,发现了(X*s}”-内射模块的第二个子模的特征,并研究了最大第二子模存在的条件\刻画了一维域上的(X^{s})-内射式。
一维域上的每个弱余乘模都被证明是cotop模。这些结果被用来研究对偶Zarisk拓扑。证明了如果(R)是Dedekind域,并且(M)是(X^{s})-内射(R)-模,那么((mathrm{Spec}^{s{(M),tau^{sneneneep)是谱空间当且仅当(mathrm{Spec}^{sneneneei(M))是有限集或(operatorname{div}(M_{R})是neq0)。对于特定的环,例如一维积分域,在((mathrm{Spec}^{s}(M),\tau^{s{))上找到了更多的结果。
如果\(\psi^{s}\)是surpjective,则模块称为secondful。对于第二个模\(M\),\((\mathrm{Spec}^{s}(M),\tau^{s{))的组合维数和\(R/\mathrm)的Krull维数{安}_{R} (M)被证明是相等的,并且找到了组合维数为零的几个等价项。在本例中,找到了\(((\mathrm{Spec}^{s}(M),\tau^{s{)\)的所有不可约组件。
最后一节讨论了在两种不同拓扑的情况下,(mathrm{Spec}^{s}(M))是谱空间的条件。

MSC公司:

13立方厘米 交换环中其他特殊类型的模和理想
13二氧化碳 交换环中模和理想的结构、分类定理
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Abuhlail,J.Y.:模块的双重Zarisk拓扑。白杨。申请。158457-467(2011年)·Zbl 1226.16006号 ·doi:10.1016/j.topl.2010.11.021
[2] Abuhlail,J.Y.:互质和第二子模的Zarisk拓扑。代数学术讨论会(2015)。doi:10.1142/S1005386715000061·Zbl 1312.16002号 ·doi:10.1142/S1005386715000061
[3] Ansari-Toroghy,H.,Ovlyaee-Sarmazdeh,R.:关于X-内射模的素谱。Commun公司。《代数》38(7),2606-2621(2010)·Zbl 1197.13012号 ·doi:10.1080/00927870903036339
[4] Ansari-Toroghy,H.,Farshadifar,F.:关于素子模的对偶概念。代数学术讨论会19(1),1109-1116(2012)·Zbl 1294.13012号 ·doi:10.1142/S10053867120008880
[5] Ansari-Toroghy,H.,Farshadifar,F.:关于素子模的对偶概念II。梅迪特尔。数学杂志。9(2),327-336(2012)·Zbl 1253.13013号 ·doi:10.1007/s00009-011-0129-5
[6] Ansari-Toroghy,H.,Farshadifar,F.:模的第二谱上的Zarisk拓扑。代数座谈会(2014)。doi:10.1142/S1005386714000625·兹伯利1309.13011 ·doi:10.1142/S1005386714000625
[7] Ansari-Toroghy,H.,Farshadifar,F.:关于子模素根的对偶概念。《亚洲-欧洲数学杂志》6(2),1350024(2013)。doi:10.1142/S1793557113500241·Zbl 1278.13012号 ·doi:10.1142/S1793557113500241
[8] Ansari-Toroghy,H.,Keyvani,S.,Farshadifar,F.:关于模的第二谱(II)。牛市。马来人。数学。科学。Soc.39(3),1089-1103(2016)·Zbl 1348.13019号 ·doi:10.1007/s40840-015-0225-y
[9] Ansari-Toroghy,H.、Pourmothazavi,S.S.、Keyvani,S.:强cotop模块。J.代数关系。顶部。3(1), 13-29 (2015) ·Zbl 1333.13017号
[10] Behboodi,M.,Haddadi,M.R.:模和谱空间的经典Zarisk拓扑I.国际电子。《代数杂志》4,104-130(2008)·Zbl 1195.16002号
[11] Behboodi,M.,Haddadi,M.R.:模和谱空间的经典Zarisk拓扑II。国际电子。《代数杂志》4,131-148(2008)·Zbl 1195.16003号
[12] 北卡罗来纳州布尔巴吉:阿尔盖布雷交换区。1, 2. 赫尔曼,巴黎(1961)
[13] 切肯,S.,阿尔坎,M.:模块的双重Zarisk拓扑。在:丛书:AIP会议记录,第1389卷,第(1)号(第357-360页)(2011年)
[14] 切肯,S.,阿尔坎,M.,史密斯,P.F.:非交换环上的第二模。Commun公司。《代数》41(1),83-98(2013)·兹比尔1270.16001 ·doi:10.1080/00927872.2011.623026
[15] 切肯,S.,阿尔坎,M.,史密斯,P.F.:模的素根的对偶概念。代数杂志392265-275(2013)·Zbl 1301.16001号 ·doi:10.1016/j.代数.2013.06.015
[16] 切肯,S.,阿尔坎,M.:关于分次二次模和共一次模以及分次二级表示。牛市。马来人。数学。科学。Soc.38(4),1317-1330(2015)·Zbl 1338.16046号 ·doi:10.1007/s40840-014-0097-6
[17] 切肯,S.,阿尔坎,M.:关于第二个子模。康斯坦普。数学。634, 67-77 (2015) ·Zbl 1326.16001号 ·doi:10.1090/conm/634/12691
[18] 切肯,S.,阿尔坎,M.:关于模的第二谱和第二个经典扎尔风险拓扑。J.代数应用。14(10), 1550150 (2015). doi:10.1142/S0219498815501509·Zbl 1333.16040号 ·doi:10.1142/S0219498815501509
[19] Farshadifar,F.:Noetherian第二谱模。J.代数关系。顶部。1(1),19-30(2013)·Zbl 1301.13013号
[20] Gilmer,R.,Heinzer,W.:拉氏性质,幂级数环和诺特谱。程序。美国数学。Soc.79,13-16(1980)·Zbl 0447.13009号 ·doi:10.1090/S0002-9939-1980-0560575-6
[21] Hochster,M.:交换环中的素理想结构。事务处理。美国数学。Soc.142、43-60(1969年)·Zbl 0184.29401号 ·doi:10.1090/S0002-9947-1969-0251026-X
[22] Lu,C.P.:模素谱上的Zarisk拓扑。霍斯特。数学杂志。25(3), 417-432 (1999) ·Zbl 0979.13005号
[23] Lu,C.P.:Noetherian谱的模。Commun公司。《代数》38,807-828(2010)·Zbl 1189.13012号 ·doi:10.1080/00927870802578050
[24] Matsumura,H.:交换环理论。剑桥大学出版社,剑桥(1986)·Zbl 0603.13001号
[25] McCasland,R.L.,Moore,M.E.,Smith,P.F.:关于交换环上模的谱。代数25,79-103(1997)·Zbl 0876.13002号 ·doi:10.1080/00927879708825840
[26] Ohm,J.,Pendleton,R.L.:诺以太谱环。杜克大学数学。J.35,631-639(1968年)·兹标0172.32201 ·doi:10.1215/S0012-7094-68-03565-5
[27] Sharpe,D.W.,Vamos,P.:注入模。剑桥大学出版社,伦敦(1972)·兹比尔0245.13001
[28] Yassemi,S.:素子模的对偶概念。架构(architecture)。数学。(布尔诺)37,273-278(2001)·邮编1090.13005
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。