Twisted conjugacy and separability

From MaRDI portal





Let \(H\) and \(G\) be groups and let \(\alpha, \beta \colon H \to G\) be homomorphisms. Two elements \(x, y \in H\) are \((\alpha,\beta)\)-conjugate if there exists \(g \in G\) such that \(\alpha(x) = g \beta(y) g^{-1}\). The paper introduces and studies the notion of complete twisted conjugacy separability (CTCS), meaning that for every pair \((\alpha,\beta)\) and every pair \(x, y \in H\) not \((\alpha,\beta)\)-conjugate, there exists a finite quotient \(G \to Q\) distinguishing the twisted conjugacy classes of \(\alpha(x)\) and \(\beta(y)\).\N\NThe main result (Theorem A) states that a group is CTCS if and only if it is residually finite with respect to the notion of nests introduced by \textit{P. F. Stebe} [Houston J. Math. 2, 419--426 (1976; Zbl 0356.20039)]. Theorem B characterizes CTCS within the class of polycyclic-by-nilpotent-by-finite groups, proving the equivalence of four conditions: strong residual finiteness, extended residual finiteness, nest-separability and CTCS. Several examples show that CTCS does not imply classical conjugacy separability or standard residual finiteness.



Cites work









This page was built for publication: Twisted conjugacy and separability

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6988612)