CLASSIFICATION OF PRIMITIVE （J1,2）-ARC TRANSITIVE GRAPHS

In the author＇s Ph. D thesis, a non-quasiprimitive graph admitting a quasiprimitive automorphism group isomorphic to J1 was constructed ,where J1 is Janko simple group of order 175560. Is this the only one for J1？ In this paper all primitive （J1,2）-arc transitive graphs Г are given and that AutГ≌J1 is proved.     

6q+1级2—传递置换群,q为素数

In [ 3 ] M. D. Atkinson conjectured that if G is a doubly transitive but not doubly primitive permutation group on Ω, then G is of one of the following four types: i) Metacyclic groups of prime degree p and of order p(p -1); ii) Groups of degree 2^p and of order 2^p(2^p-1)or 2^p(2^p-l)p for some prime p;iii)Gr-oups of automorphisms of a block design with λ=1; iv) Sz(q)≤G≤Aut(Sz(g)).In this paper we proved this conjecture in a special case without using the result of classification of finte simple groups, Qur explicit result is as follows: Theorem. Let G be a doubly transitive group on set Ω,where |Ω|=6q+1 and q is a prime, then one of the following holds: i)G is doubly primitive on Ω;ii) G is sharply doubly transitive on Ω; iii) G is a groups of automorphisms of a block design with λ=1.     

Congruence subgroups of Hecke groups

Hecke groups are an important tool in subgroups of Hecke groups play an important rule investigating functional equations, and congruence in research of the solutions of the Dirichlet series. When q, m are two primes, congruence subgroups and the principal congruence subgroups of level m of the Hecke group H（√q） have been investigated in many papers. In this paper, we generalize these results to the case where q is a positive integer with q ≥ 5, √q ￠ Z and m is a power of an odd prime.     

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.     

可解群的$\cd(G)-1$个特征标次数构成的图

Let G be a group. We consider the set cd（G）／{m}, where m ∈ cd（G）. We define the graph △（G - m） whose vertex set is p（G - m）, the set of primes dividing degrees in cd（G）／{m}. There is an edge between p and q in p（G - m） ifpq divides a degree a ∈ cd（G）／{m}. We show that if G is solvable, then △（G - m） has at most two connected components.     

Detection of Some Elements in the Stable Homotopy Groups of Spheres

Let A be the mod p Steenrod algebra and S be the sphere spectrum localized at an odd prime p. To determine the stable homotopy groups of spheres π＊S is one of the central problems in homotopy theory. This paper constructs a new nontrivial family of homotopy elements in the stable homotopy groups of spheres πp^nq＋2pq＋q-3S which isof order p and is represented by kohn ∈ ExtA^3,P^nq＋2pq＋q（Zp,Zp） in the Adams spectral sequence, wherep 〉 5 is an odd prime, n ≥3 and q = 2（p-1）. In the course of the proof, a new family of homotopy elements in πp^nq＋（p＋1）q-1V（1） which is represented by β＊i＇＊i＊（hn） ∈ ExtA^2,pnq＋（p＋1）q＋1 （H^＊V（1）, Zp） in the Adams sequence is detected.     

有限域上仿射m面诱导的图Ⅱ

Let AG(n,Fq) be the n-dimensional affine space over Fq,where Fq is a finite field with q elements. Denote by Г(m) the graph induced by m-flats of AG(n,Fq). For any two adjacent vertices E and F of Гr(m) ,Г(m) (E)∩ Г(m) (F) is studied. In particular,sizes of maximal cliques in Г(m) are determined and it is shown that Г(m) is not edge-regular when m＜n-1.     

GEOMETRIC CONSTRUCTION OF ASSOCIATION SCHEMES FROM DEGENERATE QUADRICS INPROJECTIVE SPACES PG(2v+δ+l-1,Fq) FOR q ODD

Let Fq be a finite field with q elements,where q is a power of an odd prime.In this paper,the authors consider a projective space PG(2v+δ+l,Fq) with dimension 2v+δ+l,partitioned into an affine space AG(2v+δ+l,Fq) of dimension 2v+δ+l and a hyperplane H=PG(2v+δ+l-1,Fq) of dimension 2v+δ+l-1 at infinity,where l≠0.The points of the hyperplane Hare next partitioned into four subsets.A pair of points a and b of the affine space is defined to belong to class i if the line ab meets the subset i of H.Finally,a family of four-class association schemes are constructed,and parameters are also computed.     

