RE:Galois action on class groups

[LECOUTURIER Emmanuel <Emmanuel.LECOUTURIER@imj-prg.fr>]

Well, of course I assume that my question makes, sense, i.e. that K/Q is Galois and that one can view Gal(Q(zeta_p)/Q) as a subgroup of Gal(K/Q).

---

De : LECOUTURIER Emmanuel
Envoyé : vendredi 17 mars 2017 11:54
À : pari-users@pari.math.u-bordeaux.fr
Objet : Galois action on class groups

Hello,
let K be a finite Galois extension of Q(zeta_p), and let C be the class group of K.
Question : is there an existing function which gives the group structure of the omega^i-th eigenspace of C, where omega = p-Teichmuller ?
Sincerely yours,
Emmanuel Lecouturier