Related papers: Redundant relators in cyclic presentations of grou…

Using the construction of a nonorientable Curtis-Tits group of type $\tilde A_n$, we obtain new explicit families of expander graphs of valency five for unitary groups over finite fields.

Tits has defined Steinberg groups and Kac-Moody groups for any root system and any commutative ring R. We establish a Curtis-Tits-style presentation for the Steinberg group St of any rank > 2 irreducible affine root system, for any R.…

For a finite noncyclic group $G$, let $\Cyc(G)$ be a set of elements $a$ of $G$ such that $\langle a,b\rangle$ is cyclic for each $b$ of $G$. The noncyclic graph of $G$ is a graph with the vertex set $G\setminus \Cyc(G)$, having an edge…

This article investigates the properties of order-divisor graphs associated with finite groups. An order-divisor graph of a finite group is an undirected graph in which the set of vertices includes all elements of the group, and two…

For a group $G$, we define a graph $\Delta(G)$ by letting $G^{\#} = G \setminus \{ 1 \}$ be the set of vertices and by drawing an edge between distinct elements $x,y\in G^{\#}$ if and only if the subgroup $\langle x,y\rangle$ is cyclic.…

We give a new technique for constructing presentations by generators and relations for representations of groups like $SL_n(\mathbb{Z})$ and $Sp_{2g}(\mathbb{Z})$. Our results play an important role in recent work of the authors calculating…

With every family of finitely many subsets of a finite-dimensional vector space over the Galois-field with two elements we associate a cyclic transversal polytope. It turns out that those polytopes generalize several well-known polytopes…

Adding two generators and one arbitrary relator to a nontrivial torsion-free group, we always obtain an SQ-universal group. In the course of the proof of this theorem, we obtain some other results of independent interest. For instance,…

We modify Grayson's model of $K_1$ of an exact category to give a presentation whose generators are binary acyclic complexes of length at most $k$ for any given $k \ge 2$. As a corollary, we obtain another, very short proof of the…

This paper introduces the cyclic subfactors, generalizing the cyclic groups as the subfactors generalize the groups, and generalizing the natural numbers as the maximal subfactors generalize the prime numbers. On one hand, a theorem of O.…

We show that for any finitely generated group of matrices that is not virtually solvable, there is an integer m such that, given an arbitrary finite generating set for the group, one may find two elements a and b that are both products of…

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…

Graphs are commonly used to represent and visualize causal relations. For a small number of variables, this approach provides a succinct and clear view of the scenario at hand. As the number of variables under study increases, the graphical…

This paper is a brief and informal presentation of cirquent calculus, a novel proof system for resource-conscious logics. As such, it is a refinement of sequent calculus with mechanisms that allow to explicitly account for the possibility…

Group presentations are implicit descriptions of 2-dimensional cell complexes with only one vertex. While such complexes are usually sufficient for topological investigations of groups, multi-vertex complexes are often preferable when the…

In the two parts of this paper we solve a problem of De Rham, proving that Reidemeister torsion invariants determine topological equivalence of linear G-representations, for G a finite cyclic group. Methods in controlled K-theory and…

We define a diagrammatic category that is equivalent to tilting representations for the orthogonal group. Our construction works in characteristic not equal to two. We also describe the semisimplification of this category.

It is known that a group shift on a polycyclic group is necessarily of finite type. We show that, for trivial reasons, if a group does not satisfy the maximal condition on subgroups, then it admits non-SFT abelian group shifts. In…

An idea to present a classical Lie group of positive dimension by generators and relations sounds dubious, but happens to be fruitful. The isometry groups of classical geometries admit elegant and useful presentations by generators and…

Let N_{g,s} denote the nonorientable surface of genus g with s boundary components. Recently Paris and Szepietowski obtained an explicit finite presentation for the mapping class group M(N_{g,s}) of the surface N_{g,s}, where s\in{0,1} and…