Related papers: Invariable generation and the Houghton groups

Gray and Ruskuc have shown that any group G occurs as the maximal subgroup of some free idempotent generated semigroup IG(E) on a biordered set of idempotents E, thus resolving a long standing open question. Given the group G, they make a…

We construct an infinite family of triples $(G_k,H_k,T_k)$, where $G_k$ are 2-groups of increasing order, $H_k$ are index-2 subgroups of $G_k$, and $T_k$ are pairs of generators of $H_k$. We show that the triples $u_k = (G_k,H_k,T_k)$ are…

We offer in this note a self-contained proof of the fact that a finitely generated group is not virtually nilpotent if and only if it has a quotient with the infinite conjugacy class (ICC) propoerty. This proof is a modern presentation of…

Let $H_3(\Bbb R)$ denote the 3-dimensional real Heisenberg group. Given a family of lattices $\Gamma_1\supset\Gamma_2\supset\cdots$ in it, let $T$ stand for the associated uniquely ergodic $H_3(\Bbb R)$-{\it odometer}, i.e. the inverse…

Let $G$ be a group. An automorphism of $G$ is called intense if it sends each subgroup of $G$ to a conjugate; the collection of such automorphisms is denoted by $\mathrm{Int}(G)$. In the special case in which $p$ is a prime number and $G$…

Let O be the ring of S-integers in a number field k. We prove that if the group of units O^* is infinite then every matrix in $\Gamma$ = SL_2(O) is a product of at most 9 elementary matrices. This completes a long line of research in this…

A group G is non-topologizable if the only Hausdorff group topology that G admits is the discrete one. Is there an infinite group G such that H/N is non-topologizable for every subgroup H <= G and every normal subgroup N <| H? We show that…

When studying subgroups of $Out(F_n)$, one often replaces a given subgroup $H$ with one of its finite index subgroups $H_0$ so that virtual properties of $H$ become actual properties of $H_0$. In many cases, the finite index subgroup is…

Let $G$ be 2-generated group. The generating graph $\Gamma(G)$ of $G$ is the graph whose vertices are the elements of $G$ and where two vertices $g$ and $h$ are adjacent if $G = \langle g, h \rangle.$ This definition can be extended to a…

We give a complete and irredundant list of the finite groups $G$ for which Aut$(G)$, acting naturally on $G$, has precisely $3$ orbits. There are 7 infinite families: one abelian, one non-nilpotent, three families of non-abelian $2$-groups…

In a recent paper Cameron, Lakshmanan and Ajith began an exploration of hypergraphs defined on algebraic structures, especially groups, to investigate whether this can add a new perspective. Following their suggestions, we consider suitable…

Let $SB_n$ be the singular braid group generated by braid generators $\sigma_i$ and singular braid generators $\tau_i$, $1 \leq i \leq n-1$. Let $ST_n$ denote the group that is the kernel of the homomorphism that maps, for each $i$,…

In this paper, we obtain several results on the commensurability of two Kleinian groups and their limit sets. We prove that two finitely generated subgroups $G_1$ and $G_2$ of an infinite co-volume Kleinian group $G \subset…

A group is properly 3-realizable if it is the fundamental group of a compact polyhedron whose universal covering is proper homotopically equivalent to some 3-manifold. We prove that when such a group is also quasi-simply filtered then it…

A finitely generated group is lacunary hyperbolic if one of its asymptotic cones is an $\mathbb{R}$-tree. In this article we give a necessary and sufficient condition on lacunary hyperbolic groups in order to be stable under free product by…

We prove that every finitely generated soluble group which is not virtually abelian has a subgroup of one of a small number of types.

A graph $G$ is $H$-induced-saturated if $G$ is $H$-free but deleting any edge or adding any edge creates an induced copy of $H$. There are non-trivial graphs $H$, such as $P_4$, for which no finite $H$-induced-saturated graph $G$ exists. We…

We prove that a finite complex reflection group has a generalized involution model, as defined by Bump and Ginzburg, if and only if each of its irreducible factors is either $G(r,p,n)$ with $\gcd(p,n)=1$; $G(r,p,2)$ with $r/p$ odd; or…

We compute the integral cohomology rings of a family of 3-groups. As a corollary, we exhibit, for each n greater than or equal to 5, a pair of groups of order 3^n whose integral cohomology rings are isomorphic.

A recurring theme in finite group theory is understanding how the structure of a finite group is determined by the arithmetic properties of group invariants. There are results in the literature determining the structure of finite groups…