×

与McCool群相关的IA-自同构和李代数。 (英语) Zbl 1471.17014号

McCool群(M_n)(基本共轭群)是自由群(F_n)的自同构群的一个子群。McCool集团的结构研究不足。本文研究了McCool群的某些子群(I_n)(部分内自同构群),它由通过共轭作用于F_n基的初始段的自同构组成。
证明了(I_n)具有可解的共轭问题。然后在本文的大部分内容中,研究了相应的分级李代数(mathrm{gr}(I_n))并给出了它的表示。还证明了(mathrm{gr}(I_n))自然嵌入到群(F_n)的IA-自同态的Andreadakis-Johnson李代数中。

MSC公司:

17B01型 恒等式,自由李(超)代数
20E36年 无限群的自同构
20层28 群的自同构群
20层40层 群的关联Lie结构
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] Andreadakis,S.,关于自由群和自由幂零群的自同构,Proc。伦敦。数学。《社会学杂志》,第15期,第239-268页(1965年)·Zbl 0135.04502号
[2] Bardakov,V.G.,共轭自同构群的结构,代数逻辑,42287-303(2003)·Zbl 1067.2004年11月
[3] 巴达科夫,V.G。;Neshchadim,M.V.,与基共轭自同构群相关的子群、自同构和李代数,代数逻辑,55,6,436-460(2017)·Zbl 1395.20023号
[4] O.波哥波尔斯基。;马蒂诺,A。;O.马斯拉科娃。;Ventura,E.,共轭问题在自由-循环群中是可解的,Bull。伦敦。数学。Soc.,38,5,787-794(2006)·Zbl 1116.20027号
[5] Bourbaki,N.,李群和李代数第一部分(1987),赫尔曼:赫尔曼·巴黎,(第1-3章)
[6] Bryant,R.M。;Kovács,L.G。;Stöhr,R.,素数阶群模的李幂,Proc。伦敦。数学。《社会学杂志》,84,343-374(2002)·Zbl 1021.20008号
[7] 布莱恩特·R·M。;Kovács,L.G。;Stöhr,R.,自由Lie环的不变基,Q.J.数学。,53, 1, 1-17 (2002) ·Zbl 1033.17007号
[8] 科恩,F.R。;Pakianathan,J。;Vershinin,V.V。;Wu,J.,自由群和相关李代数的基共轭自同构,Geom。白杨。单声道。,13, 147-168 (2008) ·Zbl 1148.20023号
[9] 福克,M。;Randell,R.,《光纤类型排列的中下系列》,《发明》。数学。,82, 77-88 (1985) ·兹比尔0574.55010
[10] Lazard,M.,Sur les groupes nilpotents et les anneaux de Lie,《科学年鉴》。埃及。标准。上级。(3), 71, 101-190 (1954) ·Zbl 0055.25103号
[11] 林登,R。;Schupp,P.,组合群理论,Ergebnisse der Mathematik und ihner Grenzgebiete,第89卷(1977),Springer-Verlag·Zbl 0368.20023号
[12] 马格纳斯,W。;卡拉斯,A。;Solitar,D.,组合群理论(1976),多佛出版公司:纽约多佛出版有限公司·Zbl 0362.20023号
[13] McCool,J.,《自由群的基本共轭自同构》,Canad。数学杂志。,38, 1525-1529 (1986) ·Zbl 0613.20024号
[14] 转移,V。;Papistas,A.I.,《关于McCool群(M_3)及其相关李代数》,《公共代数》,45,3,1076-1104(2017)·Zbl 1422.20011号
[15] 转移,V。;巴皮斯塔斯,A.I。;Sevaslidou,I.,IA的商群-秩为3的自由群的自同构,Internat。代数计算杂志。,28, 1, 115-131 (2018) ·Zbl 1430.17098号
[16] Savushkina,A.G.,自由群的基本共轭自同构,Vestnik Moskov。塞尔维亚大学。我是马特·梅克。。维斯特尼克·莫斯科夫。塞尔维亚大学。I Mat.Mekh。,莫斯科大学数学。公牛。,51、4、14-17(1996),(俄语);中的翻译·Zbl 0913.20026号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。