Skip to main content
Post Made Community Wiki
Source Link
BCnrd
  • 7.1k
  • 2
  • 66
  • 74

Rational representations are directed unions of finite-dimensional ones, on which all linear representations of $G$ are completely reducible (either by an ad hoc definition of "reductive group" or a theorem applied to a good definition). So the functor of $G$-invariants on the category of rational representations is exact, hence one gets the desired higher vanishing (by whatever reasonable method one chooses to define the higher cohomologies).