Bases normales d'entiers dans les extensions de Kummer de degré premier
Si est un corps de nombres, on note son anneau d’entiers ; si est une extension galoisienne finie de corps de nombres de groupe de Galois , on appelle base normale de sur toute base de en tant que -module de la forme avec . On démontre dans ce travail un critère d’existence de base normale d’entiers pour les extensions de Kummer de degré premier, qui permet une construction explicite en cas d’existence ; les principaux outils pour la démonstration sont une formule de Fröhlich pour...