Projectivity and linkage for completely join irreducible ideals of an expanded group (Q2009227)

The authors work with expanded groups ( i.e., \(\Omega \)-groups) and often specialize to those where the underlying group is a near-ring module with the near-ring elements identified as unary operations induced by multiplication. They study the equivalence relation projectivity on intervals of ideals. In particular, for ideals \(A,B,C\) and \(D\) of a finite expanded group \(V\), it is known that if \(B/A\) and \(D/C\) are minimal factors of \(V\) with \(B/A\) and \(D/C\) isomorphic as \(C_{0}(V)\)-modules, then the intervals \(I[A,B]\) and \(I[C,D]\) are projective. They investigate, amongst others, the necessity of the finiteness of \(V\) in this result. Here \(C_{0}(V)\) denotes the zero-symmetric near-ring of all congruence preserving functions from \(V\) to \(V\). Their investigations lead them to introduce an equivalence relation, called linkage, on completely join irreducible ideals of \(V\). Linkage is related to projectivity of the elements \(I[U^{-},U]\) where \(U\) is a completely join irreducible ideal of \(V\) and \(U^{-}\) is the unique ideal of \(V\) which is maximal with respect to the property of being contained in \(U\). With these new tools they could prove one of their main results replacing the requirement that \(V\) must be finite in the result above with a finiteness requirement, called wDCCR, on the near-ring \(C_{0}(V)\). A (left) near-ring \(N\) satisfies the weak descending chain condition on right ideals (wDCCR) if its \(J_{2}\)-radical \(J_{2}(N)\) is nilpotent and \(N/J_{2}(N)\) has the DCCR condition. Their result is: Suppose that \(V\) is an expanded group for which \(C_{0}(V)\) has the wDCCR property. If \(B/A\) and \(D/C\) are minimal factors of \(V\), then \(B/A\) and \(D/C\) are \(C_{0}(V)\)-isomorphic if and only if \(I[A,B]\) and \(I[C,D]\) are projective. It is shown that the wDCCR requirement has other useful applications as well. The paper is concluded with an investigation on when the near-ring \(C_{0}(V)\) fulfills the wDCCR requirement.