Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userConjugacy classes of solutions to equations and inequations over hyperbolic groups
222
0
0.0
(
0
)
Ask ChatGPT about the research
No Arabic abstract
We study conjugacy classes of solutions to systems of equations and inequations over torsion-free hyperbolic groups, and describe an algorithm to recognize whether or not there are finitely many conjugacy classes of solutions to such a system. The class of immutable subgroups of hyperbolic groups is introduced, which is fundamental to the study of equations in this context. We apply our results to enumerate the immutable subgroups of a torsion-free hyperbolic group.
rate research
Read More
The twin group $T_n$ is a right angled Coxeter group generated by $n-1$ involutions and the pure twin group $PT_n$ is the kernel of the natural surjection from $T_n$ onto the symmetric group on $n$ symbols. In this paper, we investigate some structural aspects of these groups. We derive a formula for the number of conjugacy classes of involutions in $T_n$, which quite interestingly, is related to the well-known Fibonacci sequence. We also derive a recursive formula for the number of $z$-classes of involutions in $T_n$. We give a new proof of the structure of $Aut(T_n)$ for $n ge 3$, and show that $T_n$ is isomorphic to a subgroup of $Aut(PT_n)$ for $n geq 4$. Finally, we construct a representation of $T_n$ to $Aut(F_n)$ for $n ge 2$.
In this paper we classify the finite groups satisfying the following property $P_4$: their orders of representatives are set-wise relatively prime for any 4 distinct non-central conjugacy classes.
We combine classical methods of combinatorial group theory with the theory of small cancellations over relatively hyperbolic groups to construct finitely generated torsion-free groups that have only finitely many classes of conjugate elements. Moreov
er, we present several results concerning embeddings into such groups. As another application of these techniques, we prove that every countable group $C$ can be realized as a group of outer automorphisms of a group $N$, where $N$ is a finitely generated group having Kazhdans property (T) and containing exactly two conjugacy classes.
We show that the full set of solutions to systems of equations and inequations in a hyperbolic group, with or without torsion, as shortlex geodesic words, is an EDT0L language whose specification can be computed in $mathsf{NSPACE}(n^2log n)$ for the torsion-free case and $mathsf{NSPACE}(n^4log n)$ in the torsion case. Our work combines deep geometric results by Rips, Sela, Dahmani and Guirardel on decidability of existential theories of hyperbolic groups, work of computer scientists including Plandowski, Je.z, Diekert and others on $mathsf{PSPACE}$ algorithms to solve equations in free monoids and groups using compression, and an intricate language-theoretic analysis. The present work gives an essentially optimal formal language description for all solutions in all hyperbolic groups, and an explicit and surprising low space complexity to compute them.
We prove that any word hyperbolic group which is virtually compact special (in the sense of Haglund and Wise) is conjugacy separable. As a consequence we deduce that all word hyperbolic Coxeter groups and many classical small cancellation groups are conjugacy separable. To get the main result we establish a new criterion for showing that elements of prime order are conjugacy distinguished. This criterion is of independent interest; its proof is based on a combination of discrete and profinite (co)homology theories.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
