Lemma 15.110.4. Let $R$ be a ring. Let $G$ be a finite group acting on $R$. Let $R^ G \to A$ be a ring map. The map

$A \to (A \otimes _{R^ G} R)^ G$

is an isomorphism if $R^ G \to A$ is flat. In general the map is integral, induces a homeomorphism on spectra, and induces purely inseparable residue field extensions.

Proof. The first statement follows from Lemma 15.110.3 and Algebra, Lemma 10.46.11. To see the second consider the exact sequence $0 \to R^ G \to R \to \bigoplus _{\sigma \in G} R$ where the second map sends $x$ to $(\sigma (x) - x)$. Tensoring with $A$ the sequence remains exact if $R^ G \to A$ is flat. $\square$

There are also:

• 2 comment(s) on Section 15.110: Group actions and integral closure

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