Radicals whose semisimple classes satisfy a generalised ADS condition. (Q1882133)

This paper deals with abstract classes of associative rings (not necessarily unital). Such a class is hereditary if it is closed under ideals. A class \(\mathcal K\) of rings has the GADS property if whenever \(X\in{\mathcal K}\) and \(X\triangleleft I\triangleleft R\) there exists \(B\triangleleft R\) such that \(B\in{\mathcal K}\) and \(X\subseteq B\subseteq I\). A radical is a \(g\)-radical if its semisimple class has the GADS property. Section 2 is dedicated to the study of \(g\)-radicals. In Theorem 2.9 the class of \(g\)-radicals is fully characterized: If \(\rho\) is a radical the following are equivalent: (i) \(\rho\) is a \(g\)-radical; (ii) If \(X\) is an accessible subring of \(R\) and \(X\in{\mathcal S}_\rho\) (the semisimple class of \(\rho\)) then \(\langle X\rangle\in{\mathcal L}_\rho\); (iii) either \(\rho\subseteq{\mathcal I}\) or \({\mathcal S}_\rho\subseteq{\mathcal I}\) (\(\mathcal I\) denotes the class of idempotent rings). As a consequence of this theorem it is proved in Corollary 2.10 that a radical \(\rho\) is a hereditary \(g\)-radical if and only if \(\rho\) is idempotent or \({\mathcal S}_\rho\subseteq{\mathcal I}\). In Section 3 is studied the class of \(g\)-radicals with respect to the lattice of all radicals. It is proved in Theorem 3.9 that the class of hereditary \(g\)-radicals forms an atomic sublattice of the lattice of all radicals.