有限域上的重根自对偶负循环码

Let F_q be a finite field with q = p~m, where p is an odd prime. In this paper, we study the repeated-root self-dual negacyclic codes over Fq. The enumeration of such codes is investigated. We obtain all the self-dual negacyclic codes of length 2~ap~r over F_q, a ≥ 1.The construction of self-dual negacyclic codes of length 2~abp~r over F_q is also provided, where gcd(2, b) = gcd(b, p) = 1 and a ≥ 1.     

On the Convergence of Products γ^-sh1hn in the Adams Spectral Sequence

Abstract Let A be the mod p Steenrod algebra and S the sphere spectrum localized at p, where p is an odd prime. In 2001 Lin detected a new family in the stable homotopy of spheres which is represented by （b0hn-h1bn-1）∈ ExtA^3,（p^n＋p）q（Zp,Zp） in the Adams spectral sequence. At the same time, he proved that i.（hlhn） ∈ExtA^2,（p^n＋P）q（H^＊M, Zp） is a permanent cycle in the Adams spectral sequence and converges to a nontrivial element ξn∈π（p^n＋p）q-2M. In this paper, with Lin＇s results, we make use of the Adams spectral sequence and the May spectral sequence to detect a new nontrivial family of homotopy elements jj′j^-γsi^-i′ξn in the stable homotopy groups of spheres. The new one is of degree p^nq ＋ sp^2q ＋ spq ＋ （s - 2）q ＋ s - 6 and is represented up to a nonzero scalar by hlhnγ-s in the E2^s＋2,＊-term of the Adams spectral sequence, where p ≥ 7, q = 2（p - 1）, n ≥ 4 and 3 ≤ s 〈 p.     

Characterisations of A p+2 and L 2(2 q )

Let G be a transitive group of degree p+2 with p|G| where p ≧ 5 is a prime number, then (i) G is isomorphic to S _p+2 or A _p+2, if G has an element of order 4, (ii) G is isomorphic to L ₂(2 ^q ) or P Γ L ₂ (2 ^q ), if 2 ^q − 1=p is a Mersenne prime and G has no element of order 4.     

Affinely equivalent complete flat manifolds

Let E _Aff(Γ,G, m) be the set of affine equivalence classes of m-dimensional complete flat manifolds with a fixed fundamental group Γ and a fixed holonomy group G. Let n be the dimension of a closed flat manifold whose fundamental group is isomorphic to Γ. We describe E _Aff(Γ,G, m) in terms of equivalence classes of pairs (ε, ρ), consisting of epimorphisms of Γ onto G and representations of G in ℝ ^m-n . As an application we give some estimates of card E _Aff(Γ,G, m).     

Quasirecognition by prime graph of the simple group <Superscript>2</Superscript><Emphasis Type="Italic">F</Emphasis><Subscript>4</Subscript>(<Emphasis Type="Italic">q</Emphasis>)

As the main result, we show that if G is a finite group such that Γ(G) = Γ(² F ₄(q)), where q = 2^2m+1 for some m ≧ 1, then G has a unique nonabelian composition factor isomorphic to ² F ₄(q). We also show that if G is a finite group satisfying |G| =|² F ₄(q)| and Γ(G) = Γ(² F ₄(q)), then G ≅ ² F ₄(q). As a consequence of our result we give a new proof for a conjecture of W. Shi and J. Bi for ² F ₄(q). The third author was supported in part by a grant from IPM (No. 87200022).     

Torsion in Boundary Coinvariants and K -Theory for Affine Buildings

Let (G, I, N, S) be an affine topological Tits system, and let Γ be a torsion-free cocompact lattice in G. This article studies the coinvariants H ₀(Γ; C(Ω,Z)), where Ω is the Furstenberg boundary of G. It is shown that the class [1] of the identity function in H ₀(Γ; C(Ω, Z)) has finite order, with explicit bounds for the order. A similar statement applies to the K ₀ group of the boundary crossed product C ^*-algebra C(Ω)Γ. If the Tits system has type ? ₂, exact computations are given, both for the crossed product algebra and for the reduced group C ^*-algebra.     

