On quasi-commutative matrices. (Q2616618)

In der Quantenmechanik erscheint die Matrixgleichung \[ xy-yz=z\quad (z\neq 0) \] in unendlichen Matrizen, wobei \(z\) eine skalare Matrix ist; für endliche Matrizen ist diese Gleichung trivialerweise nicht lösbar. Daher beschäftigt sich Verf. mit einer allgemeineren Untersuchung, bei der \(z\) als vertauschbar mit \(x\) und \(y\) vorausgesetzt wird. Dann heißen \(x\) und \(y\) quasikommutativ. Es erheben sich dabei zwei Fragen: (1) Zu welchen Matrizen \(z\) können quasikommutative Matrizen \(x\) und \(y\) angegeben werden? Hierüber entscheidet das Kriterium, daß dies dann und nur dann der Fall ist, wenn \(z\) eine nilpotente Matrix ist: \(z^{n_1}=0\) mit einem gewissen \(n_1\), und in der Charakteristik \([n_1,n_2,\dots, n_k]\) von \(z\) gilt \(n_k = 1\) und \(n_i-n_{i+1}=\begin{cases} 0\\1 \end{cases} \) \((i=1,2,\dots,k-1)\). Dabei bedeutet \([n_1,n_2,\dots, n_k]\) die Reihe der Exponenten der Elementarteiler von \(z\). (2) Zu welchen Matrizen \(x\) kann man eine quasikommutative, aber nicht kommutative Matrix \(y\) angeben? Dafür ist notwendig und hinreichend, daß \(x\) wenigstens eine mindestens dreifache charakteristische Wurzel besitzt, für die nicht alle Elementarteiler linear sind. Ist die \textit{Jordan}-Normalform von \(x\) bekannt, so können alle quasikommutativen Matrizen \(y\) zu \(x\) bestimmt werden. Schließlich zeigt Verf. noch, daß die quasikommutativen Matrizenpaare eine wichtige Eigenschaft mit kommutativen Matrizenpaaren gemeinsam haben; denn die charakteristischen Wurzeln eines skalaren Polynoms \(\psi (x,y)\) zweier quasikommutativer Matrizen \(x\) und \(y\) mit den charakteristischen Wurzeln \(\lambda _i\) bzw. \(\mu _i\) sind sämtlich von der Form \(\psi (\lambda _i,\mu _j)\).