On annihilator ideals in matrix near-rings. (Q658382): Difference between revisions

A `right-distributive near-ring' \((R,+,\cdot)\) satisfies all the axioms of an associative ring, except perhaps the left distributive law, and the commutative law for addition. For general results concerning near-rings, their modules (sometimes called \(R\)-groups) and radicals, please consult [\textit{J.~D.~P. Meldrum}, Near-rings and their links with groups. Research Notes in Mathematics 134. Boston - London - Melbourne: Pitman Advanced Publishing Program (1985; Zbl 0658.16029)]. The \(n\times n\) matrix near-ring over a near-ring \(R\), denoted by \(\mathbf M_n(R)\), was defined by \textit{J.~D.~P. Meldrum} and \textit{A.~P.~J. van der Walt}, using a functional point of view [see Arch. Math. 47, 312-319 (1986; Zbl 0611.16025)]. One of the main objectives of the paper is to study the situation where \(\Gamma\) is an \(R\)-group that is not monogenic (i.e., not generated as an \(R\)-group by a single element), while the \(\mathbf M_n(R)\)-group \(\Gamma^n\), for \(n\) large enough, is indeed monogenic. In particular, if \(\Gamma=\bigoplus_{i=1}^m R\delta_i\) is an \(R\)-group which is a group theoretic direct sum of monogenic \(R\)-groups, and if \(n\geq m\), then \(\Gamma^n\) is a monogenic \(\mathbf M_n(R)\)-group under a certain action. Another section is devoted to annihilator ideals. The main result here says that if \(R\) satisfies the DCC on \(R\)-subgroups and \(\Omega\) is a faithful locally monogenic \(R\)-group such that \(\Omega\) has no \(R\)-subgroups of so-called \(0_n\)-form, then the \(J_0\)-radical of \(\mathbf M_n(R)\) is given by the intersection of certain annihilator ideals \((0:\Delta^n)\) of \(\mathbf M_n(R)\). Moreover, \((J_0(R))^+\) (the ideal of \(\mathbf M_n(R)\) generated by all the matrices of the form \(f_{ij}^x\) where \(x\in J_0(R)\)) is contained in \(J_0(\mathbf M_n(R))\). [An \(R\)-group \(\Omega\) is `locally monogenic' if, for every finite subset \(H\subseteq\Omega\), there exists \(\omega\in\Omega\) such that \(H\subseteq R\omega\).] The paper is concluded by an example to show that \((J_0(R))^+\not\subseteq J_0(\mathbf M_n(R))\) is in general possible.