Sur l’anneau des entiers des extensions galoisiennes non abéliennes de degré des rationnels
Dans son article de 1971, essentiellement consacré aux extensions quaternioniennes de degré , J. Martinet prouve, au passage, l’existence de bases normales pour les entiers des extensions modérément ramifiées de de groupe . On en donne une construction en reprenant les méthodes de sa thèse.
Le groupe est le plus petit groupe pour lequel existent des modules stablement libres non libres. On montre que toutes les classes d’isomorphisme de tels modules peuvent être représentées une infinité de fois par des anneaux d’entiers. On applique un travail de classification de Swan, pour cela on doit construire explicitement des bases normales d’entiers d’extensions à groupe ; cela se fait en liant un critère de Martinet avec une construction de Witt.
Soit une extension galoisienne à groupe de Galois métacyclique d’ordre ( divisant et ) possédant un sous-groupe distingué d’ordre . On note l’unique sous-corps de de degré sur , (resp. ) le clôture intégrale de dans (resp. ) et l’opérateur trace dans l’extension . On démontre que est un module localement libre sur l’anneau . On montre ensuite que l’idéal engendré par les résolvantes de Fröhlich associées à un caractère fidèle absolument irréductible de peut être...
On donne une caractérisation simple pour l’existence des bases normales pour les extensions modérément ramifiées à groupe de Galois quaternionien d’ordre . La preuve conduit à un algorithme que l’on illustre par un exemple.
Page 1 Next