Related papers: Explicit presentation of relative Steinberg groups

An even Artin group is a group which has a presentation with relations of the form $(st)^n=(ts)^n$ with $n\ge 1$. With a group $G$ we associate a Lie $\mathbb Z$-algebra $\mathcal{TG}r(G)$. This is the usual Lie algebra defined from the…

Let F be a local non-archimedean field and let G be the group of F-valued points of a reductive algebraic group over F. In this paper we compute the Ext-groups of generalized Steinberg representations in the category of smooth…

This survey purports to be an elementary introduction to compactly presented groups, which are the analogue of finitely presented groups in the broader realm of locally compact groups. In particular, compact presentation is interpreted as a…

Tits has defined Kac-Moody and Steinberg groups over commutative rings, providing infinite dimensional analogues of the Chevalley-Demazure group schemes. Here we establish simple explicit presentations for all Steinberg and Kac-Moody groups…

All nonabelian finite simple groups of rank $n$ over a field of size $q$, with the possible exception of the Ree groups $^2G_2(3^{2e+1})$, have presentations with at most $80 $ relations and bit-length $O(\log n +\log q)$. Moreover, $A_n$…

Matrix generators for the general and special linear groups, the symplectic groups and the general and special unitary groups over finite fields. For the most part the generators have been obtained by translating Steinberg's generators for…

The notion of defining relations is well-defined for any nilpotent Lie algebra. Therefore a conventional way to present a simple Lie algebra G is by splitting it into the direct sum of a commutative Cartan subalgebra and two maximal…

We give a presentation by generators and relations of the group $U_4(\mathbb{Z}[1/\sqrt{2},i])$ of unitary $4\times 4$ matrices with entries in the ring $\mathbb{Z}[1/\sqrt{2},i]$. This is motivated by the problem of exact synthesis for the…

Every nonabelian finite simple group of rank $n$ over a field of size $q$, with the possible exception of the Ree groups $^2G_2(3^{2e+1})$, has a presentation with a bounded number of generators and relations and total length $O(\log n…

In this paper, we continue our study of abstract representations of elementary subgroups of Chevalley groups of rank $\geq 2.$ First, we extend our earlier methods to analyze representations of elementary groups over arbitrary associative…

We obtain new presentations for the imprimitive complex reflection groups of type $(de,e,r)$ and their braid groups $B(de,e,r)$ for $d,r \ge 2$. Diagrams for these presentations are proposed. The presentations have much in common with…

A cyclic presentation of a group is a presentation with an equal number of generators and relators that admits a particular cyclic symmetry. We characterise the orientable, non-orientable, and redundant cyclic presentations and obtain…

We show that the Steinberg group $\text{St}(C_2,{\mathbb Z})$ associated with the Lie type $C_2$ and with integer coefficients can be realized as a quotient of the braid group $B_6$ by one relation. As an application we give a new…

A Lie group is a group that is also a differentiable manifold, such that the group operation is continuous respect to the topological structure. To every Lie group we can associate its tangent space in the identity point as a vector space,…

In this note, we investigate how different fundamental groups of presentations of a fixed algebra $A$ can be. For finitely many finitely presented groups $G_i$, we construct an algebra $A$ such that all $G_i$ appear as fundamental groups of…

We present rational Schur algebra $S(n,r,s)$ over an arbitrary ground field $K$ as a quotient of the distribution algebra $Dist(G)$ of the general linear group $G=GL(n)$ by an ideal $I(n,r,s)$ and provide an explicit description of the…

For a class of groups $G$ over a field $\mathbb{F}$, including certain Lie groups, Algebraic groups and finite groups, we develop a general method to determine rational and real elements, thereby unifying earlier group-specific results into…

We show how to attach to any stratum of a reductive group a (small) finite group. We also show that in the simply laced case the set of strata is in bijection with a subset of the set of almost special representations of the Weyl group.…

We construct a short presentation of the ring of n x n matrices over Z with only 2 generators and 3 relations.

We solve a classical problem of centrality of symplectic $\mathrm K_2$, namely we show that for an arbitrary commutative ring $R$, $l\geq3$ the symplectic Steinberg group $\mathrm{StSp}(2l,\,R)$ as an extension of the elementary symplectic…