Related papers: Full rank presentations and nilpotent groups: stru…

In this paper we give a complete algebraic description of groups elementarily equivalent to a given free nilpotent group of finite rank.

In this paper we continue the study of powerfully nilpotent groups. These are powerful $p$-groups possessing a central series of a special kind. To each such group one can attach a powerful nilpotency class that leads naturally to the…

A result by Bridson, Howie, Miller, and Short states that if $S$ is a finitely presented subgroup of the direct product of free groups, then $S$ is virtually a nilpotent extension of a direct product of free groups. Moreover, if $S$ is a…

Given a finitely generated residually finite group $G$, the residual finiteness growth $\text{RF}_G: \mathbb{N} \to \mathbb{N}$ bounds the size of a finite group $Q$ needed to detect an element of norm at most $r$. More specifically, if…

For an element $g$ of a group $G$, an Engel sink is a subset ${\mathscr E}(g)$ such that for every $x\in G$ all sufficiently long commutators $[...[[x,g],g],\dots ,g]$ belong to ${\mathscr E}(g)$. A~finite group is nilpotent if and only if…

The submonoid membership problem for a finitely generated group $G$ is the decision problem, where for a given finitely generated submonoid $M$ of $G$ and a group element $g$ it is asked whether $g \in M$. In this paper, we prove that for a…

We show that the Diophantine problem in Thompson's group F is undecidable. Our proof uses the facts that F has finite commutator width and rank 2 abelianisation, then uses similar arguments used by B\"uchi and Senger and Ciobanu and Garreta…

Full residual finiteness growth of a finitely generated group $G$ measures how efficiently word metric $n$-balls of $G$ inject into finite quotients of $G$. We initiate a study of this growth over the class of nilpotent groups. When the…

The residual finiteness growth $\text{RF}_G: \mathbb{N} \to \mathbb{N}$ of a finitely generated group $G$ is a function that gives the smallest value of the index $[G:N]$ with $N$ a normal subgroup not containing a non-trivial element $g$,…

Given a finite group $G$, we denote by $\nu(G)$ the probability that two randomly chosen elements of $G$ generate a nilpotent subgroup. We prove that if $\nu(G)>1/12,$ then $G$ is solvable.

Let $F$ be a nilpotent group acted on by a group $H$ via automorphisms and let the group $G$ admit the semidirect product $FH$ as a group of automorphisms so that $C_G(F) = 1$. We prove that the order of $\gamma_\infty(G)$, the rank of…

A finitely presented group F is called flawed if Hom(F,G)//G deformation retracts onto its subspace Hom(F,K)/K for reductive affine algebraic groups G and maximal compact subgroups K in G. After discussing generalities concerning flawed…

Let $A$ and $G$ be finite groups such that $A$ acts coprimely on $G$ by automorphisms. We provide a complete classification of a finite group $G$ in which every maximal $A$-invariant subgroup containing the normalizer of some $A$-invariant…

For a torsion free finitely generated nilpotent group G we naturally associate four finite dimensional nilpotent Lie algebras over a field of characteristic zero. We show that if G is a relatively free group of some variery of nilpotent…

The 'degree of k-step nilpotence' of a finite group G is the proportion of the tuples (x_1,...,x_{k+1}) in G^{k+1} for which the simple commutator [x_1,...,x_{k+1}] is equal to the identity. In this paper we study versions of this for an…

We study finitely generated models of countable theories, having at most countably many nonisomorphic finitely generated models. We intro- duce a notion of rank of finitely generated models and we prove, when T has at most countably many…

For a finite group $G$ and an element $x\in G$, the subset $$ nil_G(x)=\{y\in G \mid <x,y>~~ is ~~ nilpotent\}$$ is called nilpotentizer of $x$ in $G$. In this paper, we give two solvabilty criteria for a finite group by the structure and…

The functions $F_{G}(n)$ measures the asymptotic behavior of residual finiteness for a finitely generated group $G$. In previous work \cite{Pengitore_1}, the author claimed a characterization for $F_{N}(n)$ when $N$ is a finitely generated…

We study the Diophantine problem, i.e. the decision problem of solving systems of equations, for some families of one-relator groups, and provide some background for why this problem is of interest. The method used is primarily the…

Let $G$ be a finite group, and $c$ an element of $\mathbb{Z}\cup \{\infty\}$. A subgroup $H$ of $G$ is said to be {\it $c$-nilpotent} if it is nilpotent, and has nilpotency class at most $c$. A subset $X$ of $G$ is said to be {\it…