On the Number of Conjugacy Classes in Semi-Products of Certain Finite Groups

Let V be a vector space of n-dimension over the field GF(p) of p elements,where p is a prime. V is also an elementary abelian p-group.Let G be a p'-group oflinear transformations on V.Theorem 1 Let π_v(a_1,a_2) be the number of the common fixed points of a_1and a_2 on V, a_1, a_2 ∈G. Let k(GV) be the number of conjugacy classes in thesemi-product GV (We also denote it by GV) of G and V. Then     

有限伪反射群的相对不变式的 Poincar\'e级数

Let F be a field with characteristic 0, V = Fn the n-dimensional vector space over F and let G be a finite pseudo-reflection group which acts on V . Let χ ： G→ F＊ be a 1- dimensional representation of G. In this article we show that χ（g） = （detg）α（0 ≤ α ≤ r - 1）, where g ∈ G and r is the order of g. In addition, we characterize the relation between the relative invariants and the invariants of the group G, and then we use Molien’s Theorem of invariants to compute the Poincar′e series of relative invariants.     

The Classification of Connected Imprimitive Arc-transitive Graphs on Zp × Zp

The term (di)graph is employed to mean that a graph in question is either a directed graph or an undirected graph.The symbol G(p,r)represents the digraph defined by Chao: V(G(p,r))=Zp,E(G(p,r))={(x,y)|x-y∈Hr},where P is a prime,r is a positive divisor of P-1 and Hr is the unique subgroup of order r in Aut(Zp).A Cayley graph (?)=Cay(G,S)is called imprimitive if A=Aut((?))acts imprimitively on V((?)).Let (?)=Cay(G,S)be a connected imprimitive arc-transitive graph on G=Z×Z,B={B0,B1,…,Bp-1}the complete block system of A=Aut((?))on V((?))=G and K the kernel of A on B.Then obviously K≠1.     

The Poincaré Series of Relative Invariants of Finite Pseudo-Reflection Groups

Let F be a field with characteristic 0,V=F~n the n-dimensional vector space over F and let G be a finite pseudo-reflection group which acts on V.Let χ:G→F~* be a 1-dimensional representation of G.In this article we show that X(g)=(detg)~α(0≤α≤r-1),where g∈G and r is the order of g.In addition,we characterize the relation between the relative invariants and the invariants of the group G,and then we use Molien's Theorem of invariants to compute the Poincaré series of relative invariants.     

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.     

图的距离无符号拉普拉斯谱半径的关于色数的下界

Let G be a connected graph on n vertices with chromatic number k, and let ρ(G)be the distance signless Laplacian spectral radius of G. We show that ρ(G) ≥ 2n + 2「n k」- 4,with equality if and only if G is a regular Tur′an graph.     

LOWER BOUNDS ON THE MAXIMUM GENUS OF LOOPLESS MULTIGRAPHS

§ 1　IntroductionThe maximum genusγM(G) of a graph G is the maximum among the genera,which Ghas a cellularembedding on a sphere with k handles.Since any embedding of G has atleastone face,by Euler polyhedral equation,itcan be obtained thatγM(G)≤β(G) / 2 ,whereβ(G) is the Betti number of G.A graph G is called up-embeddable ifγM(G) =β(G) / 2 .[1 ] has showed that thereare atleasttwo edge-disjointspanning trees in G if G is 4 -edge connected.Let T be a span-ning tree of G.An odd …     

关于L.Lovász定理的简证

In 1983 J. A. Bondy mentioned a result of L.Lovsz. He said that it seems"magic". Now we give a simple proof of this result by using the basic probability theory only, and we may see why this result holds clearly. Let G be a graph with a specified vertex r.A path P=v_1v_2…v_k is rooted at r if v_1=r.For 1≤j≤k, the number of edges of G which are incident with v_j but with no v_i, i相似文献   

平环和的Heegaard亏格的一个下界

Let Mi, i = 1,2, be a compact orientable 3-manifold, and Ai an incompressible annulus on a component Fi of OMi. Suppose A1 is separating on F1 and A2 is non-separating on F2. Let M be the annulus sum of M1 and M2 along A1 and A2. In the present paper, we give a lower bound for the genus of the annulus sum M in the condition of the Heegaard distances of the submanifolds M1 and M2     

Geometry of rectangular block triangular matrices

Let D be any division ring, and let T（mi,ni,k） be the set of k × k （k ≥ 2） rectangular block triangular matrices over D. For A, B ∈ T（mi,ni,k）, if rank（A - B） = 1, then A and B are said to be adjacent and denoted by A -B. A map T ： T（mi,ni,k） -〉 T（mi,ni,k） is said to be an adjacency preserving map in both directions if A - B if and only if φ（A） φ（B）. Let G be the transformation group of all adjacency preserving bijections in both directions on T（mi,ni,k）. When m1,nk ≥ 2, we characterize the algebraic structure of G, and obtain the fundamental theorem of rectangular block triangular matrices over D.     

中心对称本原矩阵的k点指数集

Let G = (V, E) be a primitive digraph. The vertex exponent of G at a vertex v ∈ V, denoted by expG(v), is the least integer p such that there is a v → u walk of length p for each u ∈ V. We choose to order the vertices of G in the k-point exponent of G and is denoted by expG(k), 1 ≤ k ≤ n. We define the k-point exponent set E(n, k) := {expG(k)| G = G(A) with A ∈ CSP(n)}, where CSP(n) is the set of all n × n central symmetric primitive matrices and G(A) is the associated graph of the matrix A. In this paper, we describe E(n,k) for all n, k with 1 ≤ k ≤ n except n ≡ 1(mod 2) and 1 ≤ k ≤ n - 4. We also characterize the extremal graphs when k = 1.     

