Exercice 2, § 3

Soit P’ un sous-groupe de P(R) contenant Q(R). Montrer que P’ est stable par W. Construire un exemple où l’algèbre $A[P']^W$ n’est pas isomorphe à une algèbre de polynômes (prendre pour R le produit de deux systèmes de rang 1).