Related papers: Distortion in Free Nilpotent Groups
We prove that the word problem of a finitely generated group $G$ is in NP (solvable in polynomial time by a non-deterministic Turing machine) if and only if this group is a subgroup of a finitely presented group $H$ with polynomial…
We study group-graded Lie algebras L with finite support X. We show that L is nilpotent of |X|-bounded class if X is arithmetically-free. Conversely: we show that Y supports the grading of a non-nilpotent Lie algebra if Y is not…
Let $q$ be a prime and $A$ an elementary abelian group of order at least $q^3$ acting by automorphisms on a finite $q'$-group $G$. It is proved that if $|\gamma_{\infty}(C_{G}(a))|\leq m$ for any $a\in A^{\#}$, then the order of…
The following results are proved: The center of any finite index subgroup of an irreducible, infinite, non-affine Coxeter group is trivial; Any finite index subgroup of an irreducible, infinite, non-affine Coxeter group cannot be expressed…
We refer to the set of the orders of elements of a finite group as its spectrum and say that groups are isospectral if their spectra coincide. We prove that with the only specific exception the solvable radical of a nonsolvable finite group…
We characterize co-Hopfian finitely generated torsion free nilpotent groups in terms of their Lie algebra automorphisms, and construct many examples of such groups.
We prove that finitely presented residually free groups are subgroup conjugacy separable. Furthermore, if they are of type $FP_\infty$, then they are also subgroup conjugacy distinguished. Using a connection between conjugacy separability…
It is known that the pure braid groups are residually torsion-free nilpotent. This property is however widely open for the most obvious generalizations of these groups, like pure Artin groups and like fundamental groups of hyperplane…
Let $K$ be a complete quasivariety of topological inverse Clifford semigroups, containing all topological semilattices. It is shown that the free topological inverse semigroup $F(X,K)$ of $X$ in the class $K$ is an $R^\infty$-manifold if…
A group G is (finitely) co-Hopfian if it does not contain any proper (finite-index) subgroups isomorphic to itself. We study finitely generated groups G that admit a descending chain of proper normal finite-index subgroups, each of which is…
We consider groups $G$ such that the set $[G,\varphi]=\{g^{-1}g^{\varphi}|g\in G\}$ is a subgroup for every automorphism $\varphi$ of $G$, and we prove that there exists such a group $G$ that is finite and nilpotent of class $n$ for every…
The pro-isomorphic zeta function of a torsion-free finitely generated nilpotent group G enumerates finite index subgroups H such that H and G have isomorphic profinite completions. It admits an Euler product decomposition, indexed by the…
In this paper it is proved that the group $F\left(\frac32\right)$, a Thompson-style group with breaks in $\mathbb{Z}\left[\frac16\right]$ but whose slopes are restricted only to powers of $\frac32$, is finitely generated, with a generating…
We show that if a torsion free nilpotent group $G$ has a balanced presentations and Hirsch length $h(G)>3$ then $\beta_1(G;\mathbb{Q})=2$. There is just one such group which is torsion-free and of Hirsch length $h=4$, and none with $h=5$.…
We prove that the outer automorphism group $\mathrm{Out}(N)$ of an infinitely generated free nilpotent group $N$ of class two is complete.
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…
Let $q$ be a prime and $A$ a finite $q$-group of exponent $q$ acting by automorphisms on a finite $q'$-group $G$. Assume that $A$ has order at least $q^3$. We show that if $\gamma_{\infty} (C_{G}(a))$ has order at most $m$ for any $a \in…
We prove that a finitely generated group $G$ is virtually free if and only if there exists a generating set for $G$ and $k > 0$ such that all $k$-locally geodesic words with respect to that generating set are geodesic.
The Fitting subgroup of a type-definable group in a simple theory is relatively definable and nilpotent. Moreover, the Fitting subgroup of a supersimple hyperdefinable group has a normal hyperdefinable nilpotent subgroup of bounded index,…
It is shown that there exist infinitely many non-integers $r>2$ such that the Dehn function of some finitely presented group is $\simeq n^r$. For each positive rational number $s$ we construct pairs of finitely presented groups $H\subset G$…