Some subgroups defined by identities (Q1409615)

Let \(B_n(G)\) (resp. \(C_n(G)\)) be the set of all \(x\) in \(G\) such that \([x,g,a_1,\dots,a_n,g]=1\) (resp. \([xa_0,g,a_1,\dots,a_n,g]=[a_0,g,a_1,\dots,a_n,g]\)). The author shows \(B_n(G)=C_n(G)\) and so \(B_n\) is a subgroup in contrast to the fact that \(\{x\mid[x,g,g,g]=1\}\) need not be a subgroup. Furthermore, he obtains for \(x\) in \(B_n(G)\) \[ \begin{multlined} 1=[x,g,a_1,\dots,a_n,h,h]=[x,g,g,a_1,\dots,a_n,h]=[x,g,a_1,\dots,a_n,b,c,d]^2=\\ =[x,g,a_1,\dots,a_n,h][x,h,a_1,\dots,a_n,g]\quad(\text{Theorem 3.1)}.\end{multlined} \] The exceptional role of the prime 2 illustrates the following results: \([B_n(G),{_{n+4}G}]\) is trivial or contains elements of order 2; if \(n\) is even, 4 can be reduced to 3 (Theorem 4.3).