Related papers: Concise presentations of direct products

We show that if a group can be represented as a graph product of finite directly indecomposable groups, then this representation is unique.

We show that for any non--elementary hyperbolic group $H$ and any finitely presented group $Q$, there exists a short exact sequence $1\to N\to G\to Q\to 1$, where $G$ is a hyperbolic group and $N$ is a quotient group of $H$. As an…

We determine all the ways in which a direct product of two finite groups can be expressed as the set-theoretical union of proper subgroups in a family of minimal cardinality.

We classify finite groups $G$, such that the group algebra, $\mathbb{Q}G$ (over the field of rational numbers $\mathbb{Q}$), is the direct product of the group algebra $\mathbb{Q}[G/N]$ of a proper factor group $G/N$, and some division…

We exhibit classes of groups in which the word problem is uniformly solvable but in which there is no algorithm that can compute finite presentations for finitely presentable subgroups. Direct products of hyperbolic groups, groups of…

Let $N_{g,n}$ denote the nonorientable surface of genus $g$ with $n$ boundary components and $M(N_{g,n})$ its mapping class group. We obtain an explicit finite presentation of $M(N_{g,n})$ for $n=0,1$ and all $g$ such that $g+n>3$.

A group G is said to have the Magnus property if the following holds: whenever two elements x,y have the same normal closure, then x is conjugate to y or its inverse. We prove: Let p be an odd prime, and let G,H be residually finite-p…

A finite group is said to have "perfect order classes" if the number of elements of any given order is either zero or a divisor of the order of the group. The purpose of this note is to describe explicitly the finite Hamiltonian groups with…

The class of finitely presented algebras over a field $K$ with a set of generators $a_{1},\ldots , a_{n}$ and defined by homogeneous relations of the form $a_{1}a_{2}\cdots a_{n} =a_{\sigma (1)} a_{\sigma (2)} \cdots a_{\sigma (n)}$, where…

Let G be a Lie group which is the union of an ascending sequence of Lie groups G_n (all of which may be infinite-dimensional). We study the question when G is the direct limit of the G_n's in the category of Lie groups, topological groups,…

We give a uniform explicit construction of finite two-generator presentations for the special linear groups over the integers in all ranks at least three. The construction builds on the generating-pair work of Conder--Liversidge--Vsemirnov…

We prove that $d(G) \log |G| = O(n^2 \log q)$ for irreducible subgroups $G$ of GL$(n,q)$, and estimate the associated constants. The result is motivated by attempts to bound the complexity of computing the automorphism groups of various…

Let $I$ be an infinite set, $\{G_i:i\in I\}$ be a family of (topological) groups and $G=\prod_{i\in I} G_i$ be its direct product. For $J\subseteq I$, $p_{J}: G\to \prod_{j\in J} G_j$ denotes the projection. We say that a subgroup $H$ of…

Letting $G=F/R$ be a finitely-presented group, Hopf's formula expresses the second integral homology of $G$ in terms of $F$ and $R$. Expanding on previous work, we explain how to find generators of $H_2(G;\mathbb{F}_p)$. The context of the…

A finitely generated group $G$ is said to be condensed if its isomorphism class in the space of finitely generated marked groups has no isolated points. We prove that every product variety $\mathcal{UV}$, where $\mathcal{U}$ (respectively,…

If G is a finitely generated group, and A an algebraic group, then Hom(G,A) is a possibly reducible algebraic variety denoted by R_A(G). Here we define the profile function, P_d(R_A(G)), of the representation variety of G over A to be…

Let $\mathcal G$ denote the space of finitely generated marked groups. For any finitely generated group $G$, we construct a continuous, injective map $f$ from the space of subgroups $Sub(G)$ to $\mathcal G$ that sends conjugate subgroups to…

A linear group G<GL(n) acts on d-tuples of n x n matrices by simultaneous conjugation. In [Adv. Math. 19 (1976), 306-381] Procesi established generators and relations between them for G-invariants, where G is GL(n), O(n), and Sp(n) and the…

For cyclically presented groups $G = G_n(w)$ with positive length four relators $w = x_0x_jx_kx_l$ in the free group with basis $x_0, x_1, \ldots, x_{n-1}$, we classify finiteness and, modulo two unresolved cases, we classify asphericity…

We prove several structural results on definably compact groups G in o-minimal expansions of real closed fields, such as (i) G is definably an almost direct product of a semisimple group and a commutative group, and (ii) the group (G, .) is…