×

S-群、A-群和Tor函子。 (英语) Zbl 0701.20030号

本文研究给定交换p-群A和B的Tor(A,B)的结构。Tor(A,B)是完全射影的吗?J.欧文,T.斯纳布R.酒窖[注释:圣保罗大学数学29,1-5(1980;Zbl 0441.20035号)]否定地回答了这个问题。然而,作者表明,在这种情况下,Tor(A,B)是一个A类P.希尔【美国数学学会Trans.Am.Math.Soc.288,505-525(1985;Zbl 0573.20053号)]. 这里一个交换p-群是一个A-群,如果它是一个全投射群和极限长度(α)的全投射群的同型子群(H_i)的直和,使得(G_i/H_i\)再次是全投射的。因此,Tor(A,B)由其Ulm不变量和P.Hill(loc.cit.)引入的不变量(E_{\alpha})决定。构造示例表明,如果A和B都是A-群,或者如果两者都是S-群,Tor(A,B)不一定是A-组。本文最后讨论了p-群的(p^{alpha})投射维数。

MSC公司:

20K10码 扭群、初等群和广义初等群
20公里40 阿贝尔群的同调和范畴方法
PDF格式BibTeX公司 XML格式引用