On the group with the same orders of Sylow normalizers as the finite projective special unitary group

In this paper we prove that a finite group G is isomorphic to the finite projective special unitary group Un(q) if and only if they have the same order of Sylow r-normalizer for every prime r.     

A generalization of Meshulam’s theorem on subsets of finite abelian groups with no 3-term arithmetic progression

Let r ₁, …, r _s be non-zero integers satisfying r ₁ + ⋯ + r _s = 0. Let G be a finite abelian group with k _i |k _i-1(2 ≤ i ≤ n), and suppose that (r _i , k ₁) = 1(1 ≤ i ≤ s). Let denote the maximal cardinality of a set which contains no non-trivial solution of r ₁ x ₁ + ⋯ + r _s x _s = 0 with . We prove that . We also apply this result to study problems in finite projective spaces.      

OD-CHARACTERIZATION OF ALMOST SIMPLE GROUPS RELATED TO U6（2）

Let G be a finite group and π(G) = { p 1 , p 2 , ··· , p k } be the set of the primes dividing the order of G. We define its prime graph Γ(G) as follows. The vertex set of this graph is π(G), and two distinct vertices p, q are joined by an edge if and only if pq ∈π e (G). In this case, we write p ～ q. For p ∈π(G), put deg(p) := |{ q ∈π(G) | p ～ q }| , which is called the degree of p. We also define D(G) := (deg(p 1 ), deg(p 2 ), ··· , deg(p k )), where p 1 < p 2 < ··· < p k , which is called the degree pattern of G. We say a group G is k-fold OD-characterizable if there exist exactly k non-isomorphic finite groups with the same order and degree pattern as G. Specially, a 1-fold OD-characterizable group is simply called an OD-characterizable group. Let L := U 6 (2). In this article, we classify all finite groups with the same order and degree pattern as an almost simple groups related to L. In fact, we prove that L and L.2 are OD-characterizable, L.3 is 3-fold OD-characterizable, and L.S 3 is 5-fold OD-characterizable.     

Two Remarks on the Glauberman-Isaacs Character Correspondence

Let the finite group A act as an automorphism group on the finite group G. When (¦G¦,¦A¦) = 1,we have the Glauberman-Isaacs natural character correspondence (bijection) *: Irr(G)^A (the A-fixed irreducible characters of (G)) → Irr(C_G(A)) (the irreducible characters of C_G(A)). We present a short proof of a Theorem of G. Navarro ([9, Theorem A]), and a reduction of the general conjecture that Χ*(1) divides Χ(1) for all Χ ∈ Irr(G)^A to the verification of this conjecture in which G is quasi-simple.     

Hochschild Cohomology Ring of an Order of a Simple Component of the Rational Group Ring of the Generalized Quaternion Group

We will give an efficient bimodule projective resolution of an order Γ, where Γ is an order of a simple component of the rational group ring ? Q _{2 ^r} of the generalized quaternion 2-group Q _{2 ^r} of order 2 ^r+2. Moreover, we will determine the ring structure of the Hochschild cohomology HH*(Γ) by calculating the Yoneda products using this bimodule projective resolution.     

A Criterion for Projective Modules

In case G is a finite group, there is a well-known criterion for projective modules: A ? G-module M is projective if and only if it is ? -free and has finite projective dimension. We first investigate whether only finite groups satisfy the above criterion. In the class of groups L H 𝔉, we conclude that this is true. Secondly, we consider the problem when a stably flat Γ-module is projective, where Γ is an arbitrary group. We show that if Γ is an L H 𝔉-group, then every stably flat cofibrant ? Γ-module is projective.     

L7（3）与GL7（3）的OD-刻画

对于任意一个有限群G,令π（G）表示由它的阶的所有素因子构成的集合.构建一种与之相关的简单图,称之为素图,记作Γ（G）.该图的顶点集合是π（G）,图中两顶点p,g相连（记作p～q）的充要条件是群G恰有pq阶元.设π（G）={P₁,p2,…,p_x}.对于任意给定的p∈π（G）,令deg（p）:=|{q∈π（G）|在素图Γ（G）中,p～q}|,并称之为顶点p的度数.同时,定义D（G）:=（deg（p₁）,deg（p₂）,…,deg（p_s））,其中p₁2<…相似文献   

Subcodes of the Projective Generalized Reed-Muller Codes Spanned by Minimum-Weight Vectors

We use methods of Mortimer [19] to examine the subcodes spanned by minimum-weight vectors of the projective generalized Reed-Muller codes and their duals. These methods provide a proof, alternative to a dimension argument, that neither the projective generalized Reed-Muller code of order r and of length over the finite field F _q of prime-power order q, nor its dual, is spanned by its minimum-weight vectors for 0<r<m–1 unless q is prime. The methods of proof are the projective analogue of those developed in [17], and show that the codes spanned by the minimum-weight vectors are spanned over F _q by monomial functions in the m variables. We examine the same question for the subfield subcodes and their duals, and make a conjecture for the generators of the dual of the binary subfield subcode when the order r of the code is 1.     

Spreads and group divisible designs

By removing the components of at-spread of a finite projective spacePG(d, q) from each hyperplane ofPG(d, q), the blocks of a regular group divisible design are obtained We characterize geometrict-spreads as thoset-spreads which are such that the dual of is also a group divisible design.     

On the Admissibility of Some Linear and Projective Groups in Odd Characteristic

