Related papers: On residually finite groups satisfying an Engel ty…

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…

For all sufficiently large odd integers $n$, the following version of Higman's embedding theorem is proved in the variety ${\cal B}_n$ of all groups satisfying the identity $x^n=1$. A finitely generated group $G$ from ${\cal B}_n$ has a…

For every finite abelian group $G$, there are positive integers $n$ and $d$ such that $G$ is isomorphic to the multiplicative group of $d$-th powers of reduced residues modulo $n$.

Let $\Gamma_g$ denote the orientation-preserving Mapping Class Group of the genus $g\geq 1$ closed orientable surface. In this paper we show that for fixed $g$, every finite group occurs as a quotient of a finite index subgroup of…

We explore transversals of finite index subgroups of finitely generated groups. We show that when $H$ is a subgroup of a rank $n$ group $G$ and $H$ has index at least $n$ in $G$ then we can construct a left transversal for $H$ which…

We call a group $G$ {\it algorithmically finite} if no algorithm can produce an infinite set of pairwise distinct elements of $G$. We construct examples of recursively presented infinite algorithmically finite groups and study their…

In this paper, we introduce a new function related to the sum of element orders of finite groups. It is used to give some criteria for a finite group to be cyclic, abelian, nilpotent, supersolvable and solvable, respectively.

A residually finite (profinite) group $G$ is just infinite if every non-trivial (closed) normal subgroup of $G$ is of finite index. This paper considers the problem of determining whether a (closed) subgroup $H$ of a just infinite group is…

We show that inductive limits of virtually nilpotent groups have strongly quasidiagonal C*-algebras, extending results of the first author on solvable virtually nilpotent groups. We use this result to show that the decomposition rank of the…

Thompson proved that every finite group admitting a fixed-point-free automorphism of prime order is nilpotent, and Kegel showed that the same conclusion holds for finite groups admitting a splitting automorphism of prime order. Motivated by…

It is known that any locally graded group with finitely many derived subgroups of non-normal subgroups is finite-by-abelian. This result is generalized here, by proving that in a locally graded group $G$ the subgroup $\gamma_{k}(G)$ is…

A group is small if it has countably many complete $n$-types over the empty set for each natural number n. More generally, a group $G$ is weakly small if it has countably many complete 1-types over every finite subset of G. We show here…

A residually nilpotent group is \emph{$k$-parafree} if all of its lower central series quotients match those of a free group of rank $k$. Magnus proved that $k$-parafree groups of rank $k$ are themselves free. In this note we mimic this…

Given an inverse semigroup $G_0$ of bounded type, we show, along with some other assumptions, that if the set of incompressible elements of $G_0$ is finite, then any finitely generated subgroup $G$ of the topological full group…

Let $F$ be either a free nilpotent group of a given class and of finite rank or a free solvable group of a certain derived length and of finite rank. We show precisely which ones have the $R_{\infty}$ property. Finally, we also show that…

The notion of bounded FC-nilpotent group is introduced and it is shown that any such group is nilpotent-by-finite, generalizing a result of Neumann on bounded FC-groups.

The famous Tits' alternative states that a linear group either contains a nonabelian free group or is soluble-by-(locally finite). We study in this paper similar alternatives in pseudofinite groups. We show for instance that an…

Let $G$ be a finite group acting faithfully on a finite set $\Omega$. For a positive integer $k$, $G$ acts naturally on the Catesian product $\Omega^k := \Omega \times ...\times \Omega$. In this paper, we prove that finite nilpotent group…

In this paper, we introduce the relative $n$-tensor nilpotent degree of a finite group $G$ with respect to a subgroup $H$ of $G$. The aim of this paper is to investigate this concept and give some results on this topic.

For a subgroup $S$ of a group $G$, let $I_G(S)$ denote the set of commutators $[g,s]=g^{-1}g^s$, where $g\in G$ and $s\in S$, so that $[G,S]$ is the subgroup generated by $I_G(S)$. We prove that if $G$ is a $p$-soluble finite group with a…