×

关于无2-挠群的自由积中自由子群的交集。 (英文) Zbl 1226.20020号

设(L)是一个集,(L中的(G_\ell\mid\ell)是一组群,(F)是一自由群。假设\(G=F*(L}中的*{ell\)是\(F\)和\(G_ell\)的自由积,\(L\中的ell\)。比如说,有一棵贝斯-塞雷树,(G)在树上起作用。让\(mathcal F\)表示自由作用于\(T\)的\(G\)的所有有限生成子群的集合。即,(mathcal F)由(G)的所有有限生成子群(H)组成,对于所有(G中的G)和所有(L中的ell)都具有属性(H)。
设\(\alpha_3(G)=\inf\{|D|:D\)是\(G\)的有限子群,其中\(|D|\geq3\}\)和\(\vartheta(G)=\ frac{\alpha_3(G)}{\alfa_3(G)-2}\)。
对于自由群(H),(H)的约化秩定义为(r(H)=max\{text{rank}(H)-1,0\})。
设(\sigma(\mathcal F)=\inf\{s\in[0,\infty]:\)表示所有\(H,K\in \mathcall F\),\(\sum_{HgK\in H\backslash G/K}\overline r(H^G\cap K)\leq s\cdot\vartheta(G)\cdot\overliner(H)\cdot \overlline r(K)\}\in[0、\、\ infty]\)。
问题是估计\(\sigma(\mathcal F)\)的锐化界限。在指数集(L)为空(G=F)为自由的特殊情况下,众所周知,[1,2]中的(σ(mathcal F)),并且推测(证明)了(σ。
在一般情况下,作者证明了这一点[《数学程序·坎伯·菲洛斯》第144卷第3期第511-534页(2008;Zbl 1154.20025号)]同样地,在[1,2]中为(σ(mathcal F)),如果(G)有2个扭转,则为(sigma(mathcalF)=2)。此外,假设如果(G)是2-无扭的,则(σ(mathcal F)=1)。
在本文中,作者检验了一些局部情况,证明了\(\西格玛(\数学F)<2\)是可能的(本文中的定理5.3和6.3)。
虽然结果涵盖了特殊情况,而且这些论点似乎是技术性的,但已经对组(G)的Bass-Serre树中的路径进行了认真的检查。对定理的引用J.M.波拉德[摘自J.Lond.Math.Soc.,II.Ser.8,460-462(1974;Zbl 0322.10024号)]也是必要的。
文章最后用一个广泛的附录来证明定理6.3的证明中所需的不等式。

MSC公司:

20E06年 群的自由积、合并的自由积,Higman-Neumann-Numann扩展和推广
2017年10月20日 子群定理;子群增长
20E05年 自由非贝拉群
20E08年 对树起作用的组
20F06年 群体消解理论;van Kampen图的应用
20层65 几何群论
PDF格式BibTeX公司 XML格式引用
全文: 欧几里得

参考文献:

[1] W.Dicks和M.J.Dunwoody,《图形上的群体》,剑桥高级数学研究生。,第17卷,剑桥大学出版社,剑桥,1989年。勘误表http://mat.uab.cat/dicks/DDerr.html·兹伯利0665.20001
[2] W.Dicks和S.V.Ivanov,关于群的自由积中自由子群的交集,数学。程序。剑桥菲洛斯。Soc.144(2008),511-534·Zbl 1154.20025号 ·文件编号:10.1017/S0305004107001041
[3] D.J.Grynkiewicz,《关于将Pollard定理推广到(t)可表示和》,Israel J.Math。177 (2010), 413-439. ·Zbl 1223.11013号 ·doi:10.1007/s11856-010-0053-6
[4] S.V.Ivanov,关于群的自由积中有限生成子群的交集,国际。J.代数计算。9(1999)第521-528页·兹比尔1028.20021 ·doi:10.1142/S021819679900031X
[5] S.V.Ivanov,群的自由积中的交叉自由子群,国际。J.代数计算。11 (2001), 281-290. ·Zbl 1028.20022号 ·doi:10.1142/S0218196701000267
[6] W.Lück,(L^2)-不变量:几何和(K)-理论的理论和应用,Ergeb。数学。格伦兹格布。(3) 第44卷,Springer-Verlag,柏林,2002年·Zbl 1009.55001号
[7] H.Neumann,关于自由群的有限生成子群的交集,Publ。数学。德布勒森4(1956),186-189·Zbl 0070.02001号
[8] H.Neumann,关于自由群的有限生成子群的交集。附录,出版物。数学。德布勒森5(1957),128·Zbl 0078.01402号
[9] W.D.Neumann,关于自由群的有限生成子群的交集,群-堪培拉1989(L.G.Kovács,ed.),数学讲义。,第1456卷,Springer-Verlag,柏林,1990年,第161-170页·Zbl 0722.20016号 ·doi:10.1007/BFb0100737
[10] J.M.Pollard,Cauchy和Davenport定理的推广,J.London Math。Soc.8(1974),460-462·Zbl 0322.10024号 ·doi:10.1112/jlms/s2-8.3.460
[11] M.Sykiotis,关于作用于树的群中有限复杂度的子群,J.纯粹应用。《代数》200(2005),1-23·Zbl 1107.20021号 ·doi:10.1016/j.jpaa.2004.11.005
[12] G.Tardos,关于自由群的子群的交集,发明。数学。108 (1992), 29-36. ·Zbl 0798.20015号 ·doi:10.1007/BF02100597
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。