On s-semipermutable subgroups of finite groups

Suppose that G is a finite group and H is a subgroup of G. We say that H is ssemipermutable in G if HGv = GpH for any Sylow p-subgroup Gp of G with （p, ｜H｜） = 1. We investigate the influence of s-semipermutable subgroups on the structure of finite groups. Some recent results are generalized and unified.     

子群的S-条件置换性对有限群结构的影响

Let G be a finite group. Fix a prime divisor p of IGI and a Sylow p-subgroup P of G, let d be the smallest generator number of P and Ma（P） denote a family of maximal subgroups P1, P2 , Pd of P satisfying ∩^di=1 Pi = Ф（P）, the Frattini subgroup of P. In this paper, we shall investigate the influence of s-conditional permutability of the members of some fixed .Md（P） on the structure of finite groups. Some new results are obtained and some known results are generalized.     

有限群的$p$-覆盖远离子群及$S$-拟正规嵌入子群

Let G be a finite group, p the smallest prime dividing the order of G and P a Sylow p-subgroup of G. If d is the smallest generator number of P, then there exist maximal subgroups P1, P2,..., Pd of P, denoted by Md(P) = {P1,...,Pd}, such that di=1 Pi = Φ(P), the Frattini subgroup of P. In this paper, we will show that if each member of some fixed Md(P) is either p-cover-avoid or S-quasinormally embedded in G, then G is p-nilpotent. As applications, some further results are obtained.     

Generalization for Laplacian energy

Let G be a simple graph with n vertices and m edges. Let λ1, λ2,…, λn, be the adjacency spectrum of G, and let μ1, μ2,…, μn be the Laplacian spectrum of G. The energy of G is E（G） = n∑i=1｜λi｜, while the Laplacian energy of G is defined as LE（G） = n∑i=1｜μi-2m/n｜ Let γ1, γ2, ~ …, γn be the eigenvalues of Hermite matrix A. The energy of Hermite matrix as HE（A） = n∑i=1｜γi-tr（A）/n｜ is defined and investigated in this paper. It is a natural generalization of E（G） and LE（G）. Thus all properties about energy in unity can be handled by HE（A）.     

On Centralizer Subalgebras of Group Algebras

