Related papers: Nilpotent groups with balanced presentations. II

Let $\mbox{TFAG}$ be the theory of torsion-free abelian groups. We show that if there is no countable transitive model of $ZFC^- + \kappa(\omega)$ exists, then $\mbox{TFAG}$ is $a \Delta^1_2$-complete; in particular, this is consistent with…

For a finite abelian group $G$, let $\beta_{\mathrm{sep}}(G)$ denote its separating Noether number. We determine $\beta_{\mathrm{sep}}(G)$ exactly for every finite abelian group $ G \cong C_{n_1}\oplus \cdots \oplus C_{n_r}$ with $ 1<n_1…

We show that certain cyclically pinched one-relator groups are residually torsion-free nilpotent.

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 consider linear groups which do not contain unipotent elements of infinite order, which includes all linear groups in positive characteristic, and show that this class of groups has good properties which resemble those held by groups of…

Let $G$ be a finite group with the property that if $a,b$ are commutators of coprime orders, then $|ab|=|a||b|$. We show that $G'$ is nilpotent.

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 prove that a uniform pro-p group with no nonabelian free subgroups has a normal series with torsion-free abelian factors. We discuss this in relation to unique product groups. We also consider generalizations of Hantzsche-Wendt groups.

A nilpotent quotient algorithm for finitely presented Lie rings over Z (LieNQ) is described. The paper studies graded and non-graded cases separately. The algorithm computes the so-called nilpotent presentation for a finitely presented,…

We prove that a finitely generated Lie algebra $L$ such that (i) every commutator in generators is ad-nilpotent, and (ii) $ L$ satisfies a polynomial identity, is nilpotent. As a corollary we get that a finitely generated residually-$p$…

Let $G$ be a group and $g$ a non-trivial element in $G$. If some non-empty finite product of conjugates of $g$ equals to the trivial element, then $g$ is called a generalized torsion element. To the best of our knowledge, we have no…

In this note we prove the claim given in the title. A group G is noncommutatively slender if each map from the fundamental group of the Hawaiian Earring to G factors through projection to a canonical free subgroup. Graham Higman, in his…

We study finitely generated nilpotent groups $G$ given by full rank finite presentations $\langle A \mid R\rangle$ in the variety $\mathcal{N}_c$ of nilpotent groups of class at most $c$, where $c \geq 2$. We prove that if the deficiency…

This paper describes some generalizations of the results presented in the book "Geometry of defining Relations in Groups" , of A.Yu.Ol'shanskii to the case of non-cyclic torsion-free hyperbolic groups. In particular, it is proved that for…

Let $G$ be a group and write $\mbox{Perm}(G)$ for its symmetric group. Define $\mbox{Hol}(G)$ to be the holomorph of $G$, regarded as a subgroup of $\mbox{Perm}(G)$, and let $\mbox{NHol}(G)$ denote its normalizer. The quotient $T(G) =…

The power graph of a finite group $G$ is a simple undirected graph with vertex set $G$ and two vertices are adjacent if one is a power of the other. The enhanced power graph of a finite group $G$ is a simple undirected graph whose vertex…

We study HKT structures on nilpotent Lie groups and on associated nilmanifolds. We exhibit three weak HKT structures on $\R^8$ which are homogeneous with respect to extensions of Heisenberg type Lie groups. The corresponding hypercomplex…

For $d \geq 2$ and $G$ a finite abelian group, define $T_d(G)$ to be the minimum number of vertices $n$ so that there exists a simplicial complex $X$ on $n$ vertices which has the torsion part of $H_{d - 1}(X)$ isomorphic to $G$. Here we…

Consider the Macdonald group $G(\alpha,\beta)=\langle A,B\,|\, A^{[A,B]}=A^\alpha,\, B^{[B,A]}=B^\beta\rangle$, where $\alpha$ and $\beta$ are integers different from one. We fill a gap in Macdonald's original proof that $G(\alpha,\beta)$…

We carry out a study of groups $G$ in which the index of any infinite subgroup is finite. We call them restricted-finite groups and characterize finitely generated not torsion restricted-finite groups. We show that every infinite…