No label defined (Q4368948)

Let \((G,+)\) be a group, not necessarily abelian, and let \(K\) be a nonzero subgroup of \(G\). Let \({\mathcal H}={\mathcal H}(G,K)\) be the additive group generated by \(\Hom(G,K)\). Then \({\mathcal H}\) is a d.g. near-ring. This near-ring can be a ring even when \(\overline K\), the additive subgroup generated by \(\bigcup G\alpha\), \(\alpha\in{\mathcal H}\), is nonabelian. Conditions on \(K\) or \(\overline K\) are given for this to occur, with examples to illustrate the theory developed. Similarly conditions are developed for \({\mathcal H}\) to be distributive. The function \((\alpha)\Theta=\alpha|_K\), \(\alpha\in{\mathcal H}\), plays a key role in this study. The mapping \(\Theta\) is a near-ring homomorphism from \({\mathcal H}(G,K)\) into the d.g. near-ring \({\mathcal E}(K)\), the near-ring generated by \(\text{End }K\). Properties of \({\mathcal H}(G,K)\), where \(K\) or \(\overline K\) is abelian, are investigated. There is a rich interplay between the near-rings (rings) \({\mathcal H}(G,K)\) and \({\mathcal E}(K)\) and the groups \(G\), \(K\), and \(\overline K\). Exemplary of this is: let \(K\) be abelian, then \(\Theta\) is surjective if and only if \(G\) is a semidirect sum of \(K\) and a normal subgroup. For the entire collection see [Zbl 0874.00036].