I was reading Popov and Vinberg’s book on invariant theory when they asserted a basic lemma (without proof) that I didn’t recognize. It was this (p. 155): Lemma 2.4: Suppose is an extension of the field , and is a group of -automorphisms of . Suppose is a (not necessarily finite-dimensional) vector space over , …