Quasi-critical ring of a primitive ring with nonzero socle (Q1369764)

Jacobson proved the structure theorem for primitive rings with nonzero socles: \(R\) is a primitive ring with socle \(S\neq\{0\}\) if and only if there is a pair of dual vector spaces \((M,M')\) over a division ring \(\Delta\) such that \(S={\mathcal F}(M,M')\subseteq R\subseteq{\mathcal L}(M,M')\), where \({\mathcal L}(M,M')=\{\omega\in\Omega\mid\omega M'\subseteq M'\), \(\Omega\) is the complete ring of linear transformations of \(M\) over \(\Delta\}\), \({\mathcal F}(M,M')\) is the set of all linear transformations of \({\mathcal L}(M,M')\) of finite rank. In this note, the author introduces the concept of quasi-element for a subring of the ring of all linear transformations of a vector space, and derives the quasi-critical ring of a primitive ring with nonzero socle. Furthermore, the structure theorem mentioned above is improved.