Related papers: Commutators and squares in free groups

We study a commutation pattern in which two affine families commute completely across the two families while each family retains internal noncommutativity. For one-dimensional affine groups over finite commutative rings, we prove a…

It is a classical theorem that the free product of ordered groups is orderable. In this note we show that, using a method of G. Bergman, an ordering of the free product can be constructed in a functorial manner, in the category of ordered…

We prove that the amalgamated free product of two free groups of rank two over a common cyclic subgroup, admits an amenable, faithful, transitive action on an infinite countable set. We also show that any finite index subgroup admits such…

By using a notion of a geometric Dehn twist in $\sharp_k(S^2 \times S^1)$, we prove that when projections of two $\mathbb{Z}$-splittings to the free factor complex are far enough from each other in the free factor complex, Dehn twist…

A classical result about unit equations says that if $\Gamma_1$ and $\Gamma_2$ are finitely generated subgroups of $\mathbb C^\times$, then the equation $x+y=1$ has only finitely many solutions with $x\in\Gamma_1$ and $y\in \Gamma_2$. We…

This paper is devoted to the investigation of the property of order separability for HNN extensions and free products with commutative subgroups. Particularly it was proven that HNN extension of a free group with maximal connected cyclic…

We define graph products of families of pairs of groups and study the question when two such graph products are commensurable. As an application we prove linearity of certain graph products.

We study Cartan subalgebras in the context of amalgamated free product II$_1$ factors and obtain several uniqueness and non-existence results. We prove that if $\Gamma$ belongs to a large class of amalgamated free product groups (which…

Let F be the category of finite dimensional representations of an arbitrary quantum affine algebra. We prove that a tensor product $S_1\otimes ... \otimes S_N$ of simple objects of F is simple if and only if for any $i < j$, $S_i\otimes…

Let $G$ be a group. We can topologize the spaces of left-orderings $LO(G)$ and bi-orderings $O(G)$ of $G$ with the product topology. These spaces may or may not have isolated points. It is known that $LO(F_2)$ has no isolated points, where…

An element $x$ of a group $G$ is a commutator if it can be expressed in the form $x = a^{-1}b^{-1}ab$ for some $a, b \in G$. In 2010 MacHale posed the following problem in the Kourovka notebook: does there exist a finite group $G$, with…

We study the commensurators of free groups and free pro-$p$ groups, as well as certain subgroups of these. We prove that the commensurator $Comm(F)$ of a non-abelian free group of finite rank $F$ is not virtually simple, answering a…

Let F_m be a free group of a finite rank m > 1 and X_i, Y_j be elements in F_m. A non-empty word w(x_1,..., x_n) is called a C-test word in n letters for F_m if, whenever w(X_1,..., X_n)=w(Y_1,..., Y_n) not equal to 1, the two n-tuples…

We show that the second bounded cohomology of the free product of racks and quandles is infinite-dimensional as a real vector space. This is similar to the case of groups. As a corollary, we show that the second bounded cohomology of the…

We have shown recently that, given a metric space $X$, the coarse equivalence classes of metrics on the two copies of $X$ form an inverse semigroup $M(X)$. Here we study the property of idempotents in $M(X)$ of being finite or infinite,…

The interpolated free group factors L(F_r), 1 < r <= \infty, are defined and proofs of their properties with respect to compression by projections and taking free products are proved. Hence it follows that all the free group factor are…

We show that the space of traces of the free group $F_d$ on $2\leq d \leq \infty $ generators is a Poulsen simplex, i.e., every trace is a pointwise limit of extreme traces. This fails for many virtually free groups. The same result holds…

We show in this article that, for any group $G$ indecomposable for the free product * and non-isomorphic to $\mathbf{Z}$, the canonical inclusion ${\rm Aut}(G^{*n})\to {\rm Aut}(G^{* n+1})$ induces an isomorphism between the homology groups…

We prove that for any free ergodic probability measure preserving action \F_n \actson (X,\mu) of a free group on n generators \F_n, 2 \leq n \leq \infty, the associated group measure space II_1 factor $L^\infty(X) \rtimes \F_n$ has…

We show that a free product of a II_1-factor and a finite von Neumann algebra with amalgamation over a finite dimensional subalgebra is always a II_1-factor, and provide an algorithm for describing it in terms of free products (with…