Base change of invariant subrings

Mitsuyasu Hashimoto

Let $R$ be a Dedekind domain, $G$ an affine flat $R$-group scheme, and $B$ a flat $R$-algebra on which $G$ acts. Let $A\to B^G$ be an $R$-algebra map. Assume that $A$ is Noetheria…