Related papers: Residual Finiteness Growth in Virtually Nilpotent …

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{C}$ be a class of finite groups closed for subgroups, quotients groups and extensions. Let $\Gamma$ be a finite simplicial graph and $G = G_{\Gamma}$ be the corresponding pro-$\mathcal C$ RAAG. We show that if $N$ is a…

A finitely generated group $\Gamma$ is called strongly scale-invariant if there exists an injective endomorphism $\varphi: \Gamma \to \Gamma$ with the image $\varphi(\Gamma)$ of finite index in $\Gamma$ and the subgroup $\displaystyle…

Given an infinite group G, we consider the finitely additive measure defined on finite unions of cosets of finite index subgroups. We show that this shares many properties with the size of subsets of a finite group, for instance we can…

A finite group $G$ is said to have the nilpotent decomposition property (ND) if for every nilpotent element $\alpha$ of the integral group ring $\mathbb{Z}[G]$ one has that $\alpha e$ also belong to $\mathbb{Z}[G]$, for every primitive…

We find a lower bound to the size of finite groups detecting a given word in the free group, more precisely we construct a word w_n of length n in non-abelian free groups with the property that w_n is the identity on all finite quotients of…

We will give an example of a branch group $G$ that has exponential growth but does not contain any non-abelian free subgroups. This answers question 16 from \cite{Bartholdi} positively. The proof demonstrates how to construct a non-trivial…

We introduce a quantitative notion of lawlessness for finitely generated groups, encoded by the "lawlessness growth function" $\mathcal{A}_{\Gamma} : \mathbb{N} \rightarrow \mathbb{N}$. We show that $\mathcal{A}_{\Gamma}$ is bounded iff…

If V is a finitely generated variety such that the first-order theory of the finite members of V is decidable, we show that V is residually finite, and in fact has a finite bound on the sizes of subdirectly irreducible algebras. This result…

A group $G$ given by a presentation $G = < \mathcal A \| \mathcal R >$ is called weakly finitely presented if every finitely generated subgroup of $G$, generated by (images of) some words in $\mathcal A^{\pm 1}$, is naturally isomorphic to…

We give a criterion on pairs $(G,S)$ - where $G$ is a virtually $s$-step nilpotent group and $S$ is a finite generating set - saying whether the geodesic growth is exponential or strictly sub-exponential. Whenever $s=1,2$, this goes further…

We show that a K-approximate subgroup A of a residually nilpotent group G is contained in boundedly many cosets of a finite-by-nilpotent subgroup, the nilpotent factor of which is of bounded step. Combined with an earlier result of the…

In this note we study sets of normal generators of finitely presented residually $p$-finite groups. We show that if an infinite, finitely presented, residually $p$-finite group $G$ is normally generated by $g_1,\dots,g_k$ with order…

We study a family of finitely generated residually finite groups. These groups are doubles $F_2*_H F_2$ of a rank-$2$ free group $F_2$ along an infinitely generated subgroup $H$. Varying $H$ yields uncountably many groups up to isomorphism.

Let $G$ be an amenable group. We define and study an algebra $\mathcal{A}_{sn}(G)$, which is related to invariant means on the subnormal subgroups of $G$. For a just infinite amenable group $G$, we show that $\mathcal{A}_{sn}(G)$ is…

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 study the groups $G$ with the curious property that there exists an element $k\in G$ and a function $f\colon G\to G$ such that $f(xk)=xf(x)$ holds for all $x\in G$. This property arose from the study of near-rings and input-output…

Let $\mathcal{T}$ denote the class of finitely generated torsion-free nilpotent groups. For a group $G$ let $F(G)$ be the set of isomorphism classes of finite quotients of $G$. Pickel proved that if $G \in \mathcal{T}$, then the set…

A virtual endomorphism of a group G is a homomorphism f from H into G where H is a subgroup of G of finite index m. The triple (G,H,f) produces a state-closed (or, self-similar) representation t of G on the 1-rooted m-ary tree. This paper…

This paper is a continuation of the study on maximal and Frattini L-subgroups of an L-group. The normality of the maximal L-subgroups of a nilpotent L-group is explored. Then, the concept of finitely generated L-subgroup is introduced and…