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.     

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 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.     

Psl(2,q) quotients of some hyperbolic tetrahedral and coxeter groups

We classify quotients of type PSL(2,q) and PGL(2,q) with torsion-free kernel for four of the nine hyperbolic tetrahedral groups. Using this result, we give a classification of the quotients with torsion-free kernel of type PSL(2q) ×Z₂ of the associated Coxeter or reflection groups. These do not admit quotients of type PSL(2,q),PGL(2,q). We also study quotients of type PSL(2,q) and PGL(2,q) of the fundamental group of the hyperbolic 3-orbifold of minimal known volume.     

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).     

Parabolic conjugacy in general linear groups

Let q be a power of a prime and n a positive integer. Let P(q) be a parabolic subgroup of the finite general linear group GL _n (q). We show that the number of P(q)-conjugacy classes in GL _n (q) is, as a function of q, a polynomial in q with integer coefficients. This answers a question of Alperin in (Commun. Algebra 34(3): 889–891, 2006)     

Representations of finite special linear groups in non-defining characteristic

We classify irreducible modules over the finite special linear group SLn(q) in the non-defining characteristic ?, describe restrictions of irreducible modules from GLn(q) to SLn(q), classify complex irreducible characters of SLn(q) irreducible modulo l, and discuss unitriangularity of the l-decomposition matrix for SLn(q).     

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.     

Sets of elements that pairwise generate a linear group

Let G be any of the groups (P)GL(n,q), (P)SL(n,q). Define a (simple) graph Γ=Γ(G) on the set of elements of G by connecting two vertices by an edge if and only if they generate G. Suppose that n is at least 12. Then the maximum size of a complete subgraph in Γ is equal to the chromatic number of Γ if , or if , q is odd and G=(P)SL(n,q). This work was motivated by a question of Blackburn.     

Fischer Matrices of the Affine Groups

Let GL_n(q) be the general linear group and let H_n ; V_n(q) · GL_n(q) denote the affine group of V_n(q). In [1] and [4], we determined Fischer matrices for the conjugacy classes of GL_n(q) where n = 2, 3, 4 and we obtained the number of conjugacy classes and irreducible characters of H₂, H₃, and H₄. In this paper, we find the Fischer matrices of the affine group H_n for arbitrary n.AMS Subject Classification Primary 20C15 Secondary 20C33     

Unipotent Conjugacy in General Linear Groups

Let U(n,q) be the group of upper uni-triangular matrices in GL(n,q), the n-dimensional general linear group over the field of q elements. The number of U(n,q)-conjugacy classes in GL(n,q) is, as a function of q, for fixed n, a polynomial in q with integral coefficients.     

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.     

On the structure of generalized symmetric spaces of SLn𝔽q)

In this paper we extend previous results regarding SL₂(k) over any finite field k by investigating the structure of the symmetric spaces for the family of special linear groups SL_n(k) for any integer n>2. Specifically, we discuss the generalized and extended symmetric spaces of SL_n(k) for all conjugacy classes of involutions over a finite field of odd or even characteristic. We characterize the structure of these spaces and provide an explicit difference set in cases where the two spaces are not equal.     

Constructive Matrix and Orderable Groups

We study into the relationship between constructivizations of an associative commutative ring K with unity and constructivizations of matrix groups GL _n(K) (general), SL _n(K) (special), and UT _n(K) (unitriangular) over K. It is proved that for n 3, a corresponding group is constructible iff so is K. We also look at constructivizations of ordered groups. It turns out that a torsion-free constructible Abelian group is orderly constructible. It is stated that the unitriangular matrix group UT _n(K) over an orderly constructible commutative associative ring K is itself orderly constructible. A similar statement holds also for finitely generated nilpotent groups, and countable free nilpotent groups.     

Sets of Elements that Pairwise Generate a Matrix Ring

In this article, we investigate the relationship between the minimum number of proper subgroups of GL(n, q) whose union is the whole GL(n, q) and the maximum number of elements that pairwise generate GL(n, q). We show that the minimum number of proper subrings of M _n (q) whose union is the whole M _n (q) is exactly the maximum number of elements that pairwise generate M _n (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?     

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.     

Normalized local theta correspondence and the duality of inner product formulas

We conjecture that local theta correspondence can be normalized by the leading coefficient of a weighted local period integral, and that there exists a duality of local and global inner product formulas. The conjecture is verified for the pair (, PGL ₂) and (SL ₂, SO(2, 2)). As an application, global inner product formulas are obtained for liftings in the directions PGL ₂ → , GSO(2, 2) → GL ₂.     

On the dimension of the module-varieties of tame and weld algebras

Inspired by a result in [Ga], we locate three integer forms of F_q[SL(n+ 1)] over k[q,q ^-1] wih a presentation by generators and relations, which for q=1 specialize to U(𝔥)), where 𝔥 is the Lie bialgebra of the Poisson Lie group dual to SL(n+1). In sight of this we prove two PBW-like theorems for F_q [SL(n+ 1)], both related to the classical PBW theorem for U(𝔥).