The equation \(px=xq\) in a linear associative algebra. (Q1829481)

\(x, p, q\) gehören einer linearen assoziativen Algebra über einem Körper an. Bezeichnen \(P(\lambda ) = 0\) bzw. \(Q(\lambda ) = 0\) die zugehörigen Hauptgleichungen von \(p\) bzw. \(q\), so gilt der Satz: wenn nicht \(P(\lambda ) = 0\) und \(Q(\lambda ) = 0\) dieselben Nullstellen haben, so ist entweder \(x = 0\), oder \(x\) ist ein Nullteiler. Haben die beiden Hauptgleichungen überhaupt keine gemeinsame Nullstelle, dann ist die einzige Lösung der Gleichung \(x = 0\). Sind nun \(\lambda_1,\ldots, \lambda_s\) die gemeinsamen Nullstellen, \[ \begin{aligned} &P(\lambda ) = (\lambda - \lambda_1)\cdots (\lambda - \lambda_s)(\lambda - \varrho_{s+1})\cdots (\lambda \varrho_l), \\ &Q(\lambda ) = (\lambda - \lambda_1)\cdots (\lambda - \lambda_s)(\lambda - \sigma_{s+1})\cdots (\lambda \sigma_m), \end{aligned} \] so lautet die allgemeine Lösung der Gleichung \(px = xq\): \begin{multline*} x = (p-\lambda_2)\cdots (p-\lambda_s)(p - \varrho_{s+1})\cdots (p - \varrho_l) C_1(q-\lambda_2)\cdots (q-\lambda_s)(q - \sigma_{s+1})\cdots (q - \sigma_m) \\ + (p-\lambda_1)(p-\lambda_3)\cdots (p-\lambda_s)(p \varrho_{s+1})\cdots (p - \varrho_l) C_2(q-\lambda_1)(q-\lambda_3)\cdots (q-\lambda_s)(q \sigma_{s+1})\cdots (q - \sigma_m) \\ + \cdots + \ (p-\lambda_1)\cdots (p-\lambda_{s-1})(p \varrho_{s+1})\cdots (p - \varrho_l) C_s(q-\lambda_1)\cdots (q-\lambda_{s-1})(q \sigma_{s+1})\cdots (q - \sigma_m), \end{multline*} wobei \(C_\nu\) im allgemeinen beliebige Zahlen der Algebra bedeuten.