A note on the existence of fractional f-factors in random graphs

Let G=Gn,p be a binomial random graph with n vertices and edge probability p=p(n),and f be a nonnegative integer-valued function defined on V(G) such that 0a≤f(x)≤bnp-2np ㏒n for every x ∈V(G). An fractional f-indicator function is an function h that assigns to each edge of a graph G a number h(e) in [0,1] so that for each vertex x,we have dh G(x)=f(x),where dh G(x) = x∈e h(e) is the fractional degree of x in G. Set Eh = {e:e ∈E(G) and h(e)=0}.If Gh is a spanning subgraph of G such that E(Gh)=Eh,then Gh is called an fractional f-factor of G. In this paper,we prove that for any binomial random graph Gn,p with p≥n-23,almost surely Gn,p contains an fractional f-factor.     

Erds-Ko-Rado Theorem for Ladder Graphs

For a graph G and an integer r≥1,G is r-EKR if no intersecting family of independent r-sets of G is larger than the largest star(a family of independent r-sets containing some fixed vertex in G),and G is strictly r-EKR if every extremal intersecting family of independent r-sets is a star.Recently,Hurlbert and Kamat gave a preliminary result about EKR property of ladder graphs.They showed that a ladder graph with n rungs is 3-EKR for all n≥3.The present paper proves that this graph is r-EKR for all 1≤r≤n,and strictly r-EKR except for r=n-1.     

On p-nilpotency and minimal subgroups of finite groups

We call a subgroup H of a finite group G c-supplemented in G if there exists a subgroup K of G such that G = HK and H ∩ K ≤ core(H). In this paper it is proved that a finite group G is p-nilpotent if G is S4-free and every minimal subgroup of P n GN is c-supplemented in NG(P), and when p = 2 P is quaternion-free, where p is the smallest prime number dividing the order of G, P a Sylow p-subgroup of G. As some applications of this result, some known results are generalized.     

Topology of Certain Closed Submanifolds in Euclidean Space

Recently P.F,Leung has investigated the topological characters of certaincompact oriented submanifolds minimally immersed in the unit sphere S~(n+p).It iswell known that a immersed submanifold in S~(n+p) can be always regarded as a sub-manifold in n+p+1-dimensional Euclidean space R~(n+p+1) and there is no minimalclosed submanifold in R~(n+p+1).Thus,it is a natural and important problem tostudy the topological properties of general closed submanifolds in R~N. Through     

Total Chromatic Number of the Join of K_(m,n) and C_n

The total chromatic number XT(G) of a graph G is the minimum number of colors needed to color the elements (vertices and edges) of G such that no adjacent or incident pair of elements receive the same color. G is called Type 1 if XT(G)=Δ(G) 1. In this paper we prove that the join of a complete bipartite graph Km,n and a cycle Cn is of Type 1.     

Valuations on arithmetic surfaces

In this paper, we give the definition of the height of a valuation and the definition of the big field Cp,G, where p is a prime and GR is an additive subgroup containing 1. We conclude that Cp,G is a field and Cp,G is algebraically closed. Based on this the author obtains the complete classification of valuations on arithmetic surfaces. Furthermore, for any m ≤n∈ Z, let Vm,n be an R-vector space of dimension n-m + 1, whose coordinates are indexed from m to n. We generalize the definition of Cp,G, where p i...     

The automorphism group of a generalized extraspecial p-group

