On Rings of Matrices Over Division Rings

From MaRDI portal





Subrings \(\mathcal{A}\) of \(M_n(D)\) for some division ring \(D\) and satisfying the three following conditions are studied. The conditions are: (i) there exists the division ring \(K \subset D\) such that \(aA \in \mathcal{A}\) for all \(a \in K\) and all \(A \in \mathcal{A}\); (ii) for every \(A \in \mathcal{A}\), there exists \(t \in {\mathbb N}\) and \(a_1, \dots, a_{t-1} \in K\) such that \(A^t + a_{t-1}A^{t-1} + \dots + a_1A = 0\) and (iii) \(A=0\) if \(A \in \mathcal{A}\) and \((AX)^2=0\) for all \(X \in \mathcal{A}\). It is shown that \(\mathcal{A}\) contains a maximal central idempotent \(C\) such that \((I-C) \mathcal{A} (I-C)= \{0\}\) and if \(E\) in \(\mathcal{A}\) and \(\widetilde{E}\) in the center of \(\mathcal{A}\) are minimal idempotents satisfying \(E \widetilde{E}=E\), then \(E \mathcal{A} E\) is a division ring and \(\widetilde{E} \mathcal{A} \widetilde{E} \sim M_m (E \mathcal{A} E)\) for some positive integer \(m\). This result extends the conclusions of \textit{M. Omladič, M. Radjabalipour} and \textit{H. Radjavi} [Linear Alg. Appl. 209, 419--424 (1994; Zbl 0817.20064)] in two steps. The conditions (ii) and (iii) are weaker conditions stated in terms of polynomials instead of trace conditions and \(K\) and \(D\) are general division rings with \(K\) contained in \(D\). The example shows that even when \(K\) and \(D\) are fields the main result is valid.











This page was built for publication: On Rings of Matrices Over Division Rings

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