ON GROUP NEAR-RING MODULES

Jacobson radical, quasimultiplication (16N20) Group rings (16S34) Associative rings of functions, subdirect products, sheaves of rings (16S60) Near-rings (16Y30)

Review text

Let \(R\) be a right near-ring with identity. Denote by \(R^ G\) the direct sum of \(| G|\) copies of \(R\), indexed by \(G\). If \(r\in R\), \(g\in G\), we define \([r,g]: R^ G\to R^ G\) by \([r,g]\mu(h) = r\mu(hg)\). The subnear-ring of \(M(R^ G)\) generated by \(\{[r,g]\mid r\in R, g\in G\}\) is called the group near-ring \(R[G]\). \(R^{(G)}\) is the subgroup of \(R^ G\) consisting of those \(\mu\) such that \(\mu(g)\neq 0\) for at most finitely many \(G\). It is shown that if \(L\) is a left ideal (left \(R\)- subgroup) of \(R\), then \(L^{(G)}\) is a left ideal (left \(R^{(G)}\)- subgroup) of \(R^{(G)}\). Moreover any \(R[G]\)-ideal (-submodule) of \(R^{(G)}\) is contained in \(L^{(G)}\), for some left ideal (left \(R\)- subgroup) of \(R\). If \(L\) is a left ideal of \(R\), then \(R^{(G)}/L^{(G)}\) and \((R/L)^{(G)}\) are isomorphic as \(R[G]\)- modules. Connected \(R\)-modules are considered next. It is shown that if \(N\) is a connected \(R\)-module, then \(N^{(G)}\) is a connected \(R[G]\)- module, and that if \(R\) is 1-primitive on \(N\), then \(N^{(G)}\) is a faithful monogenic \(R[G]\)-module. If \(N\) is a connected \(R\)-module, there is a monomorphism of \(\text{End}_ RN\) into \(\text{End}_{R[G]}N^{(G)}\). Finally, it is shown that \((J_ 0(R))^* = (J_{1/2}(R))^*\), where \((J_ k(R))^*\) denotes the annihilator of the \(R[G]\)-module \(R^ G/(J_ k(R))^ G\).

Recommendations

Cites work

Cited in

(11)

This page was built for publication: ON GROUP NEAR-RING MODULES

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4030070)