球面稳定同伦群中非平凡元素γ_sξ_n

当p≥5, n≥0时,(i_1i_0)_*(h_n)∈Ext_■~(1,p~nq)(H~*K,Z_p)在Adams谱序列中是永久循环,并且收敛到π_(p~nq-1)K中的非零元.本文在此基础上,考虑了涉及第三希腊字母类乘积元素的收敛性,并且扩大了球面稳定同伦群中非平凡元素滤子s+1的取值范围,即当p+1 s+1 2p时,■_sh_n∈Ext_■~(s+1,t)(Z_p,Z_p)在Adams谱序列中是永久循环,并且收敛到π_(t-s-1)S中的非零元γ_sξ_n,其中p≥7, n≥3, t=p~nq+sp~2q+(s-1)pq+(s-2)q+s-3,q=2(p-1).     

有限群共轭类长的一个问题

设A和B都是有限群G的子群且G=AB.若A是G的次正规子群,且对每个p∈π(G)以及每个素数幂阶的p′-元x∈A∪B,p~2均不整除|x~G|,则G为超可解群.这个结果正面解答了由石向东,韦华全和马儇龙于2013年提出的一个问题,统一推广了由刘晓蕾于2011年得到的三个定理.     

The fractional metric dimension of permutation graphs

Let G =(V(G), E(G)) be a graph with vertex set V(G) and edge set E(G). For two distinct vertices x and y of a graph G, let RG{x, y} denote the set of vertices z such that the distance from x to z is not equa l to the distance from y to z in G. For a function g defined on V(G) and for U■V(G), let g(U) =∑s∈Ug(s). A real-valued function g : V(G) → [0, 1] is a resolving function of G if g(RG{x, y}) ≥ 1 for any two distinct vertices x, y ∈ V(G). The fractional metric dimension dimf(G)of a graph G is min{g(V(G)) : g is a resolving function of G}. Let G1 and G2 be disjoint copies of a graph G, and let σ : V(G1) → V(G2) be a bijection. Then, a permutation graph Gσ =(V, E) has the vertex set V = V(G1) ∪ V(G2) and the edge set E = E(G1) ∪ E(G2) ∪ {uv | v = σ(u)}. First,we determine dimf(T) for any tree T. We show that 1 dimf(Gσ) ≤1/2(|V(G)| + |S(G)|) for any connected graph G of order at least 3, where S(G) denotes the set of support vertices of G. We also show that, for any ε 0, there exists a permutation graph Gσ such that dimf(Gσ)- 1 ε. We give examples showing that neither is there a function h1 such that dimf(G) h1(dimf(Gσ)) for all pairs(G, σ), nor is there a function h2 such that h2(dimf(G)) dimf(Gσ) for all pairs(G, σ). Furthermore,we investigate dimf(Gσ) when G is a complete k-partite graph or a cycle.     

Gaussian fluctuations of eigenvalues in log-gas ensemble: Bulk case I

We study the central limit theorem of the k-th eigenvalue of a random matrix in the log-gas ensemble with an external potential V = q2mx2 m. More precisely, let Pn(d H) = Cne-nTrV(H)dH be the distribution of n × n Hermitian random matrices, ρV(x)dx the equilibrium measure, where Cnis a normalization constant, V(x) = q2mx2m with q2m=Γ(m)Γ(12)/Γ(2m+1/2), and m ≥ 1. Let x1 ≤···≤ xnbe the eigenvalues of H. Let k := k(n) be such that k(n)/n∈ [a, 1- a] for n large enough, where a ∈(0,12).Define G(s) :=∫s-1ρV(x)dx,- 1 ≤ s ≤ 1,and set t := G-1(k/n). We prove that, as n →∞,xk- t log n1/2 2π21/2nρV(t)→ N(0, 1)in distribution. Multi-dimensional central limit theorem is also proved. Our results can be viewed as natural extensions of the bulk central limit theorems for GUE ensemble established by J. Gustavsson in 2005.     

Universal C*-algebras defined by completely bounded unital homomorphisms

Suppose A is a unital C*-algebra and r 1.In this paper,we define a unital C*-algebra C_(cb)*(A,r) and a completely bounded unital homomorphism α_r:A → C_(cb)*(A,r)with the property that C_(cb)*(A,r)=C*(α_r(A))and,for every unital C*-algebra B and every unital completely bounded homomorphism φ:A→ B,there is a(unique)unital *-homomorphism π:C_(cb)*(A,r)→B such thatφ=πoα_r.We prove that,if A is generated by a normal set {t_λ:λ∈Λ},then C_(cb)*(A,r)is generated by the set {α_r(t_λ):λ∈Λ}.By proving an equation of the norms of elements in a dense subset of C_(cb)*(A,r)we obtain that,if Β is a unital C*-algebra that can be embedded into A,then C_(cb)*(B,r)can be naturally embedded into C(cb)*(A,r).We give characterizations of C_(cb)*(A,r)for some special situations and we conclude that C_(cb)*(A,r)will be "nice" when dim(A)≤ 2 and "quite complicated" when dim(A)≥ 3.We give a characterization of the relation between K-groups of A and K-groups of C_(cb)*(A,r).We also define and study some analogous of C_(cb)*(A,r).     

