Eine endliche Präsentation der symplektischen Gruppe Sp4 (Z).
Soit un groupe, soit une représentation complètement réductible de , et soit un système de générateurs de l’algèbre des fonctions polynômes sur , invariantes par . Dans l’article on démontre que toute fonction analytique sur , invariante par , peut s’écrire comme fonction analytique en ; on obtient également un résultat analogue pour les fonctions indéfiniment différentiables.