A special linear associative algebra. (Q2595698)

Wird im Matrizenring \(n\)-ten Grades über dem Ring \(F\) mit Einheitselement eine neue Multiplikation mittels der Festsetzung \(A\bigcirc B= AKB\) (\(K\) fest) erklärt, so entsteht eine assoziative Algebra über \(F\). Da elementaren Umformungen von \(K\) einfach anzugebende Basisabänderungen entsprechen, so läßt sich bei Existenz eines euklidischen Divisionsalgorithmus in \(F\) eine Basis \(h_{pq}\) (\(p, q = 1, 2,\ldots, n\)) der Algebra finden mit den Multiplikationsregeln: \[ h_{pq}h_{rs}=\delta_{qr}k_qh_{ps}\quad (k_1,k_2,\ldots,k_\varrho\neq 0;\quad k_{\varrho+1}=k_{\varrho+2}=\cdots=k_n=0). \] Ist \(F\) Körper, so sind die \(h_{pq}\) mit \(p, q = 1, 2,\ldots,\varrho\) Basis einer Matrixalgebra \(\varrho\)-ten Grades und die übrigen \(h_{pq}\) die Basis des Radikals der vollen Algebra.