×

Dedekind域上(E)-代数的分类。 (英语) Zbl 1113.16033号

环\(R\)是一个“\(E\)-环”,如果\(R~)通过发送一个元素\(R中的\)到左乘\(R\)的映射同构于其基础加法群的自同态环。由于右乘法也提供了自同态,所以很容易看出E-环必须是可交换的。如果(R)与其自同态环之间存在一些同构,而不一定是左乘,则环(R)被称为“广义(E)-环”。因此,广义E环类恰当地包含了E环。本文研究了非无共扭转的广义(E)-环,其中包含一些素数(p)的adic整数的副本。作者在Dedekind域上的代数的更一般的设置中工作。
设\(R\)为Dedekind域。(R)上的代数(A)被称为“广义(E(R)代数”,如果(A)作为代数同构于它自己的自同态代数。在后继中,环(R)是固定的,(E(R)-代数缩写为(E)-代数。对于代数(A\),让\(mathbb{P}'\)表示\(R\)的素数(P\)的集合,其中\(A\。集合\(\mathbb{P}'\)被称为相关素数的集合。以下结果描述了广义(E)-代数(不是无共扭转的)“模无共扭转子模”。
定理2.6。如果(A)是一个广义的(E)-代数,那么对于(mathbb{P}')中的每个相关素数(P),(A)的形式是(A=A_P\oplusX_P),其中(A_P=J_P)和补码(X_P。此外,(X_P)本身是一个广义(E)-代数。
推论2.7。如果(A)是一个具有相关素数的有限集(mathbb{P}’)的广义(E)-代数,那么(A)就是由代数(prod_{P\in\mathbb}’}J_P)扩展的无共扭转理想(C),它本身是一个(E)代数。
定理2.10。如果\(A\)是一个降阶的无扭广义\(E\)-代数,那么\(A\)是\(\prod_{P\in\mathbb{P}'}J_P\)的子代数\(C\)对无余子理想\(X\)的扩展,使得\(C\)包含\(\bigoplus_{P\in\mathbb{P}'}J_P\)的同构副本。此外,1\(X)是广义(E)-代数族的交集。2.(C\)包含\(\prod_{P\in\mathbb{P}'}J_P\)的恒等式,因此是一个\(E\)-代数。
最后的结果提供了定理2.10的部分逆命题。该结构证明了许多非分裂(E)-代数的存在性。
定理2.13。设(R)是具有素谱的Dedekind域,且(mathbb{P}'\)是(S)的无限真子集。假设\(P_0\在S\setminus\mathbb{P}'\中)和\(\lambda\)是带有\(lambda^{\aleph_0}=\lambda \)的基数。然后,假设(R{P_0})不是一个完整的离散赋值域,则存在一个基数(lambda)的广义(E)-代数(a),使得(a)是由子代数(B)和(bigoplus{P\in\mathbb{P}'}J_P\leqB\leq\prod_{P\in \mathbb{P}'}J_P构成的无余扭理想的扩张。在这种情况下,\(A\)不会拆分。

MSC公司:

16S50型 自同态环;矩阵环
20公里30 阿贝尔群的自同态、同态、自同态等
13层05 Dedekind、Prüfer、Krull和Mori环及其推广
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] 阿诺德,D.,有限秩无扭阿贝尔群和环,数学课堂讲稿。,第931卷(1982),斯普林格·弗拉格·Zbl 0493.20034号
[2] Bowshell,R.A。;Schultz,P.,其加性自同态可交换的酉环,数学。《年鉴》,228197-214(1987)·Zbl 0336.20040号
[3] 布劳恩,G。;Göbel,R.,其扭转部分不是循环的E-代数,Proc。阿默尔。数学。《社会学杂志》,1332251-2258(2005)·Zbl 1069.16036号
[4] Dugas,M.,《存在大型E-modules》,J.Algebra,142,405-413(1991)·Zbl 0737.20025号
[5] 杜加斯,M。;Göbel,R.,无挠幂零群和(E)-模,Arch。数学。,54, 340-351 (1990) ·Zbl 0703.20033号
[6] 杜加斯,M。;Mader,A。;Vinsonhaler,C.,《存在大E环》,J.代数,108,88-101(1987)·Zbl 0616.20026号
[7] 埃克洛夫,P。;Mekler,A.,《几乎自由模块》,《集合理论方法》(2002),北荷兰:北荷兰阿姆斯特丹·Zbl 1054.20037号
[8] Farjoun,E.D.,细胞空间,零空间和同伦局部化,数学课堂讲稿。,第1622卷(1996年),《柏林春天》
[9] Faticoni,T.G.,每个可数无扭约化环都是E环的纯子环,《公共代数》,152245-2564(1987)·Zbl 0653.20056号
[10] Feigelstock,S.,《环的加法群》,第二卷,《数学研究笔记》。,第169卷(1988),《皮特曼:皮特曼伦敦》·Zbl 0647.20052号
[11] Fuchs,L.,Abelian Group(1958年),Publ。饥饿之家。阿卡德。科学:出版物。匈牙利之家。阿卡德。科学。布达佩斯·Zbl 0090.02003
[12] Fuchs,L.,《无限阿贝尔群》,第一卷(1970),学术出版社·Zbl 0209.05503号
[13] 富克斯,L。;Salce,L.,非诺瑟域上的模,数学。调查专题。,第84卷(2001),美国。数学。Soc.:美国。数学。佛罗里达州普罗维登斯Soc.Providence·Zbl 0973.13001号
[14] Göbel,R.,阿贝尔群中的根式,(根式理论。根式理论,Colloq.Math.Soc.János Bolyai,第61卷(1991年),Szekszárd:Szekszard Hungary)·Zbl 0818.20069号
[15] R.Göbel,S.Shelah,广义E-代数∧;; R.Göbel,S.Shelah,广义E-代数Λ;
[16] B.Goldsmith,P.Zanardo,最大赋值域上的E-代数,论坛。数学。,出版中;B.Goldsmith,P.Zanardo,最大赋值域上的E-代数,论坛。数学。,出版中·Zbl 1107.13024号
[17] A.Libman,群、G-模块和链复合体的本地化,希伯来大学博士论文,1997年;A.Libman,群、G-模块和链复合体的本地化,希伯来大学博士论文,1997年
[18] W.梅。;Zanardo,P.,《完全离散估值环中大型领域的模块》,《落基山数学杂志》。,30, 1421-1436 (2000) ·兹比尔0987.13002
[19] Pierce,R.S.,E-modules,(《当代数学》,第87卷(1989年),美国。数学。Soc.:美国。数学。Soc.Providence,RI),221-240·Zbl 0674.20033号
[20] Schultz,P.,环的可加群的自同态环,J.Aust。数学。《社会学杂志》,第15期,第60-69页(1973年)·Zbl 0257.20037号
[21] Vinsonhaler,C.,E-环及其相关结构,(非诺瑟尔交换环理论。非诺瑟尔交换环理论,数学应用(2000),Kluwer:Kluwer-Dordrecht),387-402·Zbl 0988.16021号
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配,并且可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。