有限秩的幂零群的自同构(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 运用发展出来的方法, 还证明了几类有限秩的幂零群的自同构群的有限生成子群是剩余有限的.     

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

研究了有限秩的幂零群的自同构,证明了定理设幂零群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是有限秩的幂零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 是有限秩的幂零π-群, α 和β 是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 的下中心列考虑了类似的问题, 得到了对偶的结果.     

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

设G是一个有限秩的幂零p-群,α和β是G的两个p-自同构,记I= ((αβ(g))(βα(g))-1)|g∈G),则(i)当I是有限循环群时,α和β生成一个有限P-群; (ii)当I是拟循环p-群时,α和β生成一个可解的剩余有限P-群,它是有限生成的无挠幂零群被有限p-群的扩张．     

有限秩的可解群的正则自同构

设G是有限秩的剩余有限可解群或是有限秩的剩余有限可解群的有限扩张,α是G的一个索数p阶正则自同构且φ:G→G(g→[g,α])是满射,则G是幂零类不超过h(p)的幂零群,其中h(p)是只与p有关的函数.     

有限秩的可解群的一个幂零条件

设G是个有限秩的可解群,如果对无限多个素数p,G是个剩余有限p-群,那么G是个有限秩的无挠幂零群.     

有限秩的可解群的一个幂零条件

设 Ｇ是个有限秩的可解群,如果对无限多个素数ｐ, Ｇ是个剩余有限ｐ－群,那么 Ｇ是个有限秩的无挠幂零群．     

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

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

无限幂零群的剩余有限性质

研究了无限幂零群的剩余有限性质,分析了Gruenberg型定理和Baer-Higman型定理,得到了某些无限可解群的剩余有限性质,推广了Hirsch-Robinson型定理.     

关于有限秩的幂零群的自同构

设G是有限秩的幂零群,1=ζ_0Gζ_1G …ζ_cG=G是G的上中心列,End(ζ_iG/ζ_(i-1)G)是Abel群ζ_iG/ζ_(i-1)G的自同态环(1≤i≤c),End(ζ_iG/ζ_(i-1)G)可以自然地作成一个Lie环.α_1,α_2,…,α_n是G的n个自同构,把它们在ζ_iG/ζ_(i-1)G上的诱导自同构分别记为α_(1i),α_(2i),…,α_(ni)(1≤i≤c).如果由α_(1i),α_(2i),…,α_(ni)生成的Lie环End(ζ_iG/ζ_(i-1)G)的Lie子环都是完全可解的,那么α_1,α_2,…,α_n生成的AutG的子群具有良好的幂零性质.考虑G的下中心列,可以得到对偶的结果.     

Nilpotent Length of a Finite Solvable Group with a Frobenius Group of Automorphisms

We prove that a finite solvable group G admitting a Frobenius group FH of automorphisms of coprime order with kernel F and complement H such that [G, F] = G and C _{C G (F)}(h) = 1 for all nonidentity elements h ∈ H, is of nilpotent length equal to the nilpotent length of the subgroup of fixed points of H.     

关于有限群两个幂零子群积的问题

众所周知,有限群的两个幂零子群的积不一定是幂零的．本文研究了Ｅｎｇｅｌ条件对两个幂零子群的影响,得到两个幂零子群的积为幂零群的几个充分条件。     

On the Marginal Automorphisms of a Group

Let W be a nonempty subset of a free group. We call an automorphism α of a group G a marginal automorphism if x ^?1α(x) ∈ W*(G) for each x ∈ G, where W*(G) is the marginal subgroup of G. In this article, we give some results on marginal automorphisms of a group.     

The Group of Automorphisms of the Rational Group Algebra of a Finite Metacyclic Group

We investigate the group of automorphisms Aut(? G) of a rational group algebra ? G of a finite metacyclic group G by first describing the simple components of the Wedderburn decomposition of ? G and then investigating when two of these simple components are isomorphic.     

Fitting Height of a Finite Group with a Metabelian Group of Automorphisms

Let M = FH be a finite group that is a product of a normal abelian subgroup F and an abelian subgroup H. Assume that all elements in M?F have prime order p, and F has at most one subgroup of order p. Examples of such groups are dihedral groups for p = 2 and the semidirect product of a cyclic group F by a group H of prime order p such that C _F (H) = 1 or |C _F (H)| =p and C _{F/C F (H)}(H) = 1. Suppose that M acts on a finite group G in such a manner that C _G (F) = 1. We prove that the Fitting height h(G) of G is at most h(C _G (H))+ 1. Moreover, the Fitting series of C _G (H) coincides with the intersection of C _G (H) with the Fitting series of G.