Related papers: Twisted conjugacy and separability

A rank $n$ generalized Baumslag-Solitar group is a group that splits as a finite graph of groups such that all vertex and edge groups are isomorphic to $\mathbb{Z}^n$. In this paper we classify these groups in terms of their separability…

Given a short exact sequence of groups with certain conditions, $1\to F\to G\to H\to 1$, we prove that $G$ has solvable conjugacy problem if and only if the corresponding action subgroup $A\leqslant Aut(F)$ is orbit decidable. From this, we…

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…

A group is said to be strongly amenable if each of its proximal topological actions has a fixed point. We show that a finitely generated group is strongly amenable if and only if it is virtually nilpotent. More generally, a countable…

There have been several attempts to extend the notion of conjugacy from groups to monoids. The aim of this paper is study the decidability and independence of conjugacy problems for three of these notions (which we will denote by $\sim_p$,…

We prove twisted homological stability with polynomial coefficients for automorphism groups of free nilpotent groups of any given class. These groups interpolate between two extremes for which homological stability was known before, the…

If $G$ and $H$ are finitely generated residually nilpotent groups, then $G$ and $H$ are in the same nilpotent genus if they have the same lower central quotients (up to isomorphism). A stronger condition is that $H$ is para-$G$ if there…

Hans Zassenhaus conjectured that every torsion unit of the integral group ring of a finite group $G$ is conjugate within the rational group algebra to an element of the form $\pm g$ with $g\in G$. This conjecture has been disproved recently…

Let G < SL(V) be a finite group, V is finite dimensional over a field F, p=char F and S(V) is the symmetric algebra of V. We determine when the subring of G-invariants S(V)^G is a polynomial ring. As a consequence, we classify, if F is…

We use wreath products to provide criteria for a group to be conjugacy separable or omnipotent. These criteria are in terms of virtual retractions onto cyclic subgroups. We give two applications: a straightforward topological proof of the…

We initiate the study of the \emph{twisted conjugacy growth series} of a finitely generated group, the formal power series associated to the twisted conjugacy growth function. Our main result is that, for a virtually abelian group, this…

Let $G$ be a compact, simply connected Lie group. If $\mathcal{C}_1,\mathcal{C}_2$ are two $G$-conjugacy classes, then the set of elements in $G$ that can be written as products $g=g_1g_2$ of elements $g_i\in \mathcal{C}_i$ is invariant…

For a restricted wreath product $G\wr \mathbb{Z}^k$, where $G$ is a finite abelian group, we determine (almost in all cases) whether this product has the $R_\infty$ property (i.e., each its automorphism has infinite Reidemeister number).

We generalize the classical definition of effectively closed subshift to finitely generated groups. We study classical stability properties of this class and then extend this notion by allowing the usage of an oracle to the word problem of…

We study the quantum double of a finite abelian group $G$ twisted by a $3$-cocycle and give a sufficient condition when such a twisted quantum double will be gauge equivalent to a ordinary quantum double of a finite group. Moreover, we will…

We give a new, effective proof of the separability of cubically convex-cocompact subgroups of special groups. As a consequence, we show that if $G$ is a virtually compact special hyperbolic group, and $Q\leq G$ is a $K$-quasiconvex…

In a group $G$, elements $a$ and $b$ are conjugate if there exists $g\in G$ such that $g^{-1} ag=b$. This conjugacy relation, which plays an important role in group theory, can be extended in a natural way to inverse semigroups: for…

We prove that the isomorphism problem for finitely generated fully residually free groups is decidable. We also show that each finitely generated fully residually free group G has a decomposition that is invariant under automorphisms of G,…

We establish a connection between the generalized conjugacy problem for a $G$-by-$\mathbb{Z}$ group, $GCP(G \rtimes \mathbb{Z})$, and two algorithmic problems for $G$: the generalized Brinkmann's conjugacy problem, $GBrCP(G)$, and the…

We prove that fundamental groups of non-orientable 3-manifolds have a solvable conjugacy problem, and construct an algorithm. Together with our earlier work on the conjugacy problem in groups on orientable geometrizable 3-manifolds, all…