No label defined (Q3978112)

Let \(N\) be a right zero-symmetric near-ring, and let \(T\) be an \(N\)-group. We recall that \(T\) is called tame if every \(N\)-subgroup of \(T\) is an ideal of \(T\). Furthermore, \(N\) is called tame on \(T\), if \(T\) is a faithful tame \(N\)-group, and \(N\) is a tame near-ring, if \(N\) is tame on some \(N\)-group. It is known, that if \(N\) is tame on \(T\), then \(T\) is of type 2 if and only if \(T\) is of type 0. In the present note the authors consider the question, whether for tame near-rings the types 0 and 2 coincide on all \(N\)-groups. They show, that the answer is ``yes'', if a quite general condition is fulfilled. Specifically, if \(T\) and \(\Gamma\) are \(N\)-groups, then \(T\) is said to be subversive to \(\gamma_ 0\in\Gamma\) if \(N\gamma_ 0=\Gamma\) and there is a family \((\tau_ \alpha)_{\alpha\leq\lambda}\) in \(T\), where \(\lambda\) is a limit ordinal and \(\bigcap_{\alpha\leq\beta}(0: \tau_ \alpha)\not\subseteq(0: \gamma_ 0)\) for all \(\beta<\lambda\), but \(\bigcap_{\alpha\leq\lambda}(0: \tau_ \alpha)\subseteq(0: \gamma_ 0)\). Theorem: Let \(N\) be a zero-symmetric near-ring, \(T\) a tame \(N\)- group, and let \(\Gamma=N\gamma_ 0\) be of type 0. If \((0:T)\subseteq(0:\gamma_ 0)\) and if \(T\) is not subversive to \(\gamma_ 0\) then \(\Gamma\) is of type 2. Using a certain near-ring of analytic functions the authors provide an example to show that the subversity condition can not be omitted.