We construct two practical algorithms for twisted conjugacy classes of polycyclic-by-finite groups. The first algorithm determines whether two elements of a group are twisted conjugate for two given endomorphisms, under the condition that the Reidemeister coincidence number of these endomorphisms is finite. The second algorithm determines representatives of the Reidemeister coincidence classes of two endomorphisms if their Reidemeister coincidence number is finite, or returns "fail" if the Reidemeister coincidence number is infinite.
In this paper, we consider the conjugacy growth function of a group, which counts the number of conjugacy classes which intersect a ball of radius $n$ centered at the identity. We prove that in the case of virtually polycyclic groups, this function is either exponential or polynomially bounded, and is polynomially bounded exactly when the group is virtually nilpotent. The proof is fairly short, and makes use of the fact that any polycyclic group has a subgroup of finite index which can be embedded as a lattice in a Lie group, as well as exponential radical of Lie groups and Dirichlet's approxi…
In this paper we study the conjugacy problem in polycyclic groups. Our main result is that we construct polycyclic groups $G_n$ whose conjugacy problem is at least as hard as the subset sum problem with $n$ indeterminates. As such, the conjugacy problem over the groups $G_n$ is NP-complete where the parameters of the problem are taken in terms of $n$ and the length of the elements given on input.
In this short article, we prove that any automorphism of the R. Thompson's group $F$ has infinitely many twisted conjugacy classes. The result follows from the work of Matthew Brin, together with a standard facts on R. Thompson's group $F$, and elementary properties of the Reidemeister numbers.
We propose a new cryptosystem based on polycyclic groups. The cryptosystem is based on the fact that the word problem can be solved effectively in polycyclic groups, while the known solutions to the conjugacy problem are far less efficient.
We give two results for computing doubly-twisted conjugacy relations in free groups with respect to homomorphisms $ϕ$ and $ψ$ such that certain remnant words from $ϕ$ are longer than the images of generators under $ψ$. Our first result is a remnant inequality condition which implies that two words $u$ and $v$ are not doubly-twisted conjugate. Further we show that if $ψ$ is given and $ϕ$, $u$, and $v$ are chosen at random, then the probability that $u$ and $v$ are not doubly-twisted conjugate is 1. In the particular case of singly-twisted conjugacy, this means that if $ϕ$, $u$, and $v$ are chos…
Given an automorphism $ϕ:Γ\to Γ$, one has an action of $Γ$ on itself by $ϕ$-twisted conjugacy, namely, $g.x=gxϕ(g^{-1})$. The orbits of this action are called $ϕ$-twisted conjugacy classes. One says that $Γ$ has the $R_\infty$-property if there are infinitely many $ϕ$-twisted conjugacy classes for every automorphism $ϕ$ of $Γ$. In this paper we show that SL$(n,\mathbb{Z})$ and its congruence subgroups have the $R_\infty$-property. Further we show that any (countable) abelian extension of $Γ$ has the $R_\infty$-property where $Γ$ is a torsion free non-elementary hyperbolic group, or SL$(n,\math…
A group $G$ is said to have the property $R_\infty$ if every automorphism $ϕ\in {\rm Aut}(G)$ has an infinite number of $ϕ$-twisted conjugacy classes. Recent work of Gonçalves and Kochloukova uses the $Σ^n$ (Bieri-Neumann-Strebel-Renz) invariants to show the $R_{\infty}$ property for a certain class of groups, including the generalized Thompson's groups $F_{n,0}$. In this paper, we make use of the $Ω^n$ invariants, analogous to $Σ^n$, to show $R_{\infty}$ for certain finitely generated groups. In particular, we give an alternate and simpler proof of the $R_{\infty}$ property for BS(1,n). Moreo…
A group is said to have the $R_\infty$ property if every automorphism has an infinite number of twisted conjugacy classes. We study the question whether $G$ has the $R_\infty$ property when $G$ is a finitely generated torsion-free nilpotent group. As a consequence, we show that for every positive integer $n\ge 5$, there is a compact nilmanifold of dimension $n$ on which every homeomorphism is isotopic to a fixed point free homeomorphism. As a by-product, we give a purely group theoretic proof that the free group on two generators has the $R_\infty$ property. The $R_{\infty}$ property for virtu…
We study twisted conjugacy classes of the unit element in different groups. Fel'shtyn and Troitsky showed that the twisted conjugacy class of the unit element of an abelian group is a subgroup for every automorphism. The structure is investigated of a group whose twisted conjugacy class of the unit element is a subgroup for every automorphism (inner automorphism).
This paper initiates the study of effective twisted conjugacy separability for finitely generated groups, which measures the complexity of separating distinct twisted conjugacy classes via finite quotients. The focus is on nilpotent groups, and our main result shows that there is a polynomial upper bound for twisted conjugacy separability. That allows us to study regular conjugacy separability in the case of virtually nilpotent groups, where we compute a polynomial upper bound as well. As another application, we improve the work of the second author by giving a precise calculation of conjugacy…
Let $f$ be an automorphism of a group $G$. Two elements $x, y$ in $G$ are said to be in the same $f$-twisted conjugacy class if there exists an element $z$ in $G$ such that $y=z x f(z^{-1})$. This is an equivalence relation known as $f$-twisted conjugacy. If the number $R(f)$ of $f$-twisted conjugacy classes is infinite for every automorphism $f$ of $G$ one says that $G$ has the $R_\infty$-property. We show that the Richard Thompson group $T$ has the $R_\infty$-property.
Let $ϕ:G\to G$ be an automorphism of a group which is a free-product of finitely many groups each of which is freely indecomposable and two of the factors contain proper finite index characteristic subgroups. We show that $G$ has infinitely many $ϕ$-twisted conjugacy classes. As an application, we show that if $G$ is the fundamental group of a three-manifold that is not irreducible, then $G$ has property $R_\infty$, that is, there are infinitely many $ϕ$-twisted conjugacy classes in $G$ for every automorphism $ϕ$ of $G$.
In this note we solve the twisted conjugacy problem for braid groups, i.e. we propose an algorithm which, given two braids $u,v\in B_n$ and an automorphism $ϕ\in Aut (B_n)$, decides whether $v=(ϕ(x))^{-1}ux$ for some $x\in B_n$. As a corollary, we deduce that each group of the form $B_n \rtimes H$, a semidirect product of the braid group $B_n$ by a torsion-free hyperbolic group $H$, has solvable conjugacy problem.
There currently exists no algebraic algorithm for computing twisted conjugacy classes in free groups. We propose a new technique for deciding twisted conjugacy relations using nilpotent quotients. Our technique is generalization of the common abelianization method, but admits significantly greater rates of success. We present experimental results demonstrating the efficacy of the technique, and detail how it can be applied the related settings of surface groups and doubly twisted conjugacy.
We prove that Chevalley group over the field $F$ of zero characteristic possess $R_{\infty}$ property, if $F$ has torsion group of automorphisms or $F$ is an algebraically closed field which has finite transcendence degree over $\mathbb{Q}$. As a consequence we obtain that the twisted conjugacy class $[e]_φ$ of unit element is a subgroup of Chevalley group if and only if $φ$ is central automorphism.
Polycyclic groups are natural generalizations of cyclic groups but with more complicated algorithmic properties. They are finitely presented and the word, conjugacy, and isomorphism decision problems are all solvable in these groups. Moreover, the non-virtually nilpotent ones exhibit an exponential growth rate. These properties make them suitable for use in group-based cryptography, which was proposed in 2004 by Eick and Kahrobaei. Since then, many cryptosystems have been created that employ polycyclic groups. These include key exchanges such as non-commutative ElGamal, authentication schemes …
A group $G$ has property $R_\infty$ if for every $ϕ\in Aut(G)$, there are an infinite number of $ϕ$-twisted conjugacy classes of elements in $G$. In this note, we determine the $R_\infty$-property for $G=π_1(M)$ for all geometric $3$-manifolds $M$.
We say that $x,y\in Γ$ are in the same $ϕ$-twisted conjugacy class and write $x\sim_ϕy$ if there exists an element $γ\in Γ$ such that $y=γxϕ(γ^{-1})$. This is an equivalence relation on $Γ$ called the $ϕ$-twisted conjugacy. Let $R(ϕ)$ denote the number of $ϕ$-twisted conjugacy classes in $Γ$. If $R(ϕ)$ is infinite for all $ϕ\in Aut(Γ)$, we say that $Γ$ has the $R_\infty$-property. The purpose of this note is to show that the symmetric group $S_\infty$, the Houghton groups and the pure symmetric automorphism groups have the $R_\infty$-property. We show, also, that the Richard Thompson group $T$…
Let $G$ be a non-compact semisimple Lie group with finite centre and finitely many components. We show that any finitely generated group $Γ$ which is quasi-isometric to an irreducible lattice in $G$ has the $R_\infty$-property, namely, that there are infinitely $ϕ$-twisted conjugacy classes for every automorphism $ϕ$ of $Γ$. Also, we show that any lattice in $G$ has the $R_\infty$-property, extending our earlier result for irreducible lattices.
In this paper we study twisted conjugacy classes and the $R_{\infty}$-property for classical linear groups. In particular, we prove that the general linear group ${\rm GL}_n(K)$ and the special linear group ${\rm SL}_n(K)$ possess $R_{\infty}$-property, if $n\geq3$ and $K$ is an infinite integral domain with trivial group of automorphisms (Theorem 1), or $K$ is an integral domain, which has a zero characteristic and for which ${\rm Aut}(K)$ is torsion (Theorem 2).
Let $k$ be an algebraically closed field, $G$ a linear algebraic group over $k$ and $φ\in Aut(G)$, the group of all algebraic group automorphisms of $G$. Two elements $x, y$ of $G$ are said to be $φ$-twisted conjugate if $y=gxφ(g)^{-1}$ for some $g\in G$. In this paper we prove that for a connected non-solvable linear algebraic group $G$ over $k$, the number of its $φ$-twisted conjugacy classes is infinite for every $φ\in Aut(G)$.
If $ϕ$ is an automorphism of a group $G$ and $x,y\in G$, we say that $x$ and $y$ are $ϕ$-twisted conjugates if there exists an $z\in G$ such that $y=z.x.ϕ(z^{-1})$. This is an equivalence relation. If there are infinitely many $ϕ$-twisted conjugacy classes for every automorphism $ϕ$ of $G$ we say that $G$ has the $R_\infty$-property. We prove that the generalized Richard Thompson groups $F_n$ and $F(l,A,P)$ have the $R_\infty$-property.
This thesis deals with the conjugacy problem in groups and its twisted variants. We analyze recent results by Bogopolski, Martino, Maslakova and Ventura on the twisted conjugacy problem in free groups and its implication for the conjugacy problem in free-by-cyclic groups and some further group extensions. We also consider the doubly-twisted conjugacy problem in free groups. Staecker has developed an algorithm for deciding doubly-twisted conjugacy relations in the case where the involved homomorphisms satisfy a certain remnant inequality. We show how a similar condition affects the equalizer su…
Let $R(ϕ)$ be the number of $ϕ$-conjugacy (or Reidemeister) classes of an endomorphism $ϕ$ of a group $G$. We prove for several classes of groups (including polycyclic) that the number $R(ϕ)$ is equal to the number of fixed points of the induced map of an appropriate subspace of the unitary dual space $\widehat G$, when $R(ϕ)<\infty$. Applying the result to iterations of $ϕ$ we obtain Gauss congruences for Reidemeister numbers. In contrast with the case of automorphisms, studied previously, we have a plenty of examples having the above finiteness condition, even among groups with $R_\infty$ pr…
We give a geometric proof based on recent work of Eskin, Fisher and Whyte that the lamplighter group $L_n$ has infinitely many twisted conjugacy classes for any automorphism $\vp$ only when $n$ is divisible by 2 or 3, originally proved by Gonçalves and Wong. We determine when the wreath product $G \wr \Z$ has this same property for several classes of finite groups $G$, including symmetric groups and some nilpotent groups.
A group $G$ is said to have property $R_{\infty}$ if for every automorphism $φ\in {\rm Aut}(G)$, the cardinality of the set of $φ$-twisted conjugacy classes is infinite. Many classes of groups are known to have such property. However, very few examples are known for which $R_{\infty}$ is {\it geometric}, i.e., if $G$ has property $R_{\infty}$ then any group quasi-isometric to $G$ also has property $R_{\infty}$. In this paper, we give examples of groups and conditions under which $R_{\infty}$ is preserved under commensurability. The main tool is to employ the Bieri-Neumann-Strebel invariant.
$\mathcal{C}$-Hereditarily conjugacy separable groups and wreath products
School of Computer and Information Sciences, University of Newcastle（纽卡斯尔大学计算机与信息科学学院）；Department of Computer Science, Faculty of Science, University of South Bohemia in České Budějovice（南波希米亚大学理学院计算机科学系）；IMPAN（波兰科学院数学研究所）
Given a group automorphism $ϕ:Γ\to Γ$, one has an action of $Γ$ on itself by $ϕ$-twisted conjugacy, namely, $g.x=gxϕ(g^{-1})$. The orbits of this action are called $ϕ$-conjugacy classes. One says that $Γ$ has the $R_\infty$-property if there are infinitely many $ϕ$-conjugacy classes for every automorphism $ϕ$ of $Γ$. In this paper we show that any irreducible lattice in a connected semi simple Lie group having finite centre and rank at least 2 has the $R_\infty$-property.
Let G be a simple algebraic group over an algebraically closed field of good odd characteristic, and let theta be an automorphism of G arising from an involution of its Dynkin diagram. We show that the spherical theta-twisted conjugacy classes are precisely those intersecting only Bruhat cells corresponding to twisted involutions in the Weyl group. We show how the analogue of this statement fails in the triality case. We generalize to good odd characteristic J-H. Lu's dimension formula for spherical twisted conjugacy classes.
Let $G$ be a group and $φ$ be an automorphism of $G$. Two elements $x, y$ of $G$ are said to be $φ$-twisted conjugate if $y=gxφ(g)^{-1}$ for some $g\in G$. A group $G$ has the $R_{\infty}$-property if the number of $φ$-twisted conjugacy classes is infinite for every automorphism $φ$ of $G$. In this paper we prove that the big mapping class group $MCG(S)$ possesses the $R_{\infty}$-property under some suitable conditions on the infinite-type surface $S$. As an application we also prove that the big mapping class group possesses the $R_\infty$-property if and only if it satisfies the $S_{\infty}…
Let $N$ be a finitely generated nilpotent group. Algorithm is constructed such, that for every automorphism $ϕ\in Aut(N)$ defines the Reidemeister number $R(ϕ).$ It is proved that any free nilpotent group of rank $r = 2$ or $r = 3$ and class $c \geq 4r,$ or rank $r \geq 4$ and class $c \geq 2r,$ belongs to the class $R_{\infty}.$
We study the notion of twisted conjugacy separability (essentially introduced in our previous paper for a proof of twisted version of Burnside-Frobenius theorem) and some related properties. We give examples of groups with and without this property and study its behavior under some extensions. An affirmative answer to the twisted Dehn conjugacy problem for polycyclic-by-finite group is obtained. Some problems for the further study are indicated.
We give an easily checkable algebraic condition which implies that two elements of a finitely generated free group are members of distinct doubly-twisted conjugacy classes with respect to a pair of homomorphisms. We further show that this criterion is satisfied with probability 1 when the homomorphisms and elements are chosen at random.
For a fixed $n\ge2$, the Houghton group $H_n$ consists of bijections of $X_n=\{1,\ldots,n\} \times \mathbb{N}$ that are `eventually translations' of each copy of $\mathbb{N}$. The Houghton groups have been shown to have solvable conjugacy problem. In general solvable conjugacy problem does not imply that all finite extensions and finite index subgroups have solvable conjugacy problem. Our main theorem is that a stronger result holds: for any $n\ge2$ and any group $G$ commensurable to $H_n$, $G$ has solvable conjugacy problem.
It is proved for Abelian groups that the Reidemeister coincidence number of two endomorphisms $ϕ$ and $ψ$ is equal to the number of coincidence points of $\whϕ$ and $\whψ$ on the unitary dual, if the Reidemeister number is finite. An affirmative answer to the bitwisted Dehn conjugacy problem for almost polycyclic groups is obtained. Finally we explain why the Reidemeister numbers are always infinite for injective endomorphisms of Baumslag-Solitar groups.
Let $F$ be a subfield of the algebraic closure of a finite field $\mathbb{F}_p$, $p \ne 2$, and let $R$ denote any ring such that $F[t] \subset R \subsetneq F(t)$. Let $G$ be a classical Chevalley group of adjoint type defined over $R$. We prove that the group $G(R)$ has the $R_{\infty}$-property.
We prove for residually finite groups the following long standing conjecture: the number of twisted conjugacy classes of an automorphism of a finitely generated group is equal (if it is finite) to the number of finite dimensional irreducible unitary representations being invariant for the dual of this automorphism. Also, we prove that any finitely generated residually finite non-amenable group has the R-infinity property (any automorphism has infinitely many twisted conjugacy classes). This gives a lot of new examples and covers many known classes of such groups.
Let $G$ be a finitely generated polyfree group. If $G$ has nonzero Euler characteristic then we show that $Aut(G)$ has a finite index subgroup in which every automorphism has infinite Reidemeister number. For certain $G$ of length 2, we show that the number of Reidemeister classes of every automorphism is infinite.
We discuss the following question of G. Makanin from ``Kourovka notebook'': does there exist an algorithm to determine is for an arbitrary pair of words $U$ and $V$ of a free group $F_n$ and an arbitrary automorphism $ϕ\in Aut(F_n)$ the equation $ϕ(X) U = V X$ solvable in $F_n$? We give the affirmative answer in the case when an automorphism is virtually inner, i.e. some its non-zero power is an inner automorphism of $F_n$.
We study groups $G$ where the $φ$-conjugacy class $[e]_φ=\{g^{-1}φ(g)~|~g\in G\}$ of the unit element is a subgroup of $G$ for every automorphism $φ$ of $G$. If $G$ has $n$ generators, then we prove that the $k$-th member of the lower central series has a finite verbal width bounded in terms of $n,k$. Moreover, we prove that if such group $G$ satisfies the descending chain condition for normal subgroups, then $G$ is nilpotent. Finally, if $G$ is a finite abelian-by-cyclic group, we construct a good upper bound of the nilpotency class of $G$.
We say that a group has property $R_{\infty}$ if any group automorphism has an infinite number of twisted conjugacy classes. Fel'shtyn and Goncalves prove that the solvable Baumslag-Solitar groups BS(1,m) have property $R_{\infty}$. We define a solvable generalization $Γ(S)$ of these groups which we show to have property $R_{\infty}$. We then show that property $R_{\infty}$ is geometric for these groups, that is, any group quasi-isometric to $Γ(S)$ has property $R_{\infty}$ as well.
After the Anshel-Anshel-Goldfeld (AAG) key-exchange protocol was introduced in 1999, it was implemented and studied with braid groups and with the Thompson group as its underlying platforms. The length-based attack, introduced by Hughes and Tannenbaum, has been used to extensively study AAG with the braid group as the underlying platform. Meanwhile, a new platform, using polycyclic groups, was proposed by Eick and Kahrobaei. In this paper, we show that with a high enough Hirsch length, the polycyclic group as an underlying platform for AAG is resistant to the length-based attack. In particular…
An algorithm is constructed that, when given an explicit presentation of a finitely generated nilpotent group $G,$ decides for any pair of endomorphisms $φ, ψ: G \to G$ and any pair of elements $u, v \in G,$ whether or not the equation $(xφ)u = v (xψ)$ has a solution $x \in G.$ Thus it is shown that the problem of the title is decidable. Also we present an algorithm that produces a finite set of generators of the subgroup (equalizer) $Eq_{φ, ψ}(G) \leq G$ of all elements $u \in G$ such that $u φ= u ψ.$
A generalized Baumslag-Solitar group is the fundamental group of a graph of groups all of whose vertex and edge groups are infinite cyclic. Levitt proves that any generalized Baumslag-Solitar group has property R-infinity, that is, any automorphism has an infinite number of twisted conjugacy classes. We show that any group quasi-isometric to a generalized Baumslag-Solitar group also has property R-infinity. This extends work of the authors proving that any group quasi-isometric to a solvable Baumslag-Solitar BS(1,n) group has property R-infinity, and relies on the classification of generalized…
We prove that the symplectic group $Sp(2n,\mathbb Z)$ and the mapping class group $Mod_{S}$ of a compact surface $S$ satisfy the $R_{\infty}$ property. We also show that $B_n(S)$, the full braid group on $n$-strings of a surface $S$, satisfies the $R_{\infty}$ property in the cases where $S$ is either the compact disk $D$, or the sphere $S^2$. This means that for any automorphism $ϕ$ of $G$, where $G$ is one of the above groups, the number of twisted $ϕ$-conjugacy classes is infinite.
The present paper consists of two parts. In the first part, we prove a noncommutative analogue of the Riesz(-Markov-Kakutani) theorem on representation of functionals on an algebra of continuous functions by regular measures on the underlying space. In the second part, using this result, we prove a weak version of Burnside type theorem for twisted conjugacy for arbitrary discrete groups.
We show that the number of twisted conjugacy classes is infinite for any automorphism of non-elementary, Gromov hyperbolic group . An analog of Selberg theory for twisted conjugacy classes is proposed.
