Weakly regular near-rings (Q1386811)

Let \(N\) be a zerosymmetric right near-ring with identity. Generalising a definition of \textit{V. S. Ramamurthi} [Can. Math. Bull. 16, 317-321 (1973; Zbl 0264.16009)] for rings, the author refers to \(N\) as being left weakly regular if every \(x\in N\) can be written as a sum of products \(a_kb_k\), where both \(a_k\) and \(b_k\) belong to \(Nx\). If \(N\) has no nonzero nilpotent elements, then it is said to be reduced. An ideal \(P\) of \(N\) is called completely prime (semiprime) if \(ab\in P\) (\(a^2\in P\)) implies \(a\in P\) or \(b\in P\) (\(a\in P\)). Theorem 1: Let \(N\) be reduced. Then \(N\) is left weakly regular if and only if (i) every ideal of \(N\) is completely semiprime and (ii) \(N/P\) is left weakly regular for all prime ideals \(P\) of \(N\). If for each element \(x\) in \(N\) there exists an element \(u\) in the principal ideal of \(N\) generated by \(x\), such that \(x=ux\), then \(N\) is called left \(w\)-weakly regular. An example of a left \(w\)-weakly regular near-ring is provided which is not left weakly regular. Theorem 2: If \(N\) is a reduced left \(w\)-weakly regular near-ring and \(P\) is a proper ideal of \(N\), then the following statements are equivalent to one another: (i) \(P\) is prime, (ii) \(P\) is completely prime, (iii) \(P\) is maximal. If \(N\) has no nontrivial ideals and no nonzero divisors of zero, \(N\) is said to be a simple domain. Theorem 3: A reduced near-ring \(N\) is left \(w\)-weakly regular if and only if \(N/P\) is a simple domain for every prime ideal \(P\) of \(N\).