Related papers: Commutators and squares in free groups

A countable discrete group $\Gamma$ is said to be Frobenius stable if a function from the group that is "almost multiplicative" in the point Frobenius norm topology is "close" to a genuine unitary representation in the same topology. The…

Motivated by a classic result for free groups, one says that a group $G$ has the Magnus property if the following holds: whenever two elements generate the same normal subgroup of $G$, they are conjugate or inverse-conjugate in $G$. It is a…

In this paper we give an example of a linear group such that its tensor square is not linear. Also, we formulate some sufficient conditions for the linearity of non-abelian tensor products $G \otimes H$ and tensor squares $G \otimes G$.…

We show that all finitely generated free-by-cyclic groups are conjugacy separable: if a finitely generated group $G$ surjects onto $\mathbb{Z}$ with free kernel, then for every pair of non-conjugate elements $g,h\in G$, there exists a…

Let $G$ be a finitely generated group. We prove that the $n$-fold tensor product $G^{\otimes n}$ is finite (resp. polycyclic) if and only $G$ is finite (resp. polycyclic). Further, assuming that $G$ is finitely presented, we show that…

In this paper we study obstructions to presentability by products for finitely generated groups. Along the way we develop both the concept of acentral subgroups, and the relations between presentability by products on the one hand, and…

We describe the endomorphisms of the direct product of two free groups of finite rank and obtain conditions for which the subgroup of fixed points is finitely generated and we do the same for periodic points. We also describe the…

We give two examples of a finitely generated subgroup of a free group and a subset, closed in the profinite topology of a free group, such that their product is not closed in the profinite topology of a free group.

Let $G = H_1 * ... * H_k * F_r$ be a torsion-free group and $\phi$ an automorphism of $G$ that preserves this free factor system. We show that when $\phi$ is fully irreducible and atoroidal relative to this free factor system, the mapping…

Given a pair of fusion categories $C$ and $D$, we may form the free product $C * D$ and the tensor product $C \boxtimes D$. It is natural to think of the tensor product as a quotient of the free product. What other quotients are possible?…

We show that the centralizer of a nonscalar element in the coproduct $k\langle X\rangle *k[Y]$ of a free associative algebra and a polynomial algebra over a given field is commutative. For $k\langle X \rangle$ this is part of Bergman's…

We provide an explicit computation of the cohomology groups (with untwisted coefficients) of semidirect products of the form $\mathbb{Z}^n\rtimes \mathbb{Z}/m$ with $m$ free of squares, by means of formulas that only depend on $n$, $m$ and…

Let F be the free group over a set of two or more generators. R. Brooks constructed an infinite family of quasi-morphisms on F such that an infinite subfamily gives rise to independent classes in the second bounded cohomology of F, which…

Say that a finite group $G$ is mixable if a product of random elements, each chosen independently from two options, can distribute uniformly on $G$. We present conditions and obstructions to mixability. We show that $2$-groups, the…

In this paper we prove that decomposable forms, or homogeneous polynomials $F(x_1, \cdots, x_n)$ with integer coefficients which split completely into linear factors over $\mathbb{C}$, take on infinitely many square-free values subject to…

Let $TW_n$ be the twin group on $n$ arcs, $n \geq 2$. The group $TW_{m+2}$ is isomorphic to Grothendieck's $m$-dimensional cartographical group $\mathcal C_m$, $m \geq 1$. In this paper we give a finite presentation for the commutator…

Let F(n) be a polynomial of degree at least 2 with integer coefficients. We consider the products N_x=\prod_{1 \le n \le x} F(n) and show that N_x should only rarely be a perfect power. In particular, the number of x \le X for which N_x is…

Let $G$ be the semidirect product $\Gamma \rtimes F_2$ where $\Gamma$ is either the free group $F_n$, $n > 1$ or the fundamental group $S_g$ of a closed surface of genus $g > 1$. We prove that $G$ is incoherent, solving two problems posed…

We study a structure of the group of unitriangular automorphisms of a free associative algebra and a polynomial algebra and prove that this group is a semi direct product of abelian groups. Using this decomposition we describe a structure…

It is known that in any free group the isolator of finitely generated subgroup is finitely generated subgroup. A very simple proof of this statement is proposed.