Related papers: A presentation of PGL(2,Q)

The complete classification of the finite simple groups that are $(2,3)$-generated is a problem which is still open only for orthogonal groups. Here, we construct $(2, 3)$-generators for the finite odd-dimensional orthogonal groups…

This expository article revolves around the question to find short presentations of finite simple groups. This subject is one of the most active research areas of group theory in recent times. We bring together several known results on…

We introduce a formalism of infinite, linearly ordered products in general groups. Using this, we define infinite compositions in certain groups of formal power series such as transseries. We show that such groups can sometimes be…

We present a theoretical algorithm which, given any finite presentation of a group as input, will terminate with answer yes if and only if the group is large. We then implement a practical version of this algorithm using Magma and apply it…

We obtain a description of the irreducible representation algebra of the alternating group of degree four over the ring of 2-adic integers.

A nilpotent quotient algorithm for finitely presented Lie rings over Z (LieNQ) is described. The paper studies graded and non-graded cases separately. The algorithm computes the so-called nilpotent presentation for a finitely presented,…

Let G be a unipotent algebraic subgroup of some GL_m(C) defined over Q. We describe an algorithm for finding a finite set of generators of the subgroup G(Z) = G \cap GL_m(Z). This is based on a new proof of the result (in more general form…

We construct representations of the enveloping algebra $U_q osp(2,2)$ in terms of finite difference operators and we discuss this result in the framework of quasi-exactly-solvable equations.

We construct $(2,3)$-generators for the finite $8$-dimensional orthogonal groups, proving the following results: the groups $\Omega_8^+(q)$ and $P\Omega_8^+(q)$ are $(2,3)$-generated if and only if $q\geq 4$; the groups $\Omega_8^-(q)$ and…

Let p be a prime number. We give the explicit structure of 2- nilpotent multiplier for each finite 2-generator p-group of class two. Moreover, 2-capable groups in that class are characterized.

Direct powers of perfect groups admit more concise presentations than one might naively suppose. If $H_1G=H_2G=0$, then $G^n$ has a presentation with $O(\log n)$ generators and $O(\log n)^3$ relators. If, in addition, there is an element…

Let F be a finite field and G=GL(2n,F). In this paper, we explicitly describe a certain twisted Jacquet module of an irreducible cuspidal representation of G.

We construct a finitely generated group that does not satisfy the generalized Burghelea conjecture.

Let $U_n(q)$ be the upper triangular group of degree $n$ over the finite field $\F_q$ with $q$ elements. In this paper, we present constructions of large degree ordinary irreducible representations of $U_n(q)$ where $n\geq 7$, and then…

For any prime number p and any positive real number {\alpha}, we construct a finitely generated group {\Gamma} with p-gradient equal to {\alpha}. This construction is used to show that there exist uncountably many pairwise non-commensurable…

We present two uncountable families of finitely generated residually finite groups all having the same profinite completion. One consists of soluble groups, the other of branch groups.

Given any finitely presented group G we find a triangular algebra such that has two presentations, one with fundamental group G and another with trivial group. Thus proving that given a collection G1,...,Gn of finitely presented groups…

In this paper we study higher Deligne--Lusztig representations of reductive groups over finite quotients of discrete valuation rings. At even levels, we show that these geometrically constructed representations coincide with certain induced…

We study presentations, defined by Sidki, resulting in groups $y(m,n)$ that are conjectured to be finite orthogonal groups of dimension $m+1$ in characteristic two. This conjecture, if true, shows an interesting pattern, possibly connected…

A finitely generated solvable group with unbounded iterated identity is constructed.