The base semisimple class

From MaRDI portal





Let \(\mathcal A\) be the class of all associative rings. If \(P\) is a class of associative rings then \(A\) is a \(P\)-ring if \(A\in P\). An ideal \(I\) of a ring \(A\) is denoted by \(I\vartriangleleft A\). A subring \(B\) of a ring \(A\) is called an accessible subring of \(A\) if there exists a finite sequence \(C_1,\dots,C_n\) of subrings such that \(B=C_1\vartriangleleft C_2\vartriangleleft\cdots\vartriangleleft C_n=A\). Denote the lattice of all radical classes by \(L_{AR}\). In this paper, the author introduces the following construction: For any class of rings \(X\), define \(L_b'(X)=\{A\in{\mathcal A}\mid\) every accessible subring of \(A\) maps homomorphically onto a nonzero \(X\)-ring\}. The author shows that \(L_b'(X)\) is a semisimple class. \(L_b'(X)\) is called the base semisimple class determined by \(X\). The author uses this generalization of semisimple closure to characterize the radical-semisimple classes and explore its relationship to the pseudocomplement of a radical class in the lattice of all radicals. He proves the following: Theorem. Let a radical class \(R\) be regular. Then \(R\) is complemented in \(L_{AR}\) if and only if the base semisimple class of \(R\) does not contain an \(R\)-semisimple ring. From the theorem, one may obtain: Corollary. If a radical class \(R\) is complement in \(L_{AR}\) then \(S(R)\cap L_b'(R)=0\), where \(S(R)=\{A\in{\mathcal A}\mid R(A)=0\}\). Finally, the author proves \(R\) is a radical-semisimple class if and only if \(R=L_b'(R)\).











This page was built for publication: The base semisimple class

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