On the isomorphism class of the ring of integers of a cyclic wildly ramified extension of degree p (Q1103003): Difference between revisions

Soient p un nombre premier, G un groupe d'ordre p, k un corps de nombres contenant les racines p-ièmes de l'unité, \({\mathfrak o}\) son anneau des entiers. On se donne deux extensions \(K_ 1, K_ 2\) de k de groupe de Galois G, d'anneau d'entiers \({\mathfrak O}_ 1\), \({\mathfrak O}_ 2\); l'auteur donne des conditions nécessaires et suffisantes pour que \({\mathfrak O}_ 1\) et \({\mathfrak O}_ 2\) soient isomorphes en tant que \({\mathfrak o}G\)- modules, lorsqu'ils sont dans le même genre. Cet isomorphisme est caractérisé par l'égalité des images de \({\mathfrak O}_ 1\) et \({\mathfrak O}_ 2\) dans un groupe de classes d'idéaux. La construction de ce groupe emprunte largement aux travaux de A. Fröhlich et H. Jacobinski. L'article décrit également des éléments de ce groupe des classes qui peuvent être image d'un anneau d'entiers et souligne l'analogie avec des travaux de L. R. MacCulloh. Le travail est illustré par l'étude des extensions cubiques de \({\mathbb{Q}}(\sqrt{-3})\).