Related papers: Nilpotent groups with balanced presentations

We give a uniform construction that, on input of a recursive presentation $P$ of a group, outputs a recursive presentation of a torsion-free group, isomorphic to $P$ whenever $P$ is itself torsion-free. We use this to re-obtain a known…

If $G$ and $H$ are finitely generated residually nilpotent groups, then $G$ and $H$ are in the same nilpotent genus if they have the same lower central quotients (up to isomorphism). A stronger condition is that $H$ is para-$G$ if there…

We prove that an HNN extension of a torsion-free nilpotent group is left-orderable. We also construct examples of non-left-orderable HNN extensions of left-orderable groups

The directed power graph $\mathcal G(\mathbf G)$ of a group $\mathbf G$ is the simple digraph with vertex set $G$ in which $x\rightarrow y$ if $y$ is a power of $x$, the power graph is the underlying simple graph, and the enhanced power…

A homogeneous nilpotent Lie group has a scaling automorphism determined by a grading of its Lie algebra. Many proofs of upper bounds for the Dehn function of such a group depend on being able to fill curves with discs compatible with this…

We construct a non-free but aleph_1-separable, torsion-free abelian group G with a pure free subgroup B such that all subgroups of G disjoint from B are free and such that G/B is divisible. This answers a question of Irwin and shows that a…

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…

We show that a construction by Aanderaa and Cohen used in their proof of the Higman Embedding Theorem preserves torsion length. We give a new construction showing that every finitely presented group is the quotient of some $C'(1/6)$…

The \emph{power graph} $P(G)$ of a group $G$ is the graph whose vertex set is $G$, with $x$ and $y$ joined if one is a power of the other; the \emph{directed power graph} $\vec{P}(G)$ has the same vertex set, with an arc from $x$ to $y$ if…

The authors extend to the $q-$tensor square $G \otimes^q G$ of a group $G$, $q$ a non-negative integer, some structural results due to R. D. Blyth, F. Fumagalli and M. Morigi concerning the non-abelian tensor square $G \otimes G$ ($q = 0$).…

If $G$ is a nilpotent group and $[G,G]$ has Hirsch length $1$, then every f.g. submonoid of $G$ is boundedly generated, i.e. a product of cyclic submonoids. Using a reduction of Bodart, this implies the decidability of the submonoid…

For every finite $p$-group $G_p$ that is non-cyclic and non-quaternion and every positive integer $\ell\neq p$ that is greater than $2$, we prove the first non-trivial bound on $\ell$-torsion in class group of every $G_p$-extension. More…

We characterize co-Hopfian finitely generated torsion free nilpotent groups in terms of their Lie algebra automorphisms, and construct many examples of such groups.

Plante-Thurston proved that every nilpotent subgroup of $\Diff^2(S^1)$ is abelian. One of our main results is a sharp converse: $\Diff^1(S^1)$ contains every finitely-generated, torsion-free nilpotent group.

Let $G$ be a finitely generated torsion-free nilpotent group. The representation zeta function $\zeta_G(s)$ of $G$ enumerates twist isoclasses of finite-dimensional irreducible complex representations of $G$. We prove that $\zeta_G(s)$ has…

Let $k$ be a field of characteristic different from $2$ and let $G$ be a nonabelian residually torsion-free nilpotent group. It is known that $G$ is an orderable group. Let $k(G)$ denote the subdivision ring of the Malcev-Neumann series…

Let $G$ be a non-trivial torsion free group and $t$ be an unknown. In this paper we consider three equations (over $G$) of arbitrary length and show that they have a solution (over $G$) provided two relations among their coefficients hold.…

Let $G$ be a group. The orbits of the natural action of $\Aut(G)$ on $G$ are called "automorphism orbits" of $G$, and the number of automorphism orbits of $G$ is denoted by $\omega(G)$. Let $G$ be a virtually nilpotent group such that…

Let $G$ be a random torsion-free nilpotent group generated by two random words of length $\ell$ in $U_n(\mathbb{Z})$. Letting $\ell$ grow as a function of $n$, we analyze the step of $G$, which is bounded by the step of $U_n(\mathbb{Z})$.…

Let $G$ be a generalized Baumslag-Solitar group and $\mathcal{C}$ be a class of groups containing at least one non-unit group and closed under taking subgroups, extensions, and Cartesian products of the form $\prod_{y \in Y}X_{y}$, where…