Théorie algébrique des nombres avancée
Groupes de ramification
galoisidentify(ram3[2])
% = [6, 1]
Le groupe d’inertie est égal au groupe de décomposition (ce
qu’on savait déjà car le degré résiduel est 1).
galoisidentify(ram3[3])
% = [3, 1]
Le groupe d’inertie sauvage est le groupe cyclique C3, et tous
les groupes de ramification supérieurs sont triviaux.