广义超特殊p-群的自同构群

确定了广义超特殊p-群G的自同构群的结构.假设｜G｜=p^2n＋m,｜ζG｜=p^m,其中n≥1,m≥2,（1）当p是奇数时,记AutG＇G={α∈AutG｜α在G上作用平凡},则（i）AutG＇G Aut G,Aut G/AutG＇G=～Zp-1;（ii）如果G的幂指数是p^m,那么AutG＇G/InnG=～Sp（2n,p）×Zp^m-1;（iii）如果G的幂指数是p^m＋1,那么AutG＇G/InnG=～（K×Sp（2n-2,p））×Zp^m-1,其中K是p^2n-1阶超特殊p-群.特别地,当n=1时,AutG＇G/Inn G=～Zp×Zp^m-1.（2）当p=2时,（i）如果G的幂指数是2^m,那么Out G=～Sp（2n,2）×Z2×Z2^m-2.特别地,当n=1时,｜Aut G｜=3·2^m＋2,Aut G的Sylow子群都不是正规子群,并且Aut G的Sylow 2-子群都同构于HK,其中H=Z2×Z2×Z2×Z2^m-2,K=Z2.（ii）如果G的幂指数是2^m＋1,那么OutG=～（ISp（2n2,2））×Z2×Z2^m-2,其中I是一个2^2n-1阶初等Abel 2-群.特别地,当n=1时,｜AutG｜=2^m＋2并且Aut G=～HK,其中H=Z2×Z2×Z2^m-1,K=Z2.     

多重循环群的一个注记

设A是秩为n的自由Abel群.熟知A的自同构群Aut(A)=GL(n,Z).设f(λ)=λⁿ+a_n-1λ^n-1+…+a₁λ+a₀∈Z[λ]是不可约多项式,其中a₀=±1.设T=<α>是无限循环群,α通过多项式f(λ)的Frobenius相伴矩阵诱导的自同构作用在A上.设G=A ■ T.我们证明G是剩余有限p-群当且仅当p整除f(1).     

两类整环上的上三角矩阵群(Ⅰ)

本文从两类整环上的二阶上三角矩阵入手,构造了两个3元生成的亚Abel群,给出了它们的清晰结构,研究了它们的剩余有限性质:一,证明了其中一个无限秩的亚Abel群是剩余有限p-群,这里p是任意素数.二,证明了另一个有限秩的亚Abel群没有这种整齐的剩余有限性质,尽管其结构要简单得多.本文的结果表明,无限可解群里秩的有限性条件对群的剩余有限性具有很大的影响.如何把本文的研究推广到高阶矩阵群,是值得进一步探索的问题.     

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

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

Abel群的一些分解定理的推广(Ⅱ)

本文讨论了2类具体的主理想整环上的拟循环模,研究了A-宽有限的向量空间,刻画了该类向量空间的结构,阐述了A-宽有限的向量空间的A-不变子空间构成的偏序集必满足极小条件,并给出了带有线性变换的向量空间作为F[λ]-模构成拟循环模的一个充要条件.     

关于正定矩阵的Szász不等式和Hadamard不等式的注记

在矩阵不等式理论里,Szász不等式和Hadamard不等式是基本的结论.给出Szász不等式的加法形式,证明Hadamard不等式等价于AM-GM不等式,这些定论似乎被矩阵论专家忽视了.从一个侧面揭示了"平均"思想的重要作用.     

剩余有限minimax可解群的自同构

设G是剩余有限minimax可解群,α是G的自同构且φ:G→G(g→[g,α])是满射,则有以下结果:(1)当α~p=1时,G是幂零类不超过h(p)的幂零群的有限扩张,其中h(p)是只与p有关的函数;(2)当α~4=1时,G存在一个指数有限的特征子群H,使得H″≤Z(H)和C_H(α~2)是Abel群.并且C_G(α~2)和G/[G,α~2]都是Abel群的有限扩张.     

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

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

换位子群为P 阶群的有限P- 群的自同构群(Ⅱ)

本文给出了换位子群为p 阶群的有限p-群的自同构群的结构定理的两点应用: 其一, 直接导出某些有限p-群的自同构群的结构; 其二, 对换位子群为p 阶群的有限p-群, 确定了其自同构群的阶何时达到最大值和最小值.     

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

设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 的下中心列考虑了类似的问题, 得到了对偶的结果.