Let G be a finite group, H ≤ G and R be a commutative ring with an identity 1R. Let CRG（H）={α ∈ RG｜αh = hα for all h ∈ H）, which is called the centralizer subalgebra of H in RG. Obviously, if H=G then CRG（H） is just the central subalgebra Z（RG） of RG. In this note, we show that the set of all H- conjugacy class sums of G forms an R-basis of CRG（H）. Furthermore, let N be a normal subgroup of G and γthe natural epimorphism from G to G to G/N. Then γ induces an epimorphism from RG to RG, also denoted by % We also show that if R is a field of characteristic zero, then γ induces an epimorphism from CRG（H） to CRG（H）, that is, 7（CRG（H）） = CRG（H）.     

Normal Functions Concerning Shared Values

In this paper we discuss normal functions concerning shared values. We obtain the follow result. Let F be a family of meromorphic functions in the unit disc A, and a be a nonzero finite complex number. If for any f ∈F, the zeros of f are of multiplicity, f and f′ share a, then there exists a positive number M such that for any f∈F1（1-｜z｜^2） ｜f′（z）｜/1＋｜f（z）｜^2≤M.     

Smallest close to regular bipartite graphs without an almost perfect matching

A graph G is close to regular or more precisely a （d, d ＋ k）-graph, if the degree of each vertex of G is between d and d ＋ k. Let d ≥ 2 be an integer, and let G be a connected bipartite （d, d＋k）-graph with partite sets X and Y such that ｜X｜- ｜Y｜＋1. If G is of order n without an almost perfect matching, then we show in this paper that·n ≥ 6d ＋7 when k = 1,·n ≥ 4d＋ 5 when k = 2,·n ≥ 4d＋3 when k≥3.Examples will demonstrate that the given bounds on the order of G are the best possible.     

On solubility and supersolubility of some classes of finite groups

Let G be a finite group and H a subgroup of G. Then H is said to be S-permutable in G if HP = PH for all Sylow subgroups P of G. Let HsG be the subgroup of H generated by all those subgroups of H which are S-permutable in G. Then we say that H is S-embedded in G if G has a normal subgroup T and an S-permutable subgroup C such that T ∩ H HsG and HT = C. Our main result is the following Theorem A. A group G is supersoluble if and only if for every non-cyclic Sylow subgroup P of the generalized Fitting subgrou...     

Finite groups with its power automorphism groups having small indices

In this paper, a finite group G with IAut（G） ： P（G）I ~- p or pq is determined, where P（G） is the power automorphism group of G, and p, q are distinct primes. Especially, we prove that a finite group G satisfies ｜Aut（G） ： P（G）｜= pq if and only if Aut（G）/P（G） ≌S3. Also, some other classes of finite groups are investigated and classified, which are necessary for the proof of our main results.     

OD-characterization of Almost Simple Groups Related to U3（5）

Let G be a finite group with order ｜G｜=p1^α1p2^α2……pk^αk, where p1 〈 p2 〈……〈 Pk are prime numbers. One of the well-known simple graphs associated with G is the prime graph （or Gruenberg- Kegel graph） denoted .by г（G） （or GK（G））. This graph is constructed as follows： The vertex set of it is π（G） = {p1,p2,…,pk} and two vertices pi, pj with i≠j are adjacent by an edge （and we write pi - pj） if and only if G contains an element of order pipj. The degree deg（pi） of a vertex pj ∈π（G） is the number of edges incident on pi. We define D（G） ：= （deg（p1）, deg（p2）,..., deg（pk））, which is called the degree pattern of G. A group G is called k-fold OD-characterizable if there exist exactly k non- isomorphic groups H such that ｜H｜ = ｜G｜ and D（H） = D（G）. Moreover, a 1-fold OD-characterizable group is simply called OD-characterizable. Let L ：= U3（5） be the projective special unitary group. In this paper, we classify groups with the same order and degree pattern as an almost simple group related to L. In fact, we obtain that L and L.2 are OD-characterizable; L.3 is 3-fold OD-characterizable; L.S3 is 6-fold OD-characterizable.     

有限群的素数幂阶S-拟正规嵌入子群

设G为有限p-可解群,其中p为|G|的奇素因子.若P为G的Sylow p-子群且最小生成系含d个元素.考虑集合M_d(P)={P_1,…,P_d},其中P_1,…,P_d是P的极大子群且满足(?)P_i=φ(P).证明了若M_d(P)中每个元在G中是S-拟正规嵌入的,则G为p-超可解群.作为应用,还得到了一些进一步的结论.     

具有弱$s$-置换嵌入子群的有限群

Let P be a Sylow p-subgroup of a group G with the smallest generator number d,where p is a prime.Denote by M_d(P) = {P_1,P_(2,...,)P_d} a set of maximal subgroups of P such that φ(P) = ∩_(n=1)~dP_n.In this paper,we investigate the structure of a finite group G under the assumption that the maximal subgroups in M_d(P) are weakly s-permutably embedded in G,some interesting results are obtained which generalize some recent results.Finally,we give some further results in terms of weakly s-permutably embedded subgroups.     

$p$-子群具有$p$-超可解正规化子的有限群

在已有研究中,对于$p$-子群的正规化子而言,它的$p$-幂零性质对有限$p$-幂零群的结构具有重要的影响. 本文中, 设$P$是群$G$的西罗$p$-子群, $1\leq p^d<|P|$, 对于$P$的每个阶为$p^d$的正规子群$H$H,将$N_G(H)$的$p$-幂零性质减弱为$p$-超可解性质,结合$H$的弱$M$-可补充性质,探究$p$-超可解群的结构.同时,在$N_G(P)$是$p$-幂零的条件下,利用子群$K$的弱$M$-可补充条件研究群的$p$-幂零性质,其中$K_p\leq K$且$P''\leq K_p\leq \Phi(P)$. $K_p$是$K$的西罗$p$-子群.在一定程度上,主要结果推广了Frobenius定理.     

图$(\bigcup\limits_{i{\in}A}P_i){\bigcup}(\bigcup\limits_{j{\in}B}U_j)$伴随唯一的充要条件

设$h(G; x) =h(G)$和$[G]_h$分别表示图$G$的伴随多项式和伴随等价类. 文中给出了$[G]_h$的一个新应用. 利用$[G]_h$, 给出了图$H{\;}(H \cong G)$伴随唯一的充要条件, 其中$H=(\bigcup_{i{\in}A}P_i){\bigcup}(\bigcup_{j{\in}B}U_j)$, $A \subseteq A^{'}=\{1,2,3,5\} \bigcup \{2n|n \in N, n \geq 3\}$, $B \subseteq B^{'}     

High-Dimensional Shape Fitting in Linear Time

Let $P$ be a set of $n$ points in $\Re^d$. The {\em radius} of a $k$-dimensional flat ${\cal F}$ with respect to $P$, which we denote by ${\cal RD}({\cal F},P)$, is defined to be $\max_{p \in P} \mathop{\rm dist}({\cal F},p)$, where $\mathop{\rm dist}({\cal F},p)$ denotes the Euclidean distance between $p$ and its projection onto ${\cal F}$. The $k$-flat radius of $P$, which we denote by ${R^{\rm opt}_k}(P)$, is the minimum, over all $k$-dimensional flats ${\cal F}$, of ${\cal RD}({\cal F},P)$. We consider the problem of computing ${R^{\rm opt}_k}(P)$ for a given set of points $P$. We are interested in the high-dimensional case where $d$ is a part of the input and not a constant. This problem is NP-hard even for $k = 1$. We present an algorithm that, given $P$ and a parameter $0 < \eps \leq 1$, returns a $k$-flat ${\cal F}$ such that ${\cal RD}({\cal F},P) \leq (1 + \eps) {R^{\rm opt}_k}(P)$. The algorithm runs in $O(nd C_{\eps,k})$ time, where $C_{\eps,k}$ is a constant that depends only on $\eps$ and $k$. Thus the algorithm runs in time linear in the size of the point set and is a substantial improvement over previous known algorithms, whose running time is of the order of $d n^{O(k/\eps^c)}$, where $c$ is an appropriate constant.     

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

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

Symmetry-Breaking Phenomena in an Optimization Problem for some Nonlinear Elliptic Equation

Let $\Omega$ be a bounded domain in ${\bf R^n}$ with Lipschitz boundary, $\lambda >0,$ and $1\le p \le (n+2)/(n-2)$ if $n\ge 3$ and $1\le p< +\infty$ if $n=1,2$. Let $D$ be a measurable subset of $\Omega$ which belongs to the class $ {\cal C}_{\beta}=\{D\subset \Omega \quad | \quad |D|=\beta\} $ for the prescribed $\beta\in (0, |\Omega|).$ For any $D\in{\cal C}_{\beta}$, it is well known that there exists a unique global minimizer $u\in H^1_0(\Omega)$, which we denote by $u_D$, of the functional \[\quad J_{\Omega,D}(v)=\frac12\int_{\Omega}|\nabla v|^2\, dx+\frac{\lambda}{p+1}\int_{\Omega}|v|^{p+1}\, dx -\int_{\Omega}\chi_Dv\,dx \] on $H^1_0(\Omega)$. We consider the optimization problem $ E_{\beta,\Omega}=\inf_{D\in {\cal C}_{\beta}} J_D(u_D) $ and say that a subset $D^*\in {\cal C}_{\beta}$ which attains $E_{\beta,\Omega}$ is an optimal configuration to this problem. In this paper we show the existence, uniqueness and non-uniqueness, and symmetry-preserving and symmetry-breaking phenomena of the optimal configuration $D^*$ to this optimization problem in various settings.     

The Krzyz Problem and Polynomials with Zeros on the Unit Circle

Let $ \Pi_{n,M} $ be the class of all polynomials $ p(z) = \sum _{0}^{n} a_{k}z^{k} $ of degree n which have all their zeros on the unit circle $ |z| = 1$ , and satisfy $ M = \max _{|z| = 1}|\,p(z)| $ . Let $ \mu _{k,n} = \sup _{p\in \Pi _{n,M}} |a_{k}| $ . Saff and Sheil-Small asked for the value of $\overline {\lim }_{n\rightarrow \infty }\mu _{k,n} $ . We find an equivalence between this problem and the Krzyz problem on the coefficients of bounded non-vanishing functions. As a result we compute $$ \overline {\lim }_{n\rightarrow \infty }\mu _{k,n} = {{M} \over {e}}\quad {\rm for}\ k = 1,2,3,4,5.$$ We also obtain some bounds for polynomials with zeros on the unit circle. These are related to a problem of Hayman.