The densities for 3-ranks of tame kernels of cyclic cubic number fields

Let F be a cubic cyclic field with t(2)ramified primes.For a finite abelian group G,let r3(G)be the 3-rank of G.If 3 does not ramify in F,then it is proved that t-1 r3(K2O F)2t.Furthermore,if t is fixed,for any s satisfying t-1 s 2t-1,there is always a cubic cyclic field F with exactly t ramified primes such that r3(K2O F)=s.It is also proved that the densities for 3-ranks of tame kernels of cyclic cubic number fields satisfy a Cohen-Lenstra type formula d∞,r=3-r2∞k=1(1-3-k)r k=1(1-3-k)2.This suggests that the Cohen-Lenstra conjecture for ideal class groups can be extended to the tame kernels of cyclic cubic number fields.     

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）.     

Steinberg triality groups acting on 2 - (v, k, 1) designs

A 2 - (v,k,1) design D = (P, B) is a system consisting of a finite set P of v points and a collection B of k-subsets of P, called blocks, such that each 2-subset of P is contained in precisely one block. Let G be an automorphism group of a 2- (v,k,1) design. Delandtsheer proved that if G is block-primitive and D is not a projective plane, then G is almost simple, that is, T ≤ G ≤ Aut(T), where T is a non-abelian simple group. In this paper, we prove that T is not isomorphic to 3D4(q). This paper is part of a project to classify groups and designs where the group acts primitively on the blocks of the design.     

Classification of Flag-Transitive Primitive Symmetric(v,k, λ) Designs with PSL(2, q) as Socle

Let D be a nontrivial symmetric(v, k, λ) design, and G be a subgroup of the full automorphism group of D. In this paper we prove that if G acts flag-transitively, pointprimitively on D and Soc(G) = PSL(2, q), then D has parameters(7, 3, 1),(7, 4, 2),(11, 5, 2),(11, 6, 3) or(15, 8, 4).     

Foliations on the tangent bundle of Finsler manifolds

Let M be a smooth manifold with Finsler metric F,and let T M be the slit tangent bundle of M with a generalized Riemannian metric G,which is induced by F.In this paper,we prove that (i) (M,F) is a Landsberg manifold if and only if the vertical foliation F V is totally geodesic in (T M,G);(ii) letting a:= a(τ) be a positive function of τ=F 2 and k,c be two positive numbers such that c=2 k(1+a),then (M,F) is of constant curvature k if and only if the restriction of G on the c-indicatrix bundle IM (c) is bundle-like for the horizontal Liouville foliation on IM (c),if and only if the horizontal Liouville vector field is a Killing vector field on (IM (c),G),if and only if the curvature-angular form Λ of (M,F) satisfies Λ=1-a 2/R on IM (c).     

Approximation Properties of Julia Polynomials

Let G be a finite simply connected domain in the complex plane C, bounded by a rectifiable Jordan curve L, and let w = φ0 （z） be the Riemann conformal mapping of G onto D （0, r0） ：= {E-mail： ： ｜｜ 〈 r0}, normalized by the conditions φ0 （z0） = 0, φ＇0 （z0） = 1. In this work, the rate of approximation of φ0 by the polynomials, defined with the help of the solutions of some extremal problem, in a closed domain G is studied. This rate depends on the geometric properties of the boundary L.     

The Automorphism Group of a Class of Nilpotent Groups with Infinite Cyclic Derived Subgroups

The automorphism group of a class of nilpotent groups with infinite cyclic derived subgroups is determined. Let G be the direct product of a generalized extraspecial Z-group E and a free abelian group A with rank m, where E ={(1 kα_1 kα_2 ··· kα_nα_(n+1) 0 1 0 ··· 0 α_(n+2)...............000...1 α_(2n+1)000...01|αi∈ Z, i = 1, 2,..., 2 n + 1},where k is a positive integer. Let AutG G be the normal subgroup of Aut G consisting of all elements of Aut G which act trivially on the derived subgroup G of G, and AutG/ζ G,ζ GG be the normal subgroup of Aut G consisting of all central automorphisms of G which also act trivially on the center ζ G of G. Then(i) The extension 1→ Aut_(G') G→ AutG→ Aut(G')→ 1 is split.(ii) Aut_(G') G/Aut_(G/ζ G,ζ G)G≌Sp(2 n, Z) ×(GL(m, Z)■(Z~)m).(iii) Aut_(G/ζ G,ζ GG/Inn G)≌(Z_k)~(2n)⊕(Z)~(2nm).     

整数集的加权表示的渐进基

Let k1, k2 be nonzero integers with(k1, k2) = 1 and k1k2≠-1. Let Rk1,k2(A, n)be the number of solutions of n = k1a1 + k2a2, where a1, a2 ∈ A. Recently, Xiong proved that there is a set A  Z such that Rk1,k2(A, n) = 1 for all n ∈ Z. Let f : Z-→ N0∪ {∞} be a function such that f-1(0) is finite. In this paper, we generalize Xiong's result and prove that there exist uncountably many sets A  Z such that Rk1,k2(A, n) = f(n) for all n ∈ Z.     

一类有限p-群的因子分解数（英文）

Let p be a prime number and f_2(G) be the number of factorizations G = AB of the group G, where A, B are subgroups of G. Let G be a class of finite p-groups as follows,G = a, b | a~(p~n)= b~(p~m)= 1, a~b= a~(p~(n-1)+1), where n m ≥ 1. In this article, the factorization number f_2(G) of G is computed, improving the results of Saeedi and Farrokhi in [5].