Construction de base normale pour les extensions de à groupe
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.