Nonsolvable D 2-groups

Let G be a finite group. Let Irr₁(G) be the set of nonlinear irreducible characters of G and cd₁(G) the set of degrees of the characters in Irr₁(G). A group G is said to be a D₂-group if |cd₁(G)| = |Irr₁(G)| - 2. The main purpose of this paper is to classify nonsolvable D₂-groups.     

短区间的并集中整数及其m次幂的差的均值分布

本文研究了短区间的并集中整数及其m次幂的差的均值分布问题,给出了渐近公式.具体来说,设P是奇素数,1≤H≤p,实数δ满足0 δ≤1,整数m≥2.设I~((j))是(0,p)的互不相交的子区间,1≤j≤J,满足H/2≤|I~((j))|≤H,以及(y)_p表示y在模p下的非负最小剩余.定义I=∪_(j=1)~JI~((j)),并设X是模p的Dirichlet非主特征.证明了Σ x∈1 |x-(x~m)p|δp 1=1/p∫_0~([δp]) (Σ x∈1 x≤p-1-t 1+Σ x∈1 x≥t=1 1)dt+O(mJ~(1/2)P~(1/2)log~2 plog H),以及Σ x∈1 |x-(x~m)p|δp X(x)mJ~(1/2)P~(1/2)log~2 plog H.     

Frattini子群是无限循环群的有限生成幂零群

完整地确定了Frattini子群是无限循环群的有限生成幂零群的结构,证明了下面的定理.设G是有限生成幂零群,则G的Frattini子群是无限循环群当且仅当G可以分解为G=S×F×T,其中F是秩为s的自由Abel群,T=Z_m_1⊕Zm_2⊕…⊕Z_m_u,m_1,m_2,…,m_u都是大于1的没有平方因子的自然数,m_1|m_2|…|m_u,■式中d_1,d_2,…,d_r都是正整数,d_1|d_2|…|d_r.进一步,(d_1,d2,…,d_r;s;m_1…,m_2,…,m_u)是群G的同构不变量,即若群H也是Frattini子群是无限循环群的有限生成幂零群,那么G同构于H的充要条件是它们有相同的不变量.     

The fixed subgroups of homeomorphisms of Seifert manifolds

Let M be a compact connected orientable Seifert manifold with hyperbolic orbifold B M,and fπ : π1(M) →π1(M) be an automorphism induced by an orientation-reversing homeomorphism f of M. We give a bound on the rank of the fixed subgroup of fπ, namely, rank Fix(fπ) 2rankπ1(M),which is an analogue of inequalities on surface groups and hyperbolic 3-manifold groups.     

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

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

Suzuki-Ree群的自同构群的阶分量刻画

在《数学学报》2013年第56卷第4期中,"Suzuki-Ree群的自同构群的一个新刻画"一文证明了Aut(~2F_4(q)),q=2~f和Aut(~2G_2(q)),q=3~f,可由其阶分量刻画,其中f=3~s,s为正整数.本文证明了Aut(~2B_2(q)),q=2~f和Aut(2G2(q)),q=3~f,也可由其阶分量刻画,其中f为奇素数.结合二者得到结论:Suzuki-Ree单群的所有的素图不连通的自同构群皆可由其阶分量刻画.     

剩余有限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群的有限扩张.     

Diophantine方程组a~2+b~2=c~r和x~2+b~y=c~z的一点注记

设r是大于1的正奇数,a,b,c是满足a~2+b~2=c~r的互素正整数.证明了:当r(?)5(mod8),c>10~(12)r~4且b是奇素数的方幂时,方程x~2+b~y=c~z仅有正整数解(x,y,z)=(a,2,r).     

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

重新确定了广义超特殊p-群G的自同构群的结构.设|G|=p~(2n+m),|ζG|=p~m,其中n≥1,m≥2,Aut_cG是AutG中平凡地作用在ζG上的元素形成的正规子群,则(i)若p是奇素数,则AutG=〈θ〉×Aut_cG,其中θ的阶是(p-1)p~(m-1);若p=2,则AutG=〈θ_1,θ_2〉×Aut_cG,其中〈θ_1,θ_2〉=〈θ_1〉×〈θ_2〉≌Z_(2m-2)×Z_2.(ii)如果G的幂指数是p~m,那么Aut_cG/InnG≌Sp(2n,p).(iii)如果G的幂指数是p~(m+1),那么Aut_cG/InnG≌K×Sp(2n-2,p),其中K是p~(2n-1)阶超特殊p-群(若p是奇素数)或者初等Abel 2-群.特别地,当n=1时,Aut_cG/InnG≌Z_p.     

Regular automorphisms of order p2

