×

等变共变代数的相关素理想、Steenrod运算和Krull的下降定理。 (英语) Zbl 1491.13012号

在这个注记中,作者证明了等变共变代数的关联素理想(mathbb{F}[V]\otimes{mathbb}F}[V]^G}\mathbb[F}[W]\)必须是最小素理想或最大理想,其中\(G)是有限群,\(mathbb{F})是有限域,\(V=mathbb<F}^n,\)是表示空间,用\(mathbb{F}[V]^G.\)表示的不变环
注中最重要的部分是,上面引用的主要结果是使用Steenrod运算证明的,此外,还获得了类似的有趣结果,即:;
下行定理适用于张量因子的等变共变代数。
如果(A)是由其线性形式生成的Noetherian不稳定代数(mathcal{P}^*),并且(mathfrak{P}\subset A)是最小素理想,那么(A/mathfrak{P})是线性生成器上的多项式代数。
如果(A)是有限生成的标准分次代数,则(A)的不变素理想由线性形式生成。
如果\(\mathfrak{p}\subet \mathbb{F}[V]\)是素理想,并且\(\mathfrak{p}\subet \mathbb{F}[V]\otimes_{\mathbb{F}[V]^G}\mathbb{F}[V]\)是位于其上的素理想,则\(\mathrm{ht}(\mathfrak{p})=\mathrm{ht}(\mathfrak{p}),\textrm{co ht}(\mathfrak{p})=\textrm{co ht}(\mathfrak{p})、\)和\(\mathrm{ht}(\mathfrak{p})+\textrm{co ht}(\mathfrak{p})=\mathrm{ht}(\mathfrak{P})+\textrm{co-ht}(\tathfrak})=n.)
注释以包含两个引理的附录结尾;导子引理\(\mathcal{P}^*\)-导出引理。

MSC公司:

13A50型 群在交换环上的作用;不变理论
13个B02 交换环的扩张理论
55S10美元 Steenrod代数
13号B21 交换环中的积分依赖性;上升,下降
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] J.F.Adams和C.W.Wilkerson,《Steenrod代数上的有限空间和代数》,数学年鉴。(2) 111(1980),第1期,95-143·兹比尔0404.55020
[2] M.F.Atiyah和I.G.Macdonald,交换代数导论,Addison-Wesley,Reading,1969年·Zbl 0175.03601号
[3] S.A.Balcerzyk和T.Józefiak,交换Noetherian和Krull环,Ellis Horwood Ser。数学。申请。,波兰科学出版社,华沙,1989年·Zbl 0685.13001号
[4] A.Borel,转化群体研讨会,数学年鉴。普林斯顿大学46年级,普林斯顿,1960年·Zbl 0091.37202号
[5] H.Cartan和S.Eilenberg,同调代数,普林斯顿大学,普林斯顿,1956年·Zbl 0075.24305号
[6] E.Dufresne,分离不变量和有限反射群,高级数学。221(2009),第6期,1979-1989·Zbl 1173.13004号
[7] G.赫尔曼,《多项式理论的碎片》,《数学》。Ann.95(1926),第1期,第736-788页。
[8] H.C.Hutchins,《交换环的例子》,多边形出版社,帕赛克,1981年·Zbl 0492.13001号
[9] I.Kaplansky,《交换环》,Allyn和Bacon,波士顿,1970年·兹比尔0203.34601
[10] S.P.Lam,Steenrod代数上的不稳定代数,代数拓扑(Aarhus 1982),数学讲义。1051,柏林施普林格(1984),374-392·Zbl 0545.55010号
[11] P.S.Landweber,Dickson不变量和Steenrod运算下不变的素理想,研讨会演讲,普林斯顿,1984年。
[12] C.McDaniel和L.Smith,共变环和Bott-Samelson环II:结构定理,预印本(2019)。
[13] C.McDaniel和L.Smith,不变代数的包络代数,预印本(2020)。
[14] C.McDaniel和L.Smith,等变共变环,Bott-Samelson环和Watanabe的大胆猜想,J.Pure Appl。代数225(2021),第5号,文章编号106524·Zbl 1466.13005号
[15] C.McDaniel、L.Smith和J.Watanabe,等变共变代数的最小素理想,非预印记,AG-Invariantentheorie,2019年。
[16] J.Milnor,《Steenrod代数及其对偶》,《数学年鉴》。(2) 67 (1958), 150-171. ·Zbl 0080.38003号
[17] M.D.Neusel,逆不变理论和Steenrod运算,Mem。阿米尔。数学。Soc.146(2000),编号692,1-158·Zbl 0948.55015号
[18] M.D.Neusel和L.Smith,mathscr{P}^*-不变理想的Lasker-Noether定理,数学论坛。10(1998),第1期,第1-18页·Zbl 0901.13007号
[19] M.D.Neusel和L.Smith,有限群不变量理论,数学。调查专题。94,美国数学学会,普罗维登斯,2002年·Zbl 0999.13002号
[20] D.L.Rector,Noetherian上同调环和带挠的有限环空间,J.Pure Appl。《代数》32(1984),第2期,191-217·Zbl 0543.57030号
[21] A.塞登伯格,有限生成型环中的微分理想,Amer。数学杂志。89 (1967), 22-42. ·Zbl 0152.02905号
[22] J.-P.Serre,超维上同调群,拓扑3(1965),413-420·Zbl 0136.27402号
[23] L.Smith,有限群的多项式不变量,A.K.Peters,Wellesley,1995·Zbl 0864.13002号
[24] L.Smith,\mathscr{P}^*-不变环中的不变理想,数学论坛。8(1996),第319-342号·Zbl 0872.55016号
[25] L.Smith,《Steenrod代数代数导论》,技术报告,Ioannia大学数学系,Ioanneia,2000年。
[26] L.Smith,等变共变代数的同调维数和余维数,非预印本(正在进行中),AG-Invariantentheorie。
[27] L.Smith和R.M.Switzer,Steenrod代数上的多项式代数:Adams和Wilkerson定理的变体,Proc。爱丁堡数学。Soc.(2)27(1984),第1期,11-19·Zbl 0545.55009号
[28] W.N.Traves,微分算子和Nakai猜想,多伦多大学博士论文,1998年。
[29] J.Watanabe,《关于具有多个零因子的Cohen-Macaulay环及其应用的一些评论》,J.Algebra 39(1976),第1期,第1-14页·Zbl 0327.13015号
[30] O.Zarisk和P.Samuel,交换代数。第一卷,D.Van Nostrand,普林斯顿,1958年·Zbl 0112.02902号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。