Théorie algébrique des nombres avancée
Groupes de ramification
On calcule la suite des groupes de ramification
avec idealramgroups.
ram3 = idealramgroups(nf,gal,pr3);
#ram3
% = 3
Il y a trois groupes de ramification non-triviaux à considérer.
galoisidentify(ram3[1])
% = [6, 1]
galoisisabelian(ram3[1])
% = 0
Le groupe de décomposition est d’ordre 6, isomorphe à S3.