Abstract:A free-by-cyclic group $F_N\rtimes_\phi\mathbb{Z}$ has non-trivial centre if and only if $[\phi]$ has finite order in ${\rm{Out}}(F_N)$. We establish a profinite ridigity result for such groups: if $\Gamma_1$ is a free-by-cyclic group with non-trivial centre and $\Gamma_2$ is a finitely generated free-by-cyclic group with the same finite quotients as $\Gamma_1$, then $\Gamma_2$ is isomorphic to $\Gamma_1$. One-relator groups with centre are similarly rigid. We prove that finitely generated free-by-(finite cyclic) groups are profinitely rigid in the same sense; the proof revolves around a finite poset $\mathbf{fsc}(G)$ that carries information about the centralisers of finite subgroups of $G$ -- it is a complete invariant for these groups. These results provide contrasts with the lack of profinite rigidity among surface-by-cyclic groups and (free abelian)-by-cyclic groups, as well as general virtually-free groups.

The centre of a finitely generated strongly verbally closed group is almost always pure

Finite normal subgroups of strongly verbally closed groups

Free products of groups are strongly verbally closed

Finite symmetric groups are strongly verbally closed

Groups with finitely many Busemann points

Profinite groups with soluble centralisers

Some torsion-free solvable groups with few subquotients

Strange images of profinite groups

On subgroups with narrow Schreier graphs

Regular bi-interpretability and finite axiomatizability of Chevalley groups

Profinite rigidity for free-by-cyclic groups with centre

Finite subgroups of the profinite completion of good groups

Virtual homology of limit groups and profinite rigidity of direct products

The construction principle and non homogeneity of uncountable relatively free groups

Residually finite groups with uniformly almost flat quotients

Generic thinness in finitely generated subgroups of $\textrm{SL}_n(\mathbb Z)$

An elementary proof of the Benjamini-Nekrashevych-Pete conjecture for the semi-direct products $\mathbb{Z}^n\rtimes \mathbb{Z}$

Almost cyclic groups

Polycyclic, metabelian or soluble of type (FP)$_{\infty}$ groups with boolean algebra of rational sets and biautomatic soluble groups are virtually abelian