A Friedlander-Suslin theorem over a noetherian base ring

Abstract

Let $k$ be a noetherian commutative ring and let $G$ be a finite flat group scheme over $k$. Let $G$ act rationally on a finitely generated commutative $k$-algebra $A$. We show that the cohomology algebra $H^*(G,A)$ is a finitely generated $k$-algebra. This unifies some earlier results.