Related papers: Anagrammatic quotients of free 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$,…

We progress with the investigation started in article \cite{Roman2022}, namely the analysis of the asymptotic behaviour of $Q_{\mathcal{P}}(x)$ for different sets $\mathcal{P}$, where $Q_{\mathcal{P}}(x)$ is the element count of the set…

We give a complete list of square-free Cremona maps with at most six variables, up to equivalence classes. We also build an algorithm to count monomial square-free Cremona transformations. Using this algorithm, we obtain a complete list of…

Suppose a group $G$ is quasi-isometric to a free product of a finite set $S$ of finitely generated abelian groups; let $S'$ denote the set of ranks of the free abelian parts of the groups in $S$. Then $G$ is commensurable with the free…

Given an algebra A, presented by generators and relations, i.e. as a quotient of a tensor algebra by an ideal, we construct a free algebra resolution of A, i.e. a differential graded algebra which is quasi-isomorphic to A and which is…

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…

We use combinatorics tools to reobtain the classification of monomial quadratic Cremona transformations in any number of variables given in \cite{SV2} and to classify and count square free cubic Cremona maps with at most six variables, up…

We study the orthogonal quantum groups satisfying the ``easiness'' assumption axiomatized in our previous paper, with the construction of some new examples, and with some partial classification results. The conjectural conclusion is that…

We obtain a criterion for quasiconvexity of a subgroup of an amalgamated free product of two word hyperbolic groups along a virtually cyclic subgroup. The result provides a method of constructing new word hyperbolic group in class (Q), that…

In this paper, we study the Johnson homomorphisms of basis-conjugating automorphism groups of free groups. We construct obstructions for the surjectivity of the Johnson homomorphisms. By using it, we determine its cokernels of degree up to…

Given three pairwise coprime positive integers $a_1,a_2,a_3 \in \mathbb{Z}^+$ we show the existence of a relation between the sets of the first elements of the three quotients $\frac{\langle a_i,a_j \rangle}{a_k}$ that can be made for every…

In this expository note we provide a proof of Artin's theorem which states that the commutator subgroup of a free group on two generators is not finitely generated. The proof employs the infinite grid as in two other proofs in the…

The group of 2-by-2 matrices with integer entries and determinant $\pm > 1$ can be identified either with the group of outer automorphisms of a rank two free group or with the group of isotopy classes of homeomorphisms of a 2-dimensional…

Let G be a group of the form G_1* ... *G_n, the free product of n subgroups, and let M be a ZG-module of the form $\bigoplus_{i=1}^n M_i \otimes_{\mathbb{Z}G_i} \mathbb{Z}G$. We shall give formulae in various situations for $d_{ZG}(M)$, the…

We study the asymptotic behavior of the free cumulants (in the sense of free probability theory of Voiculescu) of Jucys--Murphy elements--or equivalently--of the transition measure associated with a Young diagram. We express these cumulants…

A free Steiner quasigroup is a free object in the variety of Steiner quasigroups. Free Steiner quasigroups are characterised by the existence of a levelled construction that starts with a free base - that is, a set of elements none of which…

We investigate commutators of free variables of the form \( i[x, s] \), where \( s \) is a semicircular element. We show that although \( s \) and \( i[x, s] \) are not free, their sum nevertheless satisfies the free additive convolution…

Let F_n = <x_1,...,x_n> denote the free group with generators {x_1,...,x_n}. Nielsen and Magnus described generators for the kernel of the canonical epimorphism from the automorphism group of F_n to the general linear group over the…

The 4-simplex has vertices 5 unit quaternions, which we arrange so that one of them is the unit. We show that the remaining 4 vertices are the generators of a free group. For the proof, we introduce a new alternating length on words in free…

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…