Related papers: Finite presentability of twisted Brin-Thompson gro…

We study finite skew braces whose multiplicative group is characteristically simple, namely of the form \(S^n\) for a finite simple group \(S\). Motivated by the strong rigidity phenomena known for skew braces with simple or quasisimple…

We show that any soluble group $G$ of type Bredon-$\FP_{\infty}$ with respect to the family of all virtually cyclic subgroups such that centralizers of infinite order elements are of type $\FP_{\infty}$ must be virtually cyclic. To prove…

We give a short proof that every contracting self-similar group embeds into a finitely presented simple group. In particular, any contracting self-similar group embeds into the corresponding R\"over--Nekrashevych group, and this in turn…

Given a finitely generated linear group $G$ over $\mathbb{Q}$, we construct a simple group $\Gamma$ that has the same finiteness properties as $G$ and admits $G$ as a quasi-retract. As an application, we construct a simple group of type…

We show that the monoids totM_{k,1} introduced by Birget and their generalizations tot nM_{k,r} which extend the Brin-Higman-Thompson groups, can be realized as the endomorphism monoids of higher-dimensional J\'onsson-Tarski algebras. We…

A group element is called generalized torsion if a finite product of its conjugates is equal to the identity. We show that in a finitely generated abelian-by-finite group, an element is generalized torsion if and only if its image in the…

Explicit embeddings of the group $\mathbb{Q}$ into a finitely presented group $\mathcal{Q}$ and into a $2$-generator finitely presented group $T_{\mathcal{Q}}$ are suggested. The constructed embeddings reflect questions mentioned by…

We construct a finitely presented group with coNP-complete word problem, and a finitely generated simple group with coNP-complete word problem. These groups are represented as Thompson groups, hence as partial transformation groups of…

The purpose of the present paper is to prove for finitely generated groups of type I the following conjecture of A.Fel'shtyn and R.Hill, which is a generalization of the classical Burnside theorem. Let G be a countable discrete group, f one…

We prove that every finitely presentable group G arises as the fundamental group of an orientable 3-complex obtained from a hyperbolic link complement, by coning each boundary torus of the link exterior to a distinct point. We define the…

In this note we prove that every finitely presented subgroup of a systolic group is itself systolic.

The action of a finite group $G$ on a subshift of finite type $X$ is called free, if every point has trivial stabilizer, and it is called inert, if the induced action on the dimension group of $X$ is trivial. We show that any two free inert…

In this paper, using some properties of fundamental groups and covering spaces of connected polyhedra and CW-complexes, we present topological proof for some famous theorems about finitely presented groups.

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,…

We show that the finitely generated simple left orderable groups $G_{\rho}$ constructed by the first two authors in arXiv:1807.06478 are uniformly perfect - each element in the group can be expressed as a product of three commutators of…

For a set $X\subseteq \mathbb{N}$, we define the $X$-torsion of a group $G$ to be all elements $g\in G$ with $g^{n}=e$ for some $n\in X$. With $X$ recursively enumerable, we give two independent proofs (group-theoretic, and model-theoretic)…

In this note we prove the following results: $\bullet$ If a finitely presented group $G$ admits a strongly aperiodic SFT, then $G$ has decidable word problem. More generally, for f.g. groups that are not recursively presented, there exists…

We find a condition on the acylindrical action of a finitely presented group on a simplicial tree which guarantees that this action will be dominated by an acylindrical action with finitely generated edge stabilisers, and find the first…

We associate a 2-complex to the following data: a presentation of a semigroup $S$ and a transitive action of $S$ on a set $V$ by partial transformations. The automorphism group of the action acts properly discontinuously on this 2-complex.…

A monoid $S$ is right coherent if every finitely generated subact of every finitely presented right $S$-act is finitely presented. This is a finiteness condition, and we investigate whether or not it is preserved under some standard…