Table of Contents
Fetching ...

On generalized (twisted) conjugacy separability of some extensions of groups

André Carvalho

Abstract

We introduce separability properties corresponding to generalized versions of the conjugacy, twisted conjugacy, Brinkmann and Brinkmann's conjugacy problems and how they relate when finite and cyclic extensions of groups are taken. In particular, we prove that some (concrete) generalizations of twisted conjugacy separability of a group $G$ with respect to virtually inner automorphisms are equivalent to some (concrete) generalizations of the conjugacy problem in finite extensions of $G$. Similarly, (generalized) conjugacy separability in cyclic extensions of $G$ implies (generalized) twisted conjugacy and Brinkmann's conjugacy separability in $G$. Applications include results in free, virtually abelian, virtually polycyclic groups and a proof that virtually free times free groups are conjugacy separable.

On generalized (twisted) conjugacy separability of some extensions of groups

Abstract

We introduce separability properties corresponding to generalized versions of the conjugacy, twisted conjugacy, Brinkmann and Brinkmann's conjugacy problems and how they relate when finite and cyclic extensions of groups are taken. In particular, we prove that some (concrete) generalizations of twisted conjugacy separability of a group with respect to virtually inner automorphisms are equivalent to some (concrete) generalizations of the conjugacy problem in finite extensions of . Similarly, (generalized) conjugacy separability in cyclic extensions of implies (generalized) twisted conjugacy and Brinkmann's conjugacy separability in . Applications include results in free, virtually abelian, virtually polycyclic groups and a proof that virtually free times free groups are conjugacy separable.

Paper Structure

This paper contains 8 sections, 33 theorems, 60 equations, 1 figure.

Key Result

Theorem 2.1

Let $H$ be a subgroup of a group $G$. Then $H\in \text{Rat}(G)$ if and only if $H$ is finitely generated.

Figures (1)

  • Figure :

Theorems & Definitions (34)

  • Theorem 2.1: [Ber79], Theorem III.2.7
  • Proposition 2.2
  • Lemma 2.3
  • Theorem 2.4: [Gru99][Sil02b][Car23c]
  • Lemma 3.1
  • Theorem 3.2
  • Corollary 3.3
  • Lemma 4.1
  • Proposition 4.2
  • Corollary 4.3
  • ...and 24 more