Order of elements in the groups related to the general linear group

For a natural number n and a prime power q the general, special, projective general and projective special linear groups are denoted by GL_n(q), SL_n(q), PGL_n(q) and PSL_n(q), respectively. Using conjugacy classes of elements in GL_n(q) in terms of irreducible polynomials over the finite field GF(q) we demonstrate how the set of order elements in GL_n(q) can be obtained. This will help to find the order of elements in the groups SL_n(q), PGL_n(q) and PSL_n(q). We also show an upper bound for the order of elements in SL_n(q).     

A theorem,like f⊘lner’s theorem on amenability,concerning residual properties of free groups

Let PL(F _q) denote the projective line over a Galois field F _q. Consider PSL (2, Z ) as a free product of two cyclic groups <x> and <y> of orders 2 and 3. We have shown that any homomorphism from PSL(2,Z) into PGL(2,q) can be extended to a homomorphism from PGL(2Z) into PGL(2q) except in the case where the order of the image of xyis 6 but the images of xand ydo not commute in PGL(2q). It has been shown also that every element in PGL(2,q), not of order 1,2 , or 6, is the image of xyunder some non-degenerate homomorphism. We have parametrized the conjugacy classes of non-degenerate homomorphisms α with the non-trivial elements of F _q. Due to this parametrization we have developed a useful mechanism by which one can construct.

a unique coset diagram (attributed to G. Higman) for each conjugacy class, depicting the action of PGL(2Z) on PL( F _q).     

Flag-transitive point-primitive 2-（v,k,4） symmetric designs and two dimensional classical groups

Let D be a 2-(v, k, 4) symmetric design and G be a flag-transitive point-primitive automorphism group of D with X ⊴ G ≤ Aut(X) where X ≅ PSL ₂(q). Then D is a 2-(15, 8, 4) symmetric design with X = PSL ₂(9) and X _x = PGL ₂(3) where x is a point of D.     

A New Characterization of PSL(p,q)

Abstract

