Identical relations satisfied in an algebra. (Q571966)

In einer irreduziblen Algebra ohne Radikal mit endlicher Basis über den reellen Zahlen werden alle identisch erfüllten Relationen aufgesucht. Zuerst werden die Matrizenalgebren \(r\)-ten Grades behandelt. Sei \(e_{ij}\) die Matrix mit der Einheit in der \(i-\)ten Zeile und der \(j\)-ten Kolonne und sonst nur Nullen; seien ferner \(X = \sum x_{ij} e_{ij}\) und \(Y = \sum y_{ij} e_{ij}\) zwei variable Matrizen, dann gelten wegen der Vertauschbarkeit von \(x_{ij}\) mit \(y_{kl}\) die \(r^6\) bilinearen, linear unabhängigen Identitäten in \(X\) und \(Y\): \[ e_{fg} Xe_{ij} Ye_{mn} = e_{fj} Ye_{mg} Xe_{in}. \] Wenn man \(X\) mit \(Y\) identifiziert, erhält man die \(\frac 12 (r^6 - r^4)\) linear unabhängigen quadratischen Identitäten in \(X\). Aus diesen Identitäten lassen sich die bilinearen und quadratischen Identitäten für Quaternionen ableiten. Die Identitäten höheren Grades, deren Anzahl berechnet wird, wie auch die multilinearen werden ebenfalls aus den genannten erhalten. Schließlich werden noch für einige Algebren mit Radikal die Identitäten aufgezählt.