Related papers: Commutators as Powers in Free Products of Groups
It is well known that a nontrivial commutator in a free group is never a proper power. We prove a theorem that generalizes this fact and has several worthwhile corollaries. For example, an equation $[ x_1, y_1] \ldots [ x_k, y_k] = z^n$,…
A classification of the ways in which an element of a free group can be expressed as a product of commutators or as a product of squares is given. This is then applied to some particular classes of elements. Finally, a question about…
A nontrivial commutator cannot be a proper power in a torsion-free group satisfying C'(\lambda) small cancellation condition with sufficiently small \lambda.
It is shown that a nontrivial normal subgroup $N$ of a group $G$ is a free factor of the $N$'s normal closure in the $G$'s free product with arbitrary nontrivial groups.
An approach to identify the normal subgroups determined by ideals in free group rings with the help of the derived functors of non-additive functors is explored. A similar approach, i.e., via derived functors, for computing limits of…
Given a free product of groups $G = {\large *}_{j \in J} A_j$ and a natural number $n$, what is the minimal possible commutator length of an element $g^n \in G$ not conjugate to elements of the free factors? We give an exhaustive answer to…
Factors $\frac{X}{Y}$ in a free group $F$ with $Y$ normal in $X$ are considered. Precise results on the free structure of ${Y}$ relative to the free structure of ${X}$ when $\frac{X}{Y}$ is abelian are obtained. Some extensions and…
This is the third paper in a sequence on Krull dimension for limit groups, answering a question of Z. Sela. We give generalizations of the well known fact that a nontrivial commutator in a free group is not a proper power to both graphs of…
Given groups $A$ and $B$, what is the minimal commutator length of the 2020th (for instance) power of an element $g\in A*B$ not conjugate to elements of the free factors? The exhaustive answer to this question is still unknown, but we can…
Elements of the commutator subgroup of a free group can be presented as values of canonical forms, called Wicks forms. We show that, starting from sufficiently high genus g, there is a sequence of words w(g) which can be presented by f(g)…
It was proved that for any finite set of elements of a free product of residually finite groups such that no two of them belong to conjugate cyclic subgroups and each of them do not belong to a subgroup which is conjugate a to free factor…
In this paper we study the residual nilpotence of groups defined by basic commutators. We prove that the so-called Hydra groups as well as certain of their generalizations and quotients are, in the main, residually torsion-free nilpotent.…
Let F_2 be the free group generated by x and y. In this article, we prove that the commutator of x^m and y^n is a product of two squares if and only if mn is even. We also show using topological methods that there are infinitely many…
We introduce a combinatorial criterion for verifying whether a formula is not the conjunction of an equation and a co-equation. Using this, we give a proof for the nonequationality of the free group. Furthermore, we generalize the latter…
We define the principal divisor of a free noncommuatative function. We use these divisors to compare the determinantal singularity sets of free noncommutative functions. We show that the divisor of a noncommutative rational function is the…
For the free group $F_r$ on $r>1$ generators (respectively, the free product $G_1 * G_2$ of two nontrivial finite groups $G_1$ and $G_2$), we obtain the asymptotic for the number of conjugacy classes of commutators in $F_r$ (respectively,…
Howie and Duncan observed that a word in a free product with length at least two and which is not a proper power can be decomposed as a product of two cyclic subwords each of which is uniquely positioned. Using this property, they proved…
In [J. Algebra 452 (2016), 372-389], we characterise when the sequence of free subgroup numbers of a finitely generated virtually free group $\Gamma$ is ultimately periodic modulo a given prime power. Here, we show that, in the remaining…
This paper is an attempt to find out which properties of a finite group G can be expressed in terms of commutators of elements of coprime orders. A criterion of solubility of G in terms of such commutators is obtained. We also conjecture…
We prove that |A^n| > c_n |A|^{[\frac{n+1}{2}]} for any finite subset A of a free group if A contains at least two noncommuting elements, where c_n>0 are constants not depending on A. Simple examples show that the order of these estimates…