Beschreibung:
<jats:p>Throughout this paper a ring will always be an associative, not necessarily commutative ring with an identity. It is tacitly assumed that the identity of a subring coincides with that of the whole ring. A ring <jats:italic>R</jats:italic> is said to be <jats:italic>residually finite</jats:italic> if it satisfies one of the following equivalent conditions:</jats:p><jats:p>(1) Every non-zero ideal of <jats:italic>R</jats:italic> is of finite index in <jats:italic>R;</jats:italic></jats:p><jats:p>(2) For each non-zero ideal <jats:italic>A</jats:italic> of <jats:italic>R,</jats:italic> the residue class ring <jats:italic>R/A</jats:italic> is finite;</jats:p><jats:p>(3) Every proper homomorphic image of <jats:italic>R</jats:italic> is finite.</jats:p><jats:p>The class of residually finite rings is large enough to merit our investigation. All finite rings and all simple rings are trivially residually finite. Other residually finite rings are said to be <jats:italic>proper.</jats:italic></jats:p>