In this paper, the automorphism group of a generalized extraspecial p-group G is determined, where p is a prime number. Assume that |G| = p 2n+m and |ζG| = p m , where n 1 and m 2. (1) When p is odd, let Aut G G = {α∈ AutG | α acts trivially on G }. Then Aut G G⊿AutG and AutG/Aut G G≌Z p-1 . Furthermore, (i) If G is of exponent p m , then Aut G G/InnG≌Sp(2n, p) × Z p m-1 . (ii) If G is of exponent p m+1 , then Aut G G/InnG≌ (K Sp(2n-2, p))×Z p m-1 , where K is an extraspecial p-group of order p 2n-1 . In particular, Aut G G/InnG≌ Z p × Z p m-1 when n = 1. (2) When p = 2, then, (i) If G is of exponent 2 m , then AutG≌ Sp(2n, 2) × Z 2 × Z 2 m-2 . In particular, when n = 1, |AutG| = 3 · 2 m+2 . None of the Sylow subgroups of AutG is normal, and each of the Sylow 2-subgroups of AutG is isomorphic to H K, where H = Z 2 × Z 2 × Z 2 × Z 2 m-2 , K = Z 2 . (ii) If G is of exponent 2 m+1 , then AutG≌ (I Sp(2n-2, 2)) × Z 2 × Z 2 m-2 , where I is an elementary abelian 2-group of order 2 2n-1 . In particular, when n = 1, |AutG| = 2 m+2 and AutG≌ H K, where H = Z 2 × Z 2 × Z 2 m-1 , K = Z 2 .     

p-arrangeable Graphs are Folkman Linear

For graphs F and G,let F→(G,G)denote that any red/blue edge coloring of F contains a monochromatic G.Define Folkman number f(G;t)to be the smallest order of a graph F such that F→(G,G)andω(F)≤t.It is shown that f(G;t)≤cn for p-arrangeable graphs with n vertices,where p≥1,c=c(p)and t=t(p)are positive constants.     

几乎无爪图的叶子数较少的生成树

A spanning tree with no more than 3 leaves is called a spanning 3-ended tree.In this paper, we prove that if G is a k-connected(k ≥ 2) almost claw-free graph of order n and σ_(k+3)(G) ≥ n + k + 2, then G contains a spanning 3-ended tree, where σk(G) =min{∑_(v∈S)deg(v) : S is an independent set of G with |S| = k}.     

中心对称本原矩阵的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.     

2-Cohomologies of the groups SL(n, q)

Let G = SL(n, q), where q is odd, V be a natural module over G, and L = S²(V) be its symmetric square. We construct a 2-cohomology group H²(G, L). The group is one-dimensional over F _q if n = 2 and q ≠ 3, and also if (n, q) = (4, 3). In all other cases H²(G, L) = 0. Previously, such groups H²(G, L) were known for the cases where n = 2 or q = p is prime. We state that H²(G, L) are trivial for n ⩾ 3 and q = p^m, m ⩾ 2. In proofs, use is made of rather elementary (noncohomological) methods. __________ Translated from Algebra i Logika, Vol. 47, No. 6, pp. 687–704, November–December, 2008.     

典型群的增广商群

设G 为有限域K 上的一般线性群(特殊线性群、酉群、辛群及正交群), 记整群环ZG 的n 次增广理想为△ⁿ(G). 本文着重研究有限域上的典型群的增广商群Q_n(G) = △ⁿ(G)/△ⁿ⁺¹(G), 并刻画了这些连续商群的结构.     

A characterization of alternating groups

It is proved that a group G generated by a conjugacy class X of elements of order 3, so that every two non-commuting elements of X generate a subgroup isomorphic to an alternating group of degree 4 or 5, is locally finite. More precisely, either G contains a normal elementary 2-subgroup of index 3, or G is isomorphic to an alternating group of permutations on some (possibly infinite) set.Supported by RFBR grant Nos. 02-01-00495 and 02-01-39005, by FP Universities of Russia grant No. UR.04.01.0202, and by the Council for Grants (under RF President) and State Aid of Fundamental Science Schools, project NSh-2069.2003.1.Translated from Algebra i Logika, Vol. 44, No. 1, pp. 54–69, January–February, 2005.     

Algebraic sets in metabelian groups

The research launched in [1] is brought to a close by examining algebraic sets in a metabelian group G in two important cases: (1) G = F_n is a free metabelian group of rank n; (2) G = W_n,k is a wreath product of free Abelian groups of ranks n and k. Supported by RFBR grant No. 05-01-00292. __________ Translated from Algebra i Logika, Vol. 46, No. 4, pp. 503–513, July–August, 2007.     

Divisible rigid groups

