Sur les ordres commutatifs avec un nombre fini de réseaux indécomposables
Sur les ordres commutatifs avec un nombre fini de réseaux indécomposables
复制标题
DOI:
10.1007/bf02392474
复制
发表时间:
1967-09
期刊:
影响因子:
3.7
通讯作者:
H. Jacobinski
中科院分区:
文献类型:
--
作者:
H. Jacobinski
Soit k un corps de nombres alg~ briques de degr~ fini et K/k une k-alg~ bre commutative et semi-simple de dimension finie. K est la somme directe d'un nombre fini de corps, K=~~ Kf, K~/k~ tant des extensions de degrd fini. Soit gun anneau de Dedekind dont k est le corps des quotients. Un 0-ordre R de K est un anneau contenu clans K avec 1 ER et kR= K, qui est en m~ me temps un 0-module de type finl. Si l'on identifie 0 avec ol, chaque R-module est donc anssi un o-module. On appelle Rr~ seau un R-module de type fini, qui est projectif eomme 0-module. Chaque Rr~ seau se d~ compose en une somme directe d'un nombre fini de Rr~ seaux indgcomposables. D~ signons par n (R) le nombre des Rr~ seaux ind~ eomposables et non-isomorphes. Sip est un ideal premier de o, soit o~ le eompl~ t6 p-adique de oet posons R}= o~| On salt (v. Jones [4]), que n (R) est fini si et seulement si n (Rv) est fini pour chaque p. Nous allons donner ici des conditions n~ cessaires et suffisantes pour que n (R~) soit finl, ce qui permet de d~ terminer tons les 0-ordres R pour lesquels n (R) est flnl. De plus, pour les ordres R v avec n (R~)< co, nous d~ terminerons aussi les types des Rv-r~ seaux ind6composables.Soit Gun groupe fini, eommutatif ou non, et kG son alg~ bre de groupe sur k. Alors vG est un 0-ordre de kG. On sait, que n (oG) est fini si et settlement si n (oG~) est fini pour chaque groupe de Sylow G,(v. Curtis-Reiner [1], p. 579 et Kneser [5]). Or l'~ tude de n (oGj,) se ram~ ne toujours s l'4tude de n (oC) pour un groupe cyclique C, done~ l'~ tude d'un ordre commutatif. De notre r~ sultat on obtient done des conditions ndcessaires et suffisantes pour que n (oG) soit fini, ce qui complete les resultats partiels d~ j~ connns (Curtis-Reiner [1], 1. c., Dade [2], Kneser [5], Gudivok [3]).