Minimal ramifications (Q5939718)

Soit \(K\) un corps de nombres et \(p\) un nombre premier fixé. On considère \(S\) et \(T\) deux ensembles disjoints de places de \(K\), \(T\) ne contenant que des places finies. Le problème examiné par l'auteur est celui de l'existence d'une extension cyclique de degré \(p\), \(S\)-décomposée et \(T\)-totalement ramifiée de \(K\). Naturellement, la réponse est contenue dans l'étude numérique des groupes des classes généralisées de rayon. Mais dans ce point de vue, les calculs sont à reprendre dès que l'on modifie \(T\) et l'on ne sait pas reconnaître les ensembles \(T\) pour lesquels le problème admet effectivement une solution. Dans cet article, G. Gras donne une caractérisation des ensembles \(T\) solutions au problème, en introduisant une ``certaine'' extension de Kummer (appelé corps gouvernant) dont l'un des intérêts est d'être indépendant de \(T\). En appliquant les techniques de ``réflexion'', il obtient des conditions arithmétiques simples. Pour application, l'auteur definit les ensembles de ramification minimale \(T\) (i.e. les ensembles \(T\) solutions au problème, mais n'ayant aucune sous-partie non triviale solution au problème (relativement à un ensemble \(S\) fixé)) et en donne une caractérisation.