Related papers: Non-solvable torsion-free virtually solvable group…

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$.…

A theorem by Hall asserts that the multiplication in torsion free nilpotent groups of finite Hirsch length can be facilitated by polynomials. In this note we exhibit explicit Hall polynomials for the torsion free nilpotent groups of Hirsch…

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…

We show that torsion-free elementary amenable groups of Hirsch length $\leq3$ are solvable, of derived length $\leq3$. This class includes all solvable groups of cohomological dimension 3. We show also that groups in the latter subclass are…

It has been shown by several authors that there exists a non-solvable Bieberbach group of dimension $15$. In this note we show that this is in fact a minimal dimension for such kind of groups.

In this paper we will show that finitely generated torsion-free 2-step nilpotent groups of Hirsch length at most 6 do not have the $R_{\infty}$-property, while there are examples of such groups of Hirsch length 7 that do have the…

If $G$ is a nilpotent group with a balanced presentation and $G\not\cong\mathbb{Z}^3$ then $\beta_1(G;\mathbb{Q})\leq2$ \cite{Hi22}. We show that if such a group $G$ has an abelian normal subgroup $A$ such that $G/A\cong\mathbb{Z}^2$ then…

Let G be a finite solvable group, and let h(G) denote its Fitting height, namely the length of a shortest normal series in G with nilpotent factors. We show, that any law in G has length at least h(G). This result is then used to improve a…

A famous result of Hall asserts that the multiplication and exponentiation in finitely generated torsion free nilpotent groups can be described by rational polynomials. We describe an algorithm to determine such polynomials for all torsion…

We construct examples of groups showing that virtual solvability and the property of being virtually torsion-free are not preserved by bi-Lipschitz maps and hence by quasi-isometries.

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.…

We construct finitely generated torsion-free solvable groups $G$ that have infinite rank, but such that all finitely generated torsion-free metabelian subquotients of $G$ are virtually abelian. In particular all finitely generated…

We prove a Freiheitssatz for one-relator products of torsion-free groups, where the relator has syllable length at most 8. This result has applications to equations over torsion-free groups: in particular a singular equation of syllable…

We define a class $\mathcal{U}$ of solvable groups of finite abelian section rank which includes all such groups that are virtually torsion-free as well as those that are finitely generated. Assume that $G$ is a group in $\mathcal{U}$ and…

If $X$ is an orientable, strongly minimal $PD_4$-complex and $\pi_1(X)$ has one end then it has no nontrivial locally-finite normal subgroup. Hence if $\pi$ is a 2-knot group then (a) if $\pi$ is virtually solvable then either $\pi$ has two…

Let $G$ be a non-trivial torsion free group and $s(t)=g_{1}t^{\epsilon_{1}}g_{2}t^{\epsilon_{2}} \cdots g_{n}t^{\epsilon_{n}}=1 \; (g_{i} \in G,\ \epsilon_i=\pm 1)$ be an equation over $G$ containing no blocks of the form…

Given a group $G$ with bounded torsion that acts properly on a systolic complex, we show that every solvable subgroup of $G$ is finitely generated and virtually abelian of rank at most $2$. In particular this gives a new proof of the above…

Assume that $G$ is a virtually torsion-free solvable group of finite rank and $A$ a $\mathbb ZG$-module whose underlying abelian group is torsion-free and has finite rank. We stipulate a condition on $A$ that ensures that $H^n(G,A)$ and…

We say that a group is anti-solvable if all of its composition factors are non-abelian. We consider a particular family of anti-solvable finite groups containing the simple alternating groups for $n\neq 6$ and all 26 sporadic simple groups.…

Not any nonsingular equation over a metabelian group has solution in a larger metabelian group. However, any nonsingular equation over a solvable group with a subnormal series with abelian torsion-free quotients has a solution in a larger…