Related papers: About the cyclically reduced product of words

We give complete descriptions of the tracial states on both the universal and reduced crossed products of a C*-dynamical system consisting of a unital C*-algebra and a discrete group. In particular, we also answer the question of when the…

In 1930, Wilhelm Magnus introduced the so-called Freiheitssatz: Let $F$ be a free group with basis $\mathcal{X}$ and let $r$ be a cyclically reduced element of $F$ which contains a basis element $x \in \mathcal{X}$, then every non-trivial…

Certain reduced free products of C*-algebras, (A,phi)=(A_1,phi_1)*(A_2,\phi_2), taken with respect to faithful states, at least one of which is not a trace, are shown to be purely infinite and simple. It is assumed that one of the A_i…

We introduce a fragment of continuous first-order logic, analogue of Palyutin formulas (or h-formulas) in classical model theory, which is preserved under reduced products in both directions. We use it to extend classical results on…

In this paper, we show that if the reduced Fourier-Stieltjes algebra $B_{\rho}(G)$ of a second countable locally compact group $G$ has either weak* fixed point property or asymptotic center property, then $G$ is compact. As a result, we…

We prove that any reduced amalgamated free product C*-algebra is KK-equivalent to the corresponding full amalgamated free product C*-algebra. The main ingredient of its proof is Julg--Valette's geometric construction of Fredholm modules…

Answering a question of Cif\'u Lopes, we give a syntactic characterization of those continuous sentences that are preserved under reduced products of metric structures. In fact, we settle this question in the wider context of general…

We propose conjectural generalizations of the Fermat-Catalan conjecture, the Tijdeman-Zagier conjecture, and of the Fermat Last Theorem, in which powers are replaced by products of integers. We also formulate a new explicit version of the…

We prove that for every $n\geq 2$, the reduced group $C^*$-algebras of the countable free groups $C^*_r(\mathbb{F}_n)$ have strict comparison. Our method works in a general setting: for $G$ in a large family of non-amenable groups,…

The free $\mathbb{Z}$-module generated from the set of non-trivial homotopy classes of closed curves on an oriented surface has the structure of Lie bialgebra by two operations, the Goldman bracket and Turaev cobracket. M. Chas gave a…

This article studies a structural aspect of measure-preserving actions of products of countable discrete groups, involving a so-called 'synergodic decomposition' in terms of the ergodic components of the actions of the two factor groups. We…

A skeleton of the category with finite coproducts D freely generated by a single object has a subcategory isomorphic to a skeleton of the category with finite products C freely generated by a countable set of objects. As a consequence, we…

We obtain some structural properties of a factorised group $G = AB$, given that the conjugacy class sizes of certain elements in $A\cup B$ are not divisible by $p^2$, for some prime $p$. The case when $G = AB$ is a mutually permutable…

Frobenius observed that the number of times an element of a finite group is obtained as a commutator is given by a specific combination of the irreducible characters of the group. More generally, for any word w the number of times an…

This paper begins with a comprehensive overview of combinatorics on words and symbolic dynamics, covering their historical origins, fundamental concepts, and interconnections. Building upon this foundation, we introduce novel mathematical…

The general {\bf surface group conjecture} asks whether a one-relator group where every subgroup of finite index is again one-relator and every subgroup of infinite index is free (property IF) is a surface group. We resolve several related…

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$,…

The compactness phenomenon is one of the featured aspects of structuralism in mathematics. In simple and broad words, a compactness property holds in a structure if a related property is satisfied by sufficiently many substructures of that…

In [2], while studying a relevant class of polyominoes that tile the plane by translation, i.e., double square polyominoes, the authors found that their boundary words, encoded by the Freeman chain coding on a four letters alphabet, have…

For a Coxeter group (W,S), a permutation of the set S is called a Coxeter word and the group element represented by the product is called a Coxeter element. Moving the first letter to the end of the word is called a rotation and two Coxeter…