Let G be a group, and let α be a regular automorphism of order p² of G, where p is a prime. If G is polycyclic-by-finite and the map ϕ : G →G defined by g^ϕ= [g,α] is surjective, then G is soluble. If G is polycyclic, then C_G(α^p) and G/[G,α^p] are both nilpotent-by-finite.     

涉及导数与差分的亚纯函数唯一性

设f,g是两个非常数亚纯函数,a是一个非零有穷复数,n≥5是一个正整数.若[f(z)]~n与[g(z)]~n CM分担a,f(z)与g(z) CM分担∞,且N_(1))(r,f)=S(r,f),则或者f(z)三tg(z),其中t~n=1;或者f(z)g(z)≡t,其中t~n=a~2.由此改进了涉及导数与差分的一些亚纯函数唯一性的结果.     

Automorphisms of Extensions of ℚ by a Direct Sum of Finitely Many Copies of ℚ

Let G be an extension of ℚ by a direct sum of r copies of ℚ. (1) If G is abelian, then G is a direct sum of r + 1 copies of ℚ and AutG ≅ GL(r + 1, Q); (2) If G is non-abelian, then G is a direct product of an extraspecial ℚ-group E and m copies of ℚ, where E/ζE is a linear space over Q with dimension 2n and m + 2n = r. Furthermore, let AutG′G be the normal subgroup of AutG consisting of all elements of AutG which act trivially on the derived subgroup G′ of G, and AutG/ζG,ζGG be the normal subgroup of AutG consisting of all central automorphisms of G which also act trivially on the center ζG of G. Then (i) The extension 1 → AutG′G → AutG → AutG′ → 1 is split; (ii) AutG′G/AutG/ζG,ζGG ≅ Sp(2n,Q) × (GL(m, Q) ⋉ ℚ(m)); (iii) AutG/ζG,ζGG/InnG ≅ ℚ(2nm).     

关于有限群的弱S-可补嵌入子群(英文)

假定H是有限群G的一个子群.如果对于|H|的每个素因子p,H的一个Sylow p-子群也是G的某个s-可换子群的Sylow p-子群,则称H为G的s-可换嵌入子群;如果存在G的子群T使得G=HT并且H∩T≤HG,其中HG为群G含于H的最大的正规子群,则称H为G的c-可补子群;如果存在G的子群T使得G=HT并且H∩T≤Hse,其中Hse为群G含于H的一个s-可换嵌入子群,则称H为G的弱s-可补嵌入子群.本文研究弱s-可补嵌入子群对有限群结构的影响.某些新的结论被进一步推广.     

On <Emphasis Type="Italic">σ</Emphasis>-semipermutable Subgroups of Finite Groups

Let σ={σ_i|i∈I} be some partition of the set of all primes P, G a finite group and σ(G)={σ_i|σ_i ∩ π(G)≠∅}. A set H of subgroups of G is said to be a complete Hall σ-set of G if every member≠1 of H is a Hall σ_i-subgroup of G for some σ_i ∈ σ and H contains exactly one Hall σ_i-subgroup of G for every σ_i ∈ σ(G). A subgroup H of G is said to be:σ-semipermutable in G with respect to H if HH_i^x=H_i^xH for all x ∈ G and all H_i ∈ H such that (|H|,|H_i|)=1; σ-semipermutable in G if H is σ-semipermutable in G with respect to some complete Hall σ-set of G. We study the structure of G being based on the assumption that some subgroups of G are σ-semipermutable in G.     

On Graph-Lagrangians and clique numbers of 3-uniform hypergraphs

The paper explores the connection of Graph-Lagrangians and its maximum cliques for 3-uniform hypergraphs.Motzkin and Straus showed that the Graph-Lagrangian of a graph is the Graph-Lagrangian of its maximum cliques.This connection provided a new proof of Turán classical result on the Turán density of complete graphs.Since then,Graph-Lagrangian has become a useful tool in extremal problems for hypergraphs.Peng and Zhao attempted to explore the relationship between the Graph-Lagrangian of a hypergraph and the order of its maximum cliques for hypergraphs when the number of edges is in certain range.They showed that if G is a 3-uniform graph with m edges containing a clique of order t-1,then λ(G)=λ([t-1]~((3))) provided (t-13)≤m≤(t-13)+_(t-22).They also conjectured:If G is an r-uniform graph with m edges not containing a clique of order t-1,then λ(G)λ([t-1]~((r))) provided (t-1r)≤ m ≤(t-1r)+(t-2r-1).It has been shown that to verify this conjecture for 3-uniform graphs,it is sufficient to verify the conjecture for left-compressed 3-uniform graphs with m=t-13+t-22.Regarding this conjecture,we show: If G is a left-compressed 3-uniform graph on the vertex set [t] with m edges and |[t-1]~((3))\E(G)|=p,then λ(G)λ([t-1]~((3))) provided m=(t-13)+(t-22) and t≥17p/2+11.