On Hua-Tuan’s conjecture

Let G be a finite group and |G| = pn, p be a prime. For 0 m n, sm(G) denotes the number of subgroups of of order pm of G. Loo-Keng Hua and Hsio-Fu Tuan have ever conjectured: for an arbitrary finite p-group G, if p > 2, then sm(G) ≡ 1, 1 + p, 1 + p + p2 or 1 + p + 2p2 (mod p3). In this paper, we investigate the conjecture, and give some p-groups in which the conjecture holds and some examples in which the conjecture does not hold.     

Finite p-Groups Whose Abelian Subgroups Have a Trivial Intersection

A subgroup H of a finite group G is called a TI-subgroup if H ∩ H^x = 1 or H for all x ∈ G. In this paper, a complete classification for finite p-groups, in which all abelian subgroups are TI-subgroups, is given.     

Finite groups in which elements of the same order outside the center are conjugate

We prove that if G is a finite group in which the elements of the same order outside the center are conjugate,then either G is abelian or G(?)S_3.     

On Browkin’s conjecture about the elements of order five in <Emphasis Type="Italic">K</Emphasis><Subscript>2</Subscript>(ℚ)

Based on the work of Lenstra, a succinct proof of Browkin’s conjecture about the elements of order five in K ₂(ℚ) is given. This work was supported by the National Natural Science Foundation of China (Grant No. 10371061).     

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.     

Representations of deformed preprojective algebras and quantum groups

Let (Γ,I) be the bound quiver of a cyclic quiver whose vertices correspond to the Abelian group Zd. In this paper, we list all indecomposable representations of (Γ,I) and give the conditions that those representations of them can be extended to representations of deformed preprojective algebra Πλ(Γ,I). It is shown that those representations given by extending indecomposable representations of (Γ,I) are all simple representations of Πλ(Γ,I). Therefore, it is concluded that all simple representa-tions of rest...     

The total chromatic number of regular graphs of high degree

The total chromatic number χT (G) of a graph G is the minimum number of colors needed to color the edges and the vertices of G so that incident or adjacent elements have distinct colors. We show that if G is a regular graph and d(G) 32 |V (G)| + 263 , where d(G) denotes the degree of a vertex in G, then χT (G) d(G) + 2.     

Acyclic edge colorings of planar graphs and seriesparallel graphs

A proper edge coloring of a graph G is called acyclic if there is no 2-colored cycle in G. The acyclic edge chromatic number of G, denoted by a′(G), is the least number of colors in an acyclic edge coloring of G. Alon et al. conjectured that a′(G) ⩽ Δ(G) + 2 for any graphs. For planar graphs G with girth g(G), we prove that a′(G) ⩽ max{2Δ(G) − 2, Δ(G) + 22} if g(G) ⩾ 3, a′(G) ⩽ Δ(G) + 2 if g(G) ⩾ 5, a′(G) ⩽ Δ(G) + 1 if g(G) ⩾ 7, and a′(G) = Δ(G) if g(G) ⩾ 16 and Δ(G) ⩾ 3. For series-parallel graphs G, we have a′(G) ⩽ Δ(G) + 1. This work was supported by National Natural Science Foundation of China (Grant No. 10871119) and Natural Science Foundation of Shandong Province (Grant No. Y2008A20).     

On total chromatic number of planar graphs without 4-cycles

Let G be a simple graph with maximum degree A(G) and total chromatic number Xve(G). Vizing conjectured thatΔ(G) 1≤Xve(G)≤Δ(G) 2 (Total Chromatic Conjecture). Even for planar graphs, this conjecture has not been settled yet. The unsettled difficult case for planar graphs isΔ(G) = 6. This paper shows that if G is a simple planar graph with maximum degree 6 and without 4-cycles, then Xve(G)≤8. Together with the previous results on this topic, this shows that every simple planar graph without 4-cycles satisfies the Total Chromatic Conjecture.     

Some Elements of Finite Order in K2Q

Let K2 be the Milnor functor and let Фn （x）∈ Q[X] be the n-th cyclotomic polynomial. Let Gn（Q） denote a subset consisting of elements of the form {a, Фn（a）}, where a ∈ Q^＊ and {, } denotes the Steinberg symbol in K2Q. J. Browkin proved that Gn（Q） is a subgroup of K2Q if n = 1,2, 3, 4 or 6 and conjectured that Gn（Q） is not a group for any other values of n. This conjecture was confirmed for n =2^T 3S or n = p^r, where p ≥ 5 is a prime number such that h（Q（ζp）） is not divisible by p. In this paper we confirm the conjecture for some n, where n is not of the above forms, more precisely, for n = 15, 21,33, 35, 60 or 105.     

