Published online by Cambridge University Press: 08 June 2017
Let $w$ be a group-word. For a group
$G$ , let
$G_{w}$ denote the set of all
$w$ -values in
$G$ and let
$w(G)$ denote the verbal subgroup of
$G$ corresponding to
$w$ . The group
$G$ is an
$FC(w)$ -group if the set of conjugates
$x^{G_{w}}$ is finite for all
$x\in G$ . It is known that if
$w$ is a concise word, then
$G$ is an
$FC(w)$ -group if and only if
$w(G)$ is
$FC$ -embedded in
$G$ , that is, the conjugacy class
$x^{w(G)}$ is finite for all
$x\in G$ . There are examples showing that this is no longer true if
$w$ is not concise. In the present paper, for an arbitrary word
$w$ , we show that if
$G$ is an
$FC(w)$ -group, then the commutator subgroup
$w(G)^{\prime }$ is
$FC$ -embedded in
$G$ . We also establish the analogous result for
$BFC(w)$ -groups, that is, groups in which the sets
$x^{G_{w}}$ are boundedly finite.
The second author was supported by the ‘National Group for Algebraic and Geometric Structures and their Applications’ (GNSAGA – INdAM) and FAPDF-Brazil.