有限秩的幂零群的自同构(Ⅱ)

设幂零群G=KP=PK,其中P是有限秩的幂零p-群,K是G的有限秩的p-自由的正规子群,p不属于K的谱Sp(K).设1=ζ0Gζ1G···ζcG=G是G的上中心列,α和β是G的两个p-自同构,把α,β在每个ζiG/ζi-1G上的诱导自同构分别记为αi和βi,又记Ii:=Im(αiβi-βiαi),则(i)如果每个Ii都是有限循环群,并且I:=(αβ(g))(βα(g))-1|g∈G是G的有限子群,那么α和β生成一个有限p-群;(ii)如果Ii或为有限循环群,或为拟循环p-群,或为Zpn⊕Zp∞对某自然数n,那么α和β生成一个可解的剩余有限p-群,它是有限生成的无挠幂零群被有限p-群的扩张;(iii)如果Ii或为有限循环群,或为拟循环p-群,或为Zpn⊕Zp∞,或为无挠的局部幂零群,或Ii有正规列1JiIi,其商因子分别为有限循环群、无挠的局部幂零群,或Ii=Zp∞⊕Ji,Ji为无挠的局部幂零群,或Ii有正规列1KiJiIi,其商因子分别为有限循环群、拟循环p-群、无挠的局部循环群,那么α和β生成一个可解的剩余有限p-群,它的幂零长度至多是3.特别地,当K是一个FC-群时,在情形(iii),α和β生成的群也是有限生成的无挠幂零群被有限p-群的扩张.此外,如果G=KP里,K是一个FC-群,对G的下中心列考虑了类似的问题,得到了"对偶"的结果.     

有限秩的幂零群的自同构(Ⅰ)

研究了有限秩的幂零群的自同构,证明了定理设幂零群G=KP,其中P是有限秩的幂零p-群,K是G的有限秩的p′-自由的正规子群,p不属于K的谱S_p(K).设α和β是G的两个p-自同构,记I:= <(αβ(g))·(βα(g))~(-1)|g∈G>,则(i)当I是有限循环群时,α和β生成一个有限p-群;在下列2种情形下,α和β生成一个可解的剩余有限p-群,它是有限生成的无挠幂零群被有限p-群的扩张.(ii)当I=Z_p∞时;(iii)当I=Z_pm⊕Z_p∞时;在下列4种情形下,α和β也生成一个可解的剩余有限p-群,它的幂零长度至多是3.(iv)当I是无挠的局部循环群时;(v)当I有子群列1相似文献   

有限生成的无限可解群的多余子群

本文得到了有限生成的无限可解群的多余子群的一些结果，它们是有限群的某些相应结果的推广。     

有限秩的幂零群的自同构

设幂零群G=KP=PK,其中P是有限秩的幂零π-群,K是G的有限秩的π′-自由的正规子群.π不属于K的谱Sp(K),设1=ζ0Gζ1G…ζcG=G是G的上中心列,α和β是G的两个自同构,把α和β在每个商因子ζiG/ζ(i—1)G上的诱导自同构分别记为αi和βi,记Ii:=Im(αiβi—βiαi),则(i)当每个Ii都是有限循环群,并且I:=〈(αβ(g))(βα(g))(-1)|g∈G〉是G的有限子群时,α和β生成一个可解的几乎Abel群.(ii)当每个Ii或者是有限循环群,或者是秩1的可除群,或者是C⊕D,其中C是循环群,D是秩1的可除群,或者是无挠的局部循环群,或者Ii有正规子群列1JiIi,其商因子分别为有限循环群,无挠的局部循环群,或者Ii=D⊕Ji,其中D是秩1的可除群,Ji为无挠的局部循环群,或者Ii有正规列1KiJiIi,其商因子分别为有限循环群,秩1的可除群,无挠的局部循环群时,β和β生成一个可解的NAF-群.特别地,如果α和β是A的两个π′-自同构,那么(iii)当每个Ii都是有限循环群,并且I:=〈(αβ(g))(βα(g))(-1)|g∈G〉是有限群时,α和β生成的群是有限幂零π-群被有限Abelπ′-群的扩张.(iv)当每个Ii或者是有限循环群,或者是秩1的可除群,或者是C⊕D,其中C是循环群,D是秩1的可除群时,α和β生成一个可解的剩余有限π∪π′-群,它是有限生成的无挠幂零群被有限可解π∪π′-群的扩张.(v)当每个Ii或者是有限循环群,或者是秩1的可除群,或者是C⊕D,其中C是循环群,D是秩1的可除群,或者是无挠的局部循环群,或者Ii有正规子群列1JiIi,其商因子分别为有限循环群,无挠的局部循环群,或者Ii=D⊕Ji,其中D是秩1的可除群,Ji为无挠的局部循环群,或者Ii有正规列1KiJiIi,其商因子分别为有限循环群,秩1的可除群,无挠的局部循环群时,α和β生成一个可解的剩余有限π∪π′-群,它的幂零长度至多是4.当K是FC-群时,在情形(v)中,α和β生成的群是有限生成的无挠幂零群被有限可解π∪π′-群的扩张.此外,如果G=KP,K是一个FC-群,对G的下中心列考虑了类似的问题,得到了对偶的结果.     

