Associated prime ideals of equivariant coinvariant algebras, Steenrod operations, and Krull's Going Down Theorem

DOI10.1515/FORUM-2020-0324MaRDI QIDQ2121256zbMATH OpenOpenAlexFDO

Publication date 4 April 2022

Published in Forum Mathematicum (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1515/forum-2020-0324

extension theory Going Down invariant theory Lying Over Steenrod operations

Actions of groups on commutative rings; invariant theory (13A50) Extension theory of commutative rings (13B02) Integral dependence in commutative rings; going up, going down (13B21) Steenrod algebra (55S10)

Review text

In this note the author shows that the associated prime ideals of the equivariant coinvariant algebra \(\mathbb{F}[V]\otimes_{\mathbb{F}[V]^G}\mathbb{F}[V]\) must be either a minimal prime ideal or the maximal ideal, where \(G\) is a finite group, \(\mathbb{F}\) is a finite field, and \(V=\mathbb{F}^n,\) is the representation space, with the invariant ring denoted by \(\mathbb{F}[V]^G.\) The most important part of the note is that the main result quoted above is proved by using the Steenrod operations, \(\mathcal{P}^*.\) Moreover, there are similar interesting results obtained, namely; \begin{itemize} \item The Going Down Theorem holds for the equivariant coinvariant algebra from either tensor factors. \item If \(A\) is a Noetherian unstable \(\mathcal{P}^*\)-algebra generated by its linear forms and \(\mathfrak{p}\subset A\) is a minimal prime ideal, then \(A/\mathfrak{p}\) is a polynomial algebra on \(\textrm{co-ht}(\mathfrak{p})\) linear generators. \item If \(A\) is a finitely generated standard graded \(\mathcal{P}^*\)-algebra, then the \(\mathcal{P}^*\)-invariant prime ideals of \(A\) are generated by the linear forms. \item If \(\mathfrak{p}\subset\mathbb{F}[V]\) is a prime ideal and \(\mathfrak{P}\subset\mathbb{F}[V]\otimes_{\mathbb{F}[V]^G}\mathbb{F}[V]\) a prime ideal lying over it, then \(\mathrm{ht}(\mathfrak{p})=\mathrm{ht}(\mathfrak{P}),\textrm{co-ht}(\mathfrak{p})=\textrm{co-ht}(\mathfrak{P}),\) and \(\mathrm{ht}(\mathfrak{p})+\textrm{co-ht}(\mathfrak{p})=\mathrm{ht}(\mathfrak{P})+\textrm{co-ht}(\mathfrak{P})=n. \) \end{itemize} The note ends with an appendix containing two lemmas; \textit{Derivation lemma} and \textit{\(\mathcal{P}^*\)-derivation lemma.}

Recommendations

Cites work

Cited in

(1)

Equivariant prime ideals for infinite dimensional supergroups

This page was built for publication: Associated prime ideals of equivariant coinvariant algebras, Steenrod operations, and Krull's Going Down Theorem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2121256)