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

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.}