Structure of augmentation quotients of finite homocyclic abelian groups

Let G be a finite abelian group and its Sylow p-subgroup a direct product of copies of a cyclic group of order p~r,i.e.,a finite homocyclic abelian group.LetΔ~n (G) denote the n-th power of the augmentation idealΔ(G) of the integral group ring ZG.The paper gives an explicit structure of the consecutive quotient group Q_n(G)=Δ~n(G)/Δ~(n 1)(G) for any natural number n and as a consequence settles a problem of Karpilovsky for this particular class of finite abelian groups.     

Upper Bounds for the Laplacian Graph Eigenvalues

We first apply non-negative matrix theory to the matrix K = D A, where D and A are the degree-diagonal and adjacency matrices of a graph G, respectively, to establish a relation on the largest Laplacian eigenvalue λ1 (G) of G and the spectral radius p(K) of K. And then by using this relation we present two upper bounds for λ1(G) and determine the extremal graphs which achieve the upper bounds.     

On Two Theorems of Finite Solvable Groups

For a finite group G, let T（G） denote a set of primes such that a prime p belongs to T（G） if and only if p is a divisor of the index of some maximal subgroup of G. It is proved that if G satisfies any one of the following conditions： （1） G has a p-complement for each p∈T（G）; （2）│T（G）│= 2： （3） the normalizer of a Sylow p-subgroup of G has prime power index for each odd prime p∈T（G）; then G either is solvable or G/Sol（G）≌PSL（2, 7） where Sol（G） is the largest solvable normal subgroup of G.     

A characterization of finite simple groups by the orders of solvable subgroups

Let G be a finite group and S be a finite simple group. In this paper, we prove that if G and S have the same sets of all orders of solvable subgroups, then G is isomorphic to S, or G and S are isomorphic to Bn(q), Cn(q), where n≥3 and q is odd. This gives a positive answer to the problem put forward by Abe and Iiyori.     

Optimal query error of quantum approximation on some Sobolev classes

We study the approximation of the imbedding of functions from anisotropic and general-ized Sobolev classes into Lq([0,1]d) space in the quantum model of computation. Based on the quantum algorithms for approximation of finite imbedding from LpN to LNq , we develop quantum algorithms for approximating the imbedding from anisotropic Sobolev classes B(Wpr ([0,1]d)) to Lq([0,1]d) space for all 1 q,p ∞ and prove their optimality. Our results show that for p < q the quantum model of computation can bring a speedup roughly up to a squaring of the rate in the classical deterministic and randomized settings.     

K -groups of Toeplitz algebras on connected domains

In the present paper, it is proved that the K ₀-group of a Toeplitz algebra on any connected domain is always isomorphic to the K ₀-group of the relative continuous function algebra. In addition, the cohomotopy groups of essential boundaries of some connected domains are computed, and the K ₀-groups of the continuous function algebras on these domains are also computed. This work was supported by the National Natural Science Foundation of China (Grant No. 10371082)     

On <Emphasis Type="Italic">p</Emphasis>-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 S ₄-free and every minimal subgroup of P ∩ G ^N is c-supplemented in N _G (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.     

Atomic decompositions of Banach-spacevalued martingales

Several theorems for atomic decompositions of Banach-space-valued martingales are proved. As their applications, the relationship among some martingale spaces such asH _α(X) and_ρ H _α in the case 0< α⩽ are studied. It is shown that there is a close connection between the results and the smoothness and convexity of the value spaces. Project supported by the National Natural Science Foundation of China (Grant No. 19771063).     

Decompositions of the 3-uniform hypergraphs <Emphasis Type="Italic">K</Emphasis><Stack><Subscript>v</Subscript><Superscript>(3)</Superscript></Stack> into hypergraphs of a certain type

In this paper, we investigate a generalization of graph decomposition, called hypergraph decomposition. We show that a decomposition of a 3-uniform hypergraph K(3)v into a special kind of hypergraph K(3)4 - e exists if and only if v ≡ 0, 1, 2 (mod 9) and v ≥ 9.     

L p -dual Quermassintegral sums

In this paper, we first introduce a concept of L _p -dual Quermassintegral sum function of convex bodies and establish the polar projection Minkowski inequality and the polar projection Aleksandrov-Fenchel inequality for L _p -dual Quermassintegral sums. Moreover, by using Lutwak’s width-integral of index i, we establish the L _p -Brunn-Minkowski inequality for the polar mixed projection bodies. As applications, we prove some interrelated results. This work was partially supported by the National Natural Science Foundation of China (Grant No. 10271071), Zhejiang Provincial Natural Science Foundation of China (Grant No. Y605065) and Foundation of the Education Department of Zhejiang Province of China (Grant No. 20050392)