A bijective mapping defined on a finite group G is complete if the mapping defined by , , is bijective. In 1955 M. Hall and L. J. Paige conjectured that a finite group G has a complete mapping if and only if a Sylow 2-subgroup of G is non-cyclic or trivial. This conjecture is still open. In this paper we construct a complete mapping for the projective groups PSL and PGL(2,q),q odd. As a consequence, we prove that in odd characteristic the projective groups PGL(n,q GL , admit a complete mapping.     

On t-covers in finite projective spaces

A t-cover of the finite projective space PG(d,q) is a setS of t-dimensional subspaces such that any point of PG(d,q) is contained in at least one element ofS. In Theorem 1 a lower bound for the cardinality of a t-coverS in PG(d,q) is obtained and in Theorem 2 it is shown that this bound is best possible for all positive integers t,d and for any prime-power q.     

A group theoretic characterization of finite derivable nets

In this article, it is shown that a finite net of orderq ² and degreeq + 1 is a derivable net if and only if the net admits a collineation group isomorphic toPSL(4,q)_N (whereN is a line of the associated 3-dimensional projective space upon which the abstract group acts).     

Exceptional Pairs in Hereditary Categories

We study the category 𝒞(X, Y) generated by an exceptional pair (X, Y) in a hereditary category ?. If r = dim _k Hom(X, Y) ≥ 1 we show that there are exactly 3 possible types for 𝒞(X, Y), all derived equivalent to the category of finite dimensional modules mod(H _r ) over the r-Kronecker algebra H _r . In general 𝒞(X, Y) will not be equivalent to a module category. More specifically, if ? is the category of coherent sheaves over a weighted projective line 𝕏, then 𝒞(X, Y) is equivalent to the category of coherent sheaves on the projective line ?¹ or to mod(H _r ) and, if 𝕏 is wild, then every r ≥ 1 can occur in this way.     

Special representations of the group SP(4,q) with minimal degrees

Let G be a finite group. Let p(G) denote the minimal degree of a faithful permutation representation ofG and let q(G) and c(G) denote the minimal degree of a faithful representation of G by quasi-permutation matrices over the rational and the complex numbers, respectively. Finally r(G) denotes the minimal degree of a faithful rational valued complex character of G. The purpose of this paper is to calculate p(G), q(G), c(G) and r(G) for the group SP(4,q). This revised version was published online in June 2006 with corrections to the Cover Date.     

An algorithm and self-reproducing systems

Let G be a group and let N be a normal subgroup of G. We set cd(G|N) to be the degrees of the irreducible characters of G whose kernels do not contain N. We associate a graph with this set. The vertices of this graph are the primes dividing degrees in cd(G|N), and there is an edge between p and q if pq divides some degree in cd(G|N). In this paper, we study this graph when it is disconnected, and we study its diameter when it is connected.     

Maximal subgroups of symmetric groups defined on projective spaces over finite fields

Let PL(n, q) be a complete projective group of semilinear transformations of the projective space P(n–1, q) of projective degree n–l over a finite field of q elements; we consider the group in its natural 2-transitive representation as a subgroup of the symmetric group S(P*(n–1, q)) on the setp*(n–1),q=p(n–1,q)/{O}. In the present note we show that for arbitrary n satisfying the inequality n>4[(qⁿ–1)/(q^n–1–1)] [in particular, for n>4(q +l)] and for an arbitrary substitutiong s (p*(n–1,q))pL(n,q) the group PL(n,q), g contains the alternating group A(P* (n–1,q)). Forq=2, 3 this result is extended to all n3.Translated from Matematicheskie Zametki, Vol. 16, No. 1, pp. 91–100, July, 1974.The author expresses his sincere thanks to M. M. Glukhov for his interest in his work.     

On divisible designs and local algebras

We study the action of the group PGL(m,A) on the projective space PG(m − 1,A) over a finite commutative local algebra A in order to construct a class of divisible designs, denoted by D_m(d,A), which is the classical one of 2-designs (of points and of flats of fixed projective dimension) in the case where A is a field. We also study the constructed divisible designs with particular care for the case where d = m − 1. © 1995 John Wiley & Sons, Inc.     

Quasirecognizability by the Set of Element Orders for Groups 3 D 4(q), for q Even

It is proved that if G is a finite group with an element order set as in the simple group ³D₄(q), where q is even, then the commutant of G/F(G) is isomorphic to ³D₄(q) and the factor group G/G′ is a cyclic {2, 3}-group. __________ Translated from Algebra i Logika, Vol. 45, No. 1, pp. 3–19, January–February, 2006.     

Dimension versus size

We investigate the behavior of f(d), the least size of a lattice of order dimension d. In particular we show that the lattice of a projective plane of order n has dimension at least n/ln(n), so that f(d)=O(d) ² log² d. We conjecture f(d)=(d ² ), and prove something close to this for height-3 lattices, but in general we do not even know whether f(d)/d.Supported in part by NSF grant MCS 83-01867, AFORS grant number 0271 and a Sloan Research Fellowship.     

若干单群与射影平面直射群

设G是有限群,H(?)G。如果H≌~2B_2(q)或H≌~2G_2(q)或H≌PSU(3,q),则G不与任何射影平面的点传递直射群同均。本文对以下问题给出了一般方法:证明以某些几乎单群为点传递自同构群的线性空间不是射影平面。