有限秩的幂零π-群的自同构

设G 是有限秩的幂零π-群, α 和β 是G 的两个自同构. 设1=ς₀G < ς₁G < …< ς_cG=G是G 的上中心列, 把α 和β 在每个商因子ς_iG/ς_i-1G 上的诱导自同构分别记为α_i 和β_i. 如果每个Im(α_iβ_i-β_iα_i) 或者是循环群, 或者是T⊕D, 其中T 是循环群, D 是秩1 的可除群, 那么α 和β 生成一个可解的NAF-群. 特别地, 如果α 和β 是G 的两个π′- 自同构, 那么
(i) 当每个Im(α_iβ_i-β_iα_i) 都是循环群时, α 和β 生成的群是有限幂零π- 群被有限Abel π′- 群的扩张.
(ii) 当每个Im(α_iβ_i-β_iα_i) 或者是循环群, 或者是T⊕D, 其中T 是循环群, D 是秩1 的可除群时, α 和β 生成一个剩余有限π ∪ π′- 群A, A 有正规列1≤C≤B≤A, 其中C 是有限生成的无挠幂零群, B/C 是有限幂零π- 群, A/B 是有限Abel π′- 群.
此外, 对于G 的下中心列考虑了类似的问题, 得到了对偶的结果.     

关于幂零群的π-孤立子群

从群的上、下中心列出发，给出了涉及幂零群的π—孤立子群的一些结果。     

有限秩的幂零群的自同构(I)