A soluble group G is rigid if it contains a normal series of the form G = G₁ > G₂ > … > G_p > G_p+1 = 1, whose quotients G_i/G_i+1 are Abelian and are torsion-free as right ℤ[G/G_i]-modules. The concept of a rigid group appeared in studying algebraic geometry over groups that are close to free soluble. In the class of all rigid groups, we distinguish divisible groups the elements of whose quotients G_i/G_i+1 are divisible by any elements of respective groups rings Z[G/G_i]. It is reasonable to suppose that algebraic geometry over divisible rigid groups is rather well structured. Abstract properties of such groups are investigated. It is proved that in every divisible rigid group H that contains G as a subgroup, there is a minimal divisible subgroup including G, which we call a divisible closure of G in H. Among divisible closures of G are divisible completions of G that are distinguished by some natural condition. It is shown that a divisible completion is defined uniquely up to G-isomorphism. Supported by the Council for Grants (under RF President) and State Aid of Leading Scientific Schools (grant NSh-344.2008.1). Translated from Algebra i Logika, Vol. 47, No. 6, pp. 762–776, November–December, 2008.     

Periodic subgroups of projective linear groups in positive characteristic

We classify the maximal irreducible periodic subgroups of PGL(q, ), where is a field of positive characteristic p transcendental over its prime subfield, q = p is prime, and ^× has an element of order q. That is, we construct a list of irreducible subgroups G of GL(q, ) containing the centre ^×1 _q of GL(q, ), such that G/ ^×1 _q is a maximal periodic subgroup of PGL(q, ), and if H is another group of this kind then H is GL(q, )-conjugate to a group in the list. We give criteria for determining when two listed groups are conjugate, and show that a maximal irreducible periodic subgroup of PGL(q, ) is self-normalising.      

Periodic groups saturated by finite simple groups <Emphasis Type="Italic">U</Emphasis><Subscript>3</Subscript>(2<Superscript>m</Superscript>)

Let {ie166-01} be a set of finite groups. A group G is said to be saturated by the groups in {ie166-02} if every finite subgroup of G is contained in a subgroup isomorphic to a member of {ie166-03}. It is proved that a periodic group G saturated by groups in a set {U₃(2^m) | m = 1, 2, …} is isomorphic to U₃(Q) for some locally finite field Q of characteristic 2; in particular, G is locally finite. __________ Translated from Algebra i Logika, Vol. 47, No. 3, pp. 288–306, May–June, 2008.     

每个子群都c-正规的有限群

在本文中我们研究有限CN-群, 即每个子群都c-正规的有限群. 我们得到以下结果:群G是CN-群当且仅当G^∈的每个子群都在G中正规.群G是CN-群当且仅当G可解且c-正规性是传递的.设p是一个奇素数, P是一个p-群, 则P是一个CN-群当且仅当Φ(P)≤Z(P).我们也得到了一些CN-群的直积为CN-群的判别条件.     

剩余有限minimax 可解群的几乎正则自同构

设G 是一个剩余有限的minimax 可解群, α 是G 的几乎正则自同构, 则G/[G, α] 是有限群, 并且(1) 当α^p = 1 时, G 有一个指数有限的幂零群其幂零类不超过h(p), 其中h(p) 是只与素数p 有关的函数.(2) 当α² = 1 时, G 有一个指数有限的Abel 特征子群且[G, α]′ 是有限群.关键词剩余有限minimax 可解群几乎正则自同构     

Distributivity conditions for lattices of dominions in quasivarieties of Abelian groups

Let ℳ be any quasivariety of Abelian groups, L_q(ℳ) be a subquasivariety lattice of ℳ, dom _G ^ℳ be the dominion of a subgroup H of a group G in ℳ, and G/dom _G ^ℳ (H) be a finitely generated group. It is known that the set L(G, H, ℳ) = {dom _G ^N (H)| N ∈ L_q(ℳ)} forms a lattice w.r.t. set-theoretic inclusion. We look at the structure of dom _G ^ℳ (H). It is proved that the lattice L(G,H,ℳ) is semidistributive and necessary and sufficient conditions are specified for its being distributive. __________ Translated from Algebra i Logika, Vol. 45, No. 4, pp. 484–499, July–August, 2006.