Exercice 5, § 4
Groupes et algèbres de Lie, II
Soit un corps commutatif et soit une extension galoisienne finie de , de groupe de Galois . Soit une valuation de à valeurs dans (AC, VI, § 3, n° 2), invariante par . Si , on pose
Montrer que est la fonction d’ordre d’une filtration entière séparée sur telle que , et que la restriction de cette filtration à est centrale (appliquer l’exerc. 3, en prenant pour l’idéal de ). Montrer que est un -groupe (resp. est réduit à l’élément neutre) si le corps résiduel de est de caractéristique (resp. de caractéristique zéro); lorsque les corps et ont même corps résiduel, est le noyau de l’homomorphisme défini dans AC, VI, § 8, exerc. 11 b).
Solution
Aucune solution n’a encore été écrite.