On realizable Galois module classes by the inverse different

被引:1
|
作者
Sodaigui, Bouchaib [1 ]
Taous, Mohammed [2 ]
机构
[1] Univ Polytech Hauts De France, CNRS, Lab Math LMI, FR 2037, F-59313 Le Mont Houy 9, Valenciennes, France
[2] Univ Moluay Ismail, Fac Sci & Techn Errachidia, Dept Math, Meknes, Morocco
关键词
Different; Galois module structure; inverse different; Lagrange resolvent; locally free classgroups; maximal order; realizable classes; rings of integers; Steinitz classes; Stickelberger ideal; DIHEDRAL EXTENSIONS; STEINITZ CLASSES; RING;
D O I
10.1080/00927872.2020.1817472
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
Let k be a number field and O-k its ring of integers. Let Gamma be a finite group. Let M be a maximal O-k-order in the semi-simple algebra k[Gamma] containing O-k[Gamma]: Let Cl(O-k [Gamma] (resp. Cl(M)) be the locally free classgroup of O-k[Gamma] (resp. M). We denote by R(D-1, O-k [Gamma])(resp. R(D-1, M)) the set of classes Gamma in Cl(O-k[Gamma]) resp. Cl(M))) such that there exists a tamely ramified extension N/k, with Galois group isomorphic to Gamma (Gamma-extension) and the class of D-N/k(-1) (resp. M circle times O-k [Gamma]D-N/k(-1)) is equal to c, where D-N/k is the different of N/k and D-N/k(-1) its inverse different. We say that R(D-1, O-k [Gamma] (resp. R(D-1, M) is the set of realizable Galois module classes by the inverse different. In the present article, combining some of our published results, and a result due to A. Frohlich giving a link between the Galois module class of the ring of integers of a tamely ramified C-extension and that of its inverse different, we explicitly determine R(D-1, O-k[Gamma])(resp. R(D-1, M)) for several groups Gamma and show that it is a subgroup of Cl(O-k[Gamma]) (resp. Cl(M)). In addition, we determine the set of the Steinitz classes of D-N/k(-1), N/k runs through the set of tamely ramified Gamma-extension of k, and prove that is a subgroup of Cl(k), also for several groups Gamma.
引用
收藏
页码:763 / 771
页数:9
相关论文
共 50 条