A note on the exterior centralizers and the probability of commuting pairs (Q6548050)

The nonabelian tensor square \(G\otimes G\) of a group \(G\) is defined to be the group generated by all symbols \(a\otimes b\) subject to the relations \(ab\otimes c=(a^b\otimes c^b)(b\otimes c)\) and \(a\otimes cd=(a\otimes d)(a^d\otimes c^d)\) for all \(a,b,c,d\in G\) where \(G\) acts on itself by conjugation, so \(a^b=b^{-1}ab\). The nonabelian exterior square \(G\wedge G\) is obtained by adding the additional relation that \(a\otimes a=1\) for all \(a\in G\). The group \(G\wedge G= \langle g\wedge h\vert g, h\in G\rangle\). By analogy with the centralizer and center the authors discuss the exterior centralizer \(C_G^{\wedge}(x)=\{a\in G\vert a\wedge x=1\} \) for all \(x\in G\) and the exterior center \(Z^{\wedge}(G)=\{a\in G\vert a\wedge x=1 \text{ for all }x\in G\}\). By analogy with the FC-center and the notion of FC-group the authors define the FC\(^{\wedge}\)-center of \(G\) to be \(\text{FC}^{\wedge}(G)=\{x\in G\vert \vert G:C_G^{\wedge}(x)\vert <\infty\}\) and a group \(G\) is an \(\text{FC}^{\wedge}\)-group if \(\text{FC}^{\wedge}(G)=G\). It is evident that \(C_G^{\wedge}(x)\) is a normal subgroup of \(C_G(x)\) so every \(\text{FC}^{\wedge}\)-group is an FC-group and the authors give an example of an abelian group which is not an \(\text{FC}^{\wedge}\)-group. Their main result is that if \(G\) is an \(\text{FC}^{\wedge}\)-group, then \(G/Z^{\wedge}(G)\) is locally finite, \(G'\) is locally finite and \(G\wedge G\) is locally finite. They also include some results concerning linear groups and pro-\(p\) groups.