A construction of an infinite family of 2-arc transitive polygonal graphs of arbitrary even girth

A near-polygonal graph is a graph Γ which has a set C\mathcal{C} of m-cycles for some positive integer m such that each 2-path of Γ is contained in exactly one cycle in C\mathcal{C}. If m is the girth of Γ, then the graph is called polygonal. We provide a construction of an infinite family of polygonal graphs of arbitrary even girth with 2-arc transitive automorphism groups, showing that there are infinitely many 2-arc transitive polygonal graphs of every girth.     

The locally 2-arc transitive graphs admitting an almost simple group of Suzuki type

In this paper, seven families of vertex-intransitive locally (G,2)-arc transitive graphs are constructed, where Sz(q)?G?Aut(Sz(q)), q=²2k+1 for some k∈N. It is then shown that for any graph Γ in one of these families, Sz(q)?Aut(Γ)?Aut(Sz(q)) and that the only locally 2-arc transitive graphs admitting an almost simple group of Suzuki type whose vertices all have valency at least three are (i) graphs in these seven families, (ii) (vertex transitive) 2-arc transitive graphs admitting an almost simple group of Suzuki type, or (iii) double covers of the graphs in (ii). Since the graphs in (ii) have been classified by Fang and Praeger (1999) [6], this completes the classification of locally 2-arc transitive graphs admitting a Suzuki simple group     

Unique ergodicity of flows on homogeneous spaces

LetG be a unimodular Lie group, Γ a co-compact discrete subgroup ofG and ‘a’ a semisimple element ofG. LetT _a be the mapgΓ →ag Γ:G/Γ →G/Γ. The following statements are pairwise equivalent: (1) (T _a, G/Γ,θ) is weak-mixing. (2) (T _a, G/Γ) is topologically weak-mixing. (3) (G ^u, G/Γ) is uniquely ergodic. (4) (G ^u, G/Γ,θ) is ergodic. (5) (G ^u, G/Γ) is point transitive. (6) (G ^u, G/Γ) is minimal. If in additionG is semisimple with finite center and no compact factors, then the statement “(T _a, G/Γ,θ) is ergodic” may be added to the above list. The authors were partially supported by NSF grant MCS 75-05250.     

A Characterization of the Complement of a Hyperbolic Quadric in PG (3, q), for q Odd

The incidence structure NQ⁺(3, q) has points the points not on a non-degenerate hyperbolic quadric Q⁺(3, q) in PG(3, q), and its lines are the lines of PG(3, q) not containing a point of Q⁺(3, q). It is easy to show that NQ⁺(3, q) is a partial linear space of order (q, q(q−1)/2). If q is odd, then moreover NQ⁺(3, q) satisfies the property that for each non-incident point line pair (x,L), there are either (q−1)/2 or (q+1)/2 points incident with L that are collinear with x. A partial linear space of order (s, t) satisfying this property is called a ((q−1)/2,(q+1)/2)-geometry. In this paper, we will prove the following characterization of NQ⁺(3,q). Let S be a ((q−1)/2,(q+1)/2)-geometry fully embedded in PG(n, q), for q odd and q>3. Then S = NQ⁺(3, q).     

Quasirecognition by prime graph of F4(q) where q?=?2n?>?2

The prime graph of a finite group G is denoted by Γ(G). In this paper as the main result, we show that if G is a finite group such that Γ(G) = Γ(F ₄(q)), where q = 2 ⁿ  > 2, then G has a unique nonabelian composition factor isomorphic to F ₄(q). We also show that if G is a finite group satisfying |G| = |F ₄(q)| and Γ(G) = Γ(F ₄(q)), where q = 2 ⁿ  > 2, then G @ F₄(q){G \cong F_4(q)}. As a consequence of our result we give a new proof for a conjecture of Shi and Bi for F ₄(q) where q = 2 ⁿ  > 2.     

G 2-manifolds and coassociative torus fibration

Let (φ ₀, g ₀) be a flat G ₂-structure on the torus T ⁷. For a certain finite group Γ-action on T ⁷ preserving the G ₂-structure, Joyce constructed a closed G ₂-manifold M from the resolution of the orbifold T ⁷/Γ. The main purpose of this paper is to prove that there exist global coassociative fibrations on open submanifolds of certain Joyce manifolds.