研究了有限秩的幂零群的自同构, 证明了 \qquad {\heiti定理}\quad设幂零群~$G=KP$, 其中~$P$是有限秩的幂零~$p$-\!群, ~$K$ 是~$G$\,的有限秩的~$p^\prime$-\!自由的正规子群, ~$p$\, 不属于~$K$\,的谱~$S_p(K)$. 设~$\alpha$ 和~$\beta$ 是~$G$ 的两个~$p$-\!自同构,记~$I:=\langle\left(\alpha\beta(g)\right)\cdot\left(\beta\alpha(g)\right)^{-1}\, |\, g\in G \rangle, $ 则 \qquad (i) 当~$I$\, 是有限循环群时, $\alpha$ 和~$\beta$生成一个有限~$p$-\!群; \qquad 在下列2种情形下, ~$\alpha$ 和~$\beta$生成一个可解的剩余有限~$p$-\!群,它是有限生成的无挠幂零群被有限~$p$-\!群的扩张. \qquad (ii) 当~$I=Z_{p^{\infty}}$ 时; \qquad (iii) 当~$I=Z_{p^{m}}\oplus Z_{p^{\infty}}$ 时; \qquad 在下列4种情形下, $\alpha$ 和~$\beta$也生成一个可解的剩余有限~$p$-\!群, 它的幂零长度至多是~$3$. \qquad (iv) 当~$I$\, 是无挠的局部循环群时; \qquad (v) 当~$I$ 有子群列~$1< J< I, $其商因子分别为有限循环群、无挠的局部循环群时; \qquad (vi) 当~$I=Z_{p^{\infty}}\times J, $ 其中~$J$\,为无挠的局部循环群时; \qquad (vii) 当~$I$ 有正规列~$1< I_1研究了有限秩的幂零群的自同构, 证明了 \qquad {\heiti定理}\quad设幂零群~$G=KP$, 其中~$P$是有限秩的幂零~$p$-\!群, ~$K$ 是~$G$\,的有限秩的~$p^\prime$-\!自由的正规子群, ~$p$\, 不属于~$K$\,的谱~$S_p(K)$. 设~$\alpha$ 和~$\beta$ 是~$G$ 的两个~$p$-\!自同构,记~$I:=\langle\left(\alpha\beta(g)\right)\cdot\left(\beta\alpha(g)\right)^{-1}\, |\, g\in G \rangle, $ 则 \qquad (i) 当~$I$\, 是有限循环群时, $\alpha$ 和~$\beta$生成一个有限~$p$-\!群; \qquad 在下列2种情形下, ~$\alpha$ 和~$\beta$生成一个可解的剩余有限~$p$-\!群,它是有限生成的无挠幂零群被有限~$p$-\!群的扩张. \qquad (ii) 当~$I=Z_{p^{\infty}}$ 时; \qquad (iii) 当~$I=Z_{p^{m}}\oplus Z_{p^{\infty}}$ 时; \qquad 在下列4种情形下, $\alpha$ 和~$\beta$也生成一个可解的剩余有限~$p$-\!群, 它的幂零长度至多是~$3$. \qquad (iv) 当~$I$\, 是无挠的局部循环群时; \qquad (v) 当~$I$ 有子群列~$1< J< I, $其商因子分别为有限循环群、无挠的局部循环群时; \qquad (vi) 当~$I=Z_{p^{\infty}}\times J, $ 其中~$J$\,为无挠的局部循环群时; \qquad (vii) 当~$I$ 有正规列~$1< I_1研究了有限秩的幂零群的自同构, 证明了 \qquad {\heiti定理}\quad设幂零群~$G=KP$, 其中~$P$是有限秩的幂零~$p$-\!群, ~$K$ 是~$G$\,的有限秩的~$p^\prime$-\!自由的正规子群, ~$p$\, 不属于~$K$\,的谱~$S_p(K)$. 设~$\alpha$ 和~$\beta$ 是~$G$ 的两个~$p$-\!自同构,记~$I:=\langle\left(\alpha\beta(g)\right)\cdot\left(\beta\alpha(g)\right)^{-1}\, |\, g\in G \rangle, $ 则 \qquad (i) 当~$I$\, 是有限循环群时, $\alpha$ 和~$\beta$生成一个有限~$p$-\!群; \qquad 在下列2种情形下, ~$\alpha$ 和~$\beta$生成一个可解的剩余有限~$p$-\!群,它是有限生成的无挠幂零群被有限~$p$-\!群的扩张. \qquad (ii) 当~$I=Z_{p^{\infty}}$ 时; \qquad (iii) 当~$I=Z_{p^{m}}\oplus Z_{p^{\infty}}$ 时; \qquad 在下列4种情形下, $\alpha$ 和~$\beta$也生成一个可解的剩余有限~$p$-\!群, 它的幂零长度至多是~$3$. \qquad (iv) 当~$I$\, 是无挠的局部循环群时; \qquad (v) 当~$I$ 有子群列~$1< J< I, $其商因子分别为有限循环群、无挠的局部循环群时; \qquad (vi) 当~$I=Z_{p^{\infty}}\times J, $ 其中~$J$\,为无挠的局部循环群时; \qquad (vii) 当~$I$ 有正规列~$1< I_1其商因子分别为有限循环群、拟循环~$p$-\!群、无挠的局部循环群时. \qquad 特别地, 当群~$K$ 是一个~$FC$-\!群时, 在上述后4种情形下,~$\alpha$ 和~$\beta$生成的群也是有限生成的无挠幂零群被有限~$p$-\!群的扩张. \qquad 运用发展出来的方法, 还证明了几类有限秩的幂零群的自同构群的有限生成子群是剩余有限的.