有限秩的幂零群的自同构

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

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

设幂零群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相似文献   

一类p''''-自由的幂零群的p-自同构(Ⅱ)

设G=KP,其中K是有限生成的p'-自由的幂零群,P是有限秩的幂零p-群,并且[K,P]=1,即G是K和P的中心积,α和β是G的两个p-自同构,记I=〈(αβ(g))·(βα(g))-1|g∈G〉,则(i)当I=Zpn (○+) Zp∞时,α和β生成一个可解的剩余有限p-群,它是有限生成的无挠幂零群被有限p-群的扩张;在下列3种情形下,α和β生成一个可解的剩余有限p-群,其幂零长度不超过3.(ii)当I=Z (○+) Zp∞时;(iii)当I有正规列1＜J＜I,其商因子分别为无限循环群和有限循环群时;(iv)当I有正规列1＜L＜J＜I,其3个商因子分别为无限循环群、有限循环群和拟循环p-群时.特别地,当上述群K是一个FC-群时,α和β生成的群是有限生成的无挠幂零群被有限p-群的扩张.     

有限群的p-幂零性和极小子群

从有限群构造的角度来看,p-幂零群和p-可分解群很相似,前者是p-群和p'-群的半直积,后者是p-群和P'-群的直积.有限群G的p-可分解剩余是P(G)=∩{H|H(⊿) G,而且G/H是p-可分解}.通过观察p-可分解剩余和极小子群的性质得到了几个关于p-幂零的充要条件.     

一类p′-自由的幂零群的p-自同构(Ⅱ)

设G=KP,其中K是有限生成的p′-自由的幂零群,P是有限秩的幂零p-群,并且[K,P]=1,即G是K和P的中心积,α和β是G的两个p-自同构,记I:=〈(αβ(g))·(βα(g))~(-1)|g∈G〉,则(i)当I=Z_(p~n)(?)Z_(p~∞)时,α和β生成一个可解的剩余有限p-群,它是有限生成的无挠幂零群被有限p-群的扩张;在下列3种情形下,α和β生成一个可解的剩余有限p-群,其幂零长度不超过3.(ii)当I=Z(?)Z_(p~∞)时;(iii)当I有正规列1相似文献   

关于有限群的p-幂零性

设G是一个有限群,p是|G|的最小素因子,主要研究了G的p阶或4阶循环子群的S-半置换性和NE-性对G的结构的影响,继而证明p阶或4阶循环子群的S-半置换性和NE-性与G的p-幂零性之间的关系.在此基础上,将上述结果推广到G=AB的情形,其中A和B是G的次正规子群,或者A和B完全置换.     

具有p-幂零s-补子群的有限群（英文）

有限群G的子群H叫做F-s-补子群,若存在G的一个子群K使得G=HK且K/(K∩H_G)∈F,其中F是一个群类.本论文利用p-幂零s-补子群得到了关于有限群为p-幂零群的一些新成果.     

拟极小外p-自同构不动点子群为p阶的p-群

阶为某素数p的方幂的自同构如果不是内自同构,则称其为外p-自同构.如果φ是群G的外p-自同构且o(φ)=p,其中φ是φ在Out(G)=Aut(G)/Inn(G)中的自然同态像,则称φ为群G的拟极小外p-自同构.设φ是有限p-群G的任意拟极小外p-自同构,给出了|C_G(φ)|≤p时G的结构.     

外p-自同构对p-群生成元个数的一个限制

阶为某素数p的方幂的非内自同构,称为外p-自同构.研究了有限p-群G的任意外p-自同构φ满足|C_G(φ)|≤p^k时群G生成元的个数.     

Finitely Generated Torsion-free Nilp otent Groups Admitting an Automorphism of Prime Order

Let G be a finitely generated torsion-free nilpotent group and α an automorphism of prime order p of G. If the map φ : G-→ G defined by gφ= [g, α]is surjective, then the nilpotent class of G is at most h(p), where h(p) is a function depending only on p. In particular, if α3= 1, then the nilpotent class of G is at most2.     

On Groups with a CC(n)-Subgroup

A subgroup H of G is a CC(n)-subgroup of G if |G: H| >n and |C_G(x): C_H(x)| ≤n for each element x ∈ H ? {1}. In this article, we study the finite p-groups with a nontrivial CC(p)-subgroup, and the locally nilpotent groups with a nontrivial CC(n)-subgroup.     

On Commuting Automorphisms of p-Groups

Let G be a group. If the set 𝒜(G) = {α ∈Aut(G) | xα(x) = α(x)x, for all x ∈ G} forms a subgroup of Aut(G), then G is called 𝒜(G)-group. We show that the minimum order of a non-𝒜(G) p-group is p ⁵ for any prime p. We also find the smallest group order of a non-𝒜(G) group. This is related to a question introduced by Deaconescu, Silberberg, and Walls [4 Deaconescu , M. , Silberberg , Gh. , Walls , G. ( 2002 ). On commuting automorphisms of groups . Arch. Math 79 : 423 – 429 .[Crossref] , [Google Scholar]]. Moreover, we prove that for any prime p and for all integer n ≥ 5, there exists a non-𝒜(G) group of order p ⁿ .     

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

设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的下中心列,可以得到对偶的结果.     

On noninner automorphisms of 2-generator finite p-groups

A longstanding conjecture asserts that every finite nonabelian p-group admits a noninner automorphism of order p. In this paper we give some necessary conditions for a possible counterexample G to this conjecture, in the case when G is a 2-generator finite p-group. Then we show that every 2-generator finite p-group with abelian Frattini subgroup has a noninner automorphism of order p.     

Rank of the fundamental group of any component of a function space

We compute the rank of the fundamental group of any connected component of the space for and connected, nilpotent CW complexes of finite type with finite. For the component corresponding to a general homotopy class , we give a formula directly computable from the Sullivan model for . For the component of the constant map, our formula retrieves a known expression for the rank in terms of classical invariants of and . When both and are rationally elliptic spaces with positive Euler characteristic, we use our formula to determine the rank of the fundamental group of any component of explicitly in terms of the homomorphism induced by on rational cohomology.