Related papers: About the cyclically reduced product of words
There are two very natural products of compact matrix quantum groups: the tensor product $G\times H$ and the free product $G*H$. We define a number of further products interpolating these two. We focus more in detail to the case where $G$…
Multifraction reduction is a new approach to the word problem for Artin-Tits groups and, more generally, for the enveloping group of a monoid in which any two elements admit a greatest common divisor. This approach is based on a rewrite…
A finitely generated group $G$ is said to be condensed if its isomorphism class in the space of finitely generated marked groups has no isolated points. We prove that every product variety $\mathcal{UV}$, where $\mathcal{U}$ (respectively,…
The family of graphs of reduced words of a certain subcollection of permutations in the union $\cup_{n\geq 4}\frak{S}_{n}$ of symmetic groups is investigated. The subcollection is characterised by the hook cycle type $(n-2,1,1)$ with…
In this paper we study a group G which is the quotient of a free product of groups by the normal closure of a word that is contained in a in a subgroup which has the form of a generalised triangle group. We use known properties of…
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…
Consider an exact action of discrete group $G$ on a separable $C^*$-algebra $A$. It is shown that the reduced crossed product $A\rtimes_{\sigma, \lambda} G$ is strongly purely infinite - provided that the action of $G$ on any quotient $A/I$…
We describe the structure of the irreducible representations of crossed products of unital C*-algebras by actions of finite groups in terms of irreducible representations of the C*-algebras on which the groups act. We then apply this…
In this paper, we give some properties of the fixed point algebra and the crossed product of a unital separable simple infinite dimensional C*-algebra by an action of a second-countable compact group with the tracial Rokhlin property with…
We investigate which free constructions (amalgamated products and HNN-extensions) over word hyperbolic groups produce groups that are again word hyperbolic. A complete answer is obtained for the case when the amalgamated subgroups are…
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)…
This paper is devoted to the proof of the property of order separability for free product of free groups with maximal cyclic amalgamated subgroups.
In this document we achieve exact and asymptotic enumeration of words, compositions over a finite group, and/or integer compositions characterized by local restrictions and, separately, subsequence pattern avoidance. We also count…
The framework of cyclic proof systems provides a reasonable proof system for logics with inductive definitions. It also offers an effective automated proof search procedure for such logics without finding induction hypotheses. Recent…
We review some recent results on properties of tensor product and fusion coefficients under complex conjugation of one of the factors. Some of these results have been proven, some others are conjectures awaiting a proof, one of them…
We compute the expected number of commutations appearing in a reduced word for the longest element in the symmetric group. The asymptotic behavior of this value is analyzed and shown to approach the length of the permutation, meaning that…
In this paper we study residual solvability of the amalgamated product of two finitely generated free groups, in the case of doubles. We find conditions where this kind of structure is residually solvable, and show that in general this is…
We put two C*-algebras together in a noncommutative tensor product using quantum group coactions on them and a bicharacter relating the two quantum groups that act. We describe this twisted tensor product in two equivalent ways. The first…
We prove several results on products of conjugacy classes in finite simple groups. The first result is that there always exists a uniform generating triple. This result and other ideas are used to solve a 1966 conjecture of Peter Neumann…
A \emph{square} is a finite non-empty word consisting of two identical adjacent blocks. A word is \emph{square-free} if it does not contain a square as a factor. In any finite word one may delete the repeated block of a square, obtaining…