Order components of a finite group are introduced in Chen [Chen, G. Y. (1996c) On Thompson's conjecture. J. Algebra 185:184–193]. It was proved that PSL(3, q), where q is an odd prime power, is uniquely determined by its order components [Iranmanesh, A., Alavi, S. H., Khosravi, B. (2002a). A characterization of PSL(3, q) where q is an odd prime power. J. Pure Appl. Algebra 170(2–3): 243–254]. Also in Iranmanesh et al. [Iranmanesh, A., Alavi, S. H., Khosravi, B. (2002b). A characterization of PSL(3, q) where q = 2 ⁿ . Acta Math. Sinica, English Ser. 18(3):463–472] and [Iranmanesh, A., Alavi, S. H. (2002). A characterization of simple groups PSL(5, q). Bull. Austral. Math. Soc. 65:211–222] it was proved that PSL(3, q) for q = 2 ⁿ and PSL(5, q) are uniquely determined by their order components. In this paper we prove that PSL(p, q) can be uniquely determined by its order components, where p is an odd prime number. A main consequence of our results is the validity of Thompson's conjecture for the groups under consideration.     

A Steiner 5-Design on 36 Points

Up to now, all known Steiner 5-designs are on q + 1 points where q 3 (mod 4) is a prime power and the design is admitting PSL(2, q) as a group of automorphisms. In this article we present a 5-(36,6,1) design admitting PGL(2, 17) × C ₂ as a group of automorphisms. The design is unique with this automorphism group and even for the commutator group PSL(2, 17) × Id ₂ of this automorphism group there exists no further design with these parameters. We present the incidence matrix of t-orbits and block orbits.     

Parametrization of Triangle Groups as Subgroups of PSL(2, q)

In this paper we are interested in triangle groups (j, k, l) where j = 2 and k = 3. The groups (j, k, l) can be considered as factor groups of the modular group PSL(2, Z) which has the presentation x, y : x² = y³ = 1. Since PSL(2,q) is a factor group of G^k,l,m if -1 is a quadratic residue in the finite field F_q, it is therefore worthwhile to look at (j, k, l) groups as subgroups of PSL(2, q) or PGL(2, q). Specifically, we shall find a condition in form of a polynomial for the existence of groups (2, 3, k) as subgroups of PSL(2, q) or PGL(2, q).Mathematics Subject Classification: Primary 20F05 Secondary 20G40.     

The Existence of Complete Mappings of SL(2, q), q≡1 Modulo 4

In 1955, Hall and Paige conjectured that any finite group with a noncyclic Sylow 2-subgroup admits complete mappings. For the groups GL(2, q), SL(2, q), PSL(2, q), and PGL(2, q) this conjecture has been proved except for SL(2, q), q odd. We prove that SL(2, q), q≡1 modulo 4 admits complete mappings.     

On the algebra structure of some bismash products

We study several families of semisimple Hopf algebras, arising as bismash products, which are constructed from finite groups with a certain specified factorization. First we associate a bismash product H_q of dimension q(q−1)(q+1) to each of the finite groups PGL₂(q) and show that these H_q do not have the structure (as algebras) of group algebras (except when q=2,3). As a corollary, all Hopf algebras constructed from them by a comultiplication twist also have this property and are thus non-trivial. We also show that bismash products constructed from Frobenius groups do have the structure (as algebras) of group algebras.     

A Family of Finite Simple Groups Which Are 2-Recognizable by Their Elements Order

Abstract

Let G be a finite group and ω(G) the set of all orders of elements in G. Denote by h(ω(G)) the number of isomorphism classes of finite groups H satisfying ω(H) = ω(G), and put h(G) = h(ω(G)). A group G is called k-recognizable if h(G) = k < ∞ , otherwise G is called non-recognizable. In the present article we will show that the simple groups PSL(3, q), where q ≡ ±2(mod 5) and (6, (q ? 1)/2) = 2, are 2-recognizable. Therefore if q is a prime power and q ≡ 17, 33, 53 or 57 (mod 60), then the groups PSL(3, q) are 2-recognizable. Hence proving the existing of an infinite families of 2-recognizable simple groups.     

Some designs and codes invariant under the groups <Emphasis Type="Italic">S</Emphasis><Subscript>9</Subscript> and <Emphasis Type="Italic">A</Emphasis><Subscript>8</Subscript>

We examine some designs and binary codes constructed from the primitive permutation representations of the groups PSL ₂(8) and PSL ₂(9). For PSL ₂(8) of degree 36, we construct a design and its code with the automorphism groups PSL ₂(8) and S ₉, respectively. For PSL ₂(8) of degree 36 and PSL ₂(9) of degree 15, we construct some designs and its codes invariant under the groups S ₉ and A ₈, respectively. The weight distribution and the dual of these codes are determined. By considering the action of automorphism groups on some of these codes, we obtain the structure of the stabilizer for every codeword and construct some designs such that S ₉ or A ₈ act primitively on them.      

On the Action of the Groups GL(n+1, q), PGL(n + 1, q), SL(n + 1, q) and PSL(n + 1, q) on PG(n, q t)

Let q be a prime power and let n ≥ 0, t ≥ 1 be integers. We determine the sizes of the point orbits of each of the groups GL(n + 1, q), PGL(n + 1, q), SL(n + 1, q) and PSL(n + 1, q) acting on PG(n, q ^t) and for each of these sizes (and groups) we determine the exact number of point orbits of this size.     

Maximal subgroups of odd index in finite groups with simple linear,unitary, or symplectic socle

We give a classification of maximal subgroups of odd index in finite groups whose socle is isomorphic to one of the groups PSL _n (q), PSU _n (q), or PSp _n (q) for n ≥ 13.     

On the distribution of points in orbits of PGL(2,q) acting on GF(q)

We prove results on the distribution of points in an orbit of PGL(2,q) acting on an element of GF(qⁿ). These results support a conjecture of Klapper. More precisely, we show that the points in an orbit are uniformly distributed if n is small with respect to q.     

The number of circuits of length 4 in PSL(2,ℤ)-space

ABSTRACT

Professor Graham Higman has defined coset diagrams for the action of PGL(2,?) on the projective line over a finite field F_q, denoted by PL(F_q), where q is a prime power. These diagrams are composed of circuits. In this paper, we answer the question, for a fixed number of triangles T, how many distinct circuits of length 4, are evolved?     

Some new 3-designs from PSL(2, q) with q ≡ 1 (mod4)

We determine the sizes of orbits from the action of subgroups of PSL(2,q) on projective line X = GF(q) ∪ {∞} with q a prime power and congruent to 1 modulo 4.As an example of its application,we construct some new families of simple 3-designs admitting PSL(2,q) as automorphism group.     

On the prime graph of <Emphasis Type="Italic">PSL</Emphasis>(2, <Emphasis Type="Italic">p</Emphasis>) where <Emphasis Type="Italic">p</Emphasis> > 3 is a prime number

Let G be a finite group. We define the prime graph Γ(G) as follows. The vertices of Γ(G) are the primes dividing the order of G and two distinct vertices p, q are joined by an edge if there is an element in G of order pq. Recently M. Hagie [5] determined finite groups G satisfying Γ(G) = Γ(S), where S is a sporadic simple group. Let p > 3 be a prime number. In this paper we determine finite groups G such that Γ(G) = Γ(PSL(2, p)). As a consequence of our results we prove that if p > 11 is a prime number and p ≢ 1 (mod 12), then PSL(2, p) is uniquely determined by its prime graph and so these groups are characterizable by their prime graph. The third author was supported in part by a grant from IPM (No. 84200024).     

Varietà di Segre e ovoidi dello spazio polare Q+(7, q)

Summary In this paper, for q even, we construct an ovoid O ₃ and a spread S of the finite classical polar space Q⁺(7, q) determinated by a hyperbolic quadric Q⁺ of PG(7, q) such that there is a subgroup of PGO ₊ ⁸ (q) isomorphic to PGL₂(q ³), which maps O ₃ in itself and S in S and is 3-transitive on O ₃ and on S; for q>2, S is not a Desarguesian spread of Q⁺(7, q) and O ₃ is a Desarguesian ovoid.

---

Varietà di Segre e ovoidi dello spazio polare Q⁺(7, q)

---

Al Prof. Adriano Barlotti in occasione del suo 60^o compleanno     

Constructing some designs invariant under PSL2(q), q even

In this paper, we use Key-Moori methods 1 and 2 to construct some designs from the maximal subgroups and conjugacy classes of the group PSL₂(q), where q is a power of 2.     

Designs from the Group PSL2(q), q Even

Let q be a power of 2 greater than 2 and consider the group G = PSL₂(q). We choose the maximal subgroups of G isomorphic to the dihedral groups D_2(q+1) and D_2(q-1) and present the primitive action of G on the right cosets of these two subgroups. We will find the orbits of the point stabilizer in each case and in the case of D_2(q-1) we will prove there is an orbit Δ of the point stabilizer G_ω, such that Δ ≠ {ω } and whose orbiting under G gives a 1-design with the automorphism group isomorphic to the symmetric group      

The maximum element order in the groups related to the linear groups which is a multiple of the defining characteristic

Let n be a natural number and q be the power of a prime p. The general, special and projective special linear groups are denoted by GL_n(q), SL_n(q) and PSL_n(q), respectively. In this paper we find the maximum order of an element of the above groups which is a multiple of p.