Pairs of involutions in the general linear group (Q1076137): Difference between revisions

Sei \(D_{\infty}=<b,c\mid b^ 2=c^ 2=1>\) die unendliche Diedergruppe und \(k\) ein Körper. Eine \(n\)-dimensionale Darstellung von \(D_{\infty}\) ist bestimmt durch ein Paar \((B,C)\) von involutorischen Matrizen \(B\) und \(C\) in \(\mathrm{GL}(n,k)\) mit \(b\mapsto B\) und \(c\mapsto C\); zwei Paare \((B,C)\) und \((B_ 1,C_ 1)\) sind äquivalent, wenn es ein \(S\in\mathrm{GL}(n,k)\) gibt mit \(B_ 1=SBS^{-1}\) und \(C_ 1=SCS^{-1}\). Dies führt zur Frage nach einer Normalform für ein Paar \((B,C)\) involutorischer Matrizen unter gleichzeitiger Ähnlichkeitstransformation \((B,C)\mapsto (SBS^{- 1},SCS^{-1})\). Der Autor klassifiziert in Theorem 1 alle endlich-dimensionalen, unzerlegbaren Darstellungen von \(D_{\infty}\) über \(k\) mit \(\mathrm{char}\;k\neq 2\) durch Angabe von Normalformen. Dies wurde auch schon von \textit{S. D. Berman} und \textit{K. Buzási} [Publ. Math. 28, 173--187 (1981; Zbl 0485.20007)] etwas allgemeiner getan. Der Fall \(\mathrm{char}\;k=2\) wurde unabhängig von \textit{V. M. Bondarenko} [Mat. Sb., Nov. Ser. 96(138), 63--74 (1975; Zbl 0352.20007)] und \textit{C. M. Ringel} [Math. Ann. 214, 19--34 (1975; Zbl 0299.20005)] behandelt. In Theorem 2 gibt der Autor notwendige und hinreichende Bedingungen dafür, daß ein Paar konjugierter Involutionen in \(\mathrm{GL}(n,k)\) schon mittels einer Involution konjugiert ist falls \(k\) ein algebraisch abgeschlossener Körper mit \(\mathrm{char}\;k\neq 2\) ist.