No label defined (Q4368976)

From the author's introduction we have the following: A function \(\phi\colon G\to G\) is normal if \(\phi(h^{-1}gh)=h^{-1}\phi(g)h\) for all \(g,h\in G\), i.e. if \(\phi\) belongs to the centralizer nearring \(M_{\text{Inn }G}(G)\) determined by \(\text{Inn }G\). The map \(\phi\) is a quasi-endomorphism if for every \(x,y\in G\), \(xy=yx\) implies \(\phi(xy)=\phi(x)\phi(y)\). Let \(Q(G)\) be the set of all quasi-endomorphisms. Then \(NQ(G)=M_{\text{Inn }G}(G)\cap Q(G)\). If \(G\) is abelian, then \(NQ(G)=Q(G)=\text{End }G=E(G)\), the nearring generated by \(\text{End }G\). The author first proves that \(NQ(G)\) is a subring of \(M_{\text{Inn }G}(G)\). This is followed by a result that a centerless group with a well-defined property \(\mathcal T\), leads to \(NQ(G)\) being simple. The next segment of the article is devoted to a careful presentation of three classes of groups which satisfy \(\mathcal T\), namely, free groups, the dihedral groups \(D_n\) for \(n\) odd, and the alternating group on five letters. Then the author identifies several conditions including a non-empty center which if imposed on a group \(G\) implies \(NQ(G)\) is not simple. This collection includes the quaternion group, the dihedral groups \(D_n\) for \(n\) even, and the symmetric groups of degree greater than two. The proof of the last is a challenge. For the entire collection see [Zbl 0874.00036].