Lemma 15.110.3. Let $R$ be a ring. Let $G$ be a finite group of order $n$ acting on $R$. Let $A$ be an $R^ G$-algebra.
for $b \in (A \otimes _{R^ G} R)^ G$ there exists a monic polynomial $P \in A[T]$ whose image in $(A \otimes _{R^ G} R)^ G[T]$ is $(T - b)^ n$,
for $a \in A$ mapping to zero in $(A \otimes _{R^ G} R)^ G$ we have $(T - a)^{n^2} = T^{n^2}$ in $A[T]$.
Proof. Write $A$ as the quotient of a polynomial algebra $P$ over $R^ G$. Then $(P \otimes _{R^ G} R)^ G = P$ because $P$ is free as an $R^ G$-module. Hence part (1) follows from Lemma 15.110.1.
Let $J = \mathop{\mathrm{Ker}}(P \to A)$. Lift $a$ as in (2) to an element $f \in P$. Then $f \otimes 1$ maps to zero in $A \otimes _{R^ G} R$. Hence $f \otimes 1$ is in $(J')^ G$ where $J' \subset P \otimes _{R^ G} R$ is the image of the map $J \otimes _{R^ G} R \to P \otimes _{R^ G} R$. Apply Lemma 15.110.1 to $f \otimes 1$ and the surjective ring map
which defines $A'$. We obtain $P \in (\text{Sym}^*_{R^ G}(J) \otimes _{R^ G} R)^ G[T]$ mapping to $(T - f \otimes 1)^ n$ in $A'[T]$. Apply part (1) to see that there exists a $P' \in \text{Sym}^*_{R^ G}(J)[T, T']$ whose image is $(T' - P)^ n$. Since $\text{Sym}_{R^ G}^*(P)$ is still free over $R^ G$ we conclude that $P'$ maps to $(T' - (T - f)^ n)^ n$ in $\text{Sym}_{R^ G}^*(P)$. On the other hand, tracing through the construction of the polynomials $P$ and $P'$ in Lemma 15.110.1 we see that $P'$ is congruent to $(T' - T^ n)^ n$ modulo the irrelevant ideal of the graded ring $\text{Sym}^*_{R^ G}(J)$. It follows that
in $A[T', T]$. Setting $T' = 0$ for example we obtain the statement of the lemma. $\square$
Your email address will not be published. Required fields are marked.
In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).
All contributions are licensed under the GNU Free Documentation License.
Comments (0)
There are also: