加载中…
Let be a Dedekind domain, an affine flat -group scheme, and a flat -algebra on which acts. Let be an -algebra map. Assume that is Noetherian. We show that if the induced map $K\otimes A\to (K\otimes B)^{K\otimes G}KRS\otimes A\to (S\otimes B)^{S\otimes G}$ is an isomorphism for any -algebra .

生成讲解博客的中文版本

生成AI智能校验的中文版本