Exercise 2, § 3

Let P' be a subgroup of P(R) containing Q(R). Show that P' is stable under W. Construct an example where the algebra A[P]^W is not isomorphic to a polynomial algebra (take for R the product of two systems of rank 1).

^3 This exercise, hitherto unpublished, was communicated to us by R. Steinberg.