Klassifikation der halblinearen Transformationen. (Q2585792)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Klassifikation der halblinearen Transformationen. |
scientific article |
Statements
Klassifikation der halblinearen Transformationen. (English)
0 references
1940
0 references
Die eindeutigen Abbildungen \(\mathfrak x\to\sigma\mathfrak x\) eines \(n\)-dimensionalen Vektormoduls über dem Körper \(Z\) in sich, die den Rechenregeln \(\sigma(\mathfrak x +\mathfrak y) = \sigma\mathfrak x + \sigma\mathfrak y\), \(\sigma(\xi\mathfrak x) = \xi^G\sigma\mathfrak x\) genügen, heißen halblineare Transformationen zu gegebenem Automorphismus \(\xi\to\xi^G\) von \(Z\). Sie werden nach Wahl einer Basis in der Form \[ \xi_k' = \sum_{i=1}^n \xi^G_i\alpha_{ik}\quad (k =1,2,\ldots, n) \] dargestellt, wobei die hierdurch umkehrbar eindeutig zugeordnete Matrix \(A = (\alpha_{ik})\) beim Übergang zu einer neuen Basis in eine Matrix von der Form \(B = P^{-1}AP^G\) (\(P\) nicht singulär) übergeht. Die Frage, unter welchen genauen Bedingungen sich zwei halblineare Transformationen operatorisomorph aufeinander beziehen lassen, ist gleichbedeutend mit der Angabe eines Systemes von Invarianten bei \(G\)-Äquivalenz von Matrizen: \(A\underset{G}{\sim} B\), wenn \(B = P^{-1}AP^G\) mit nicht singulärer Matrix \(P\) lösbar ist. \textit{T. Nakayama} (Proc. phys.-math. Soc, Japan (3) 19 (1937), 99-107; JFM 63.0087.*) zeigte für den Fall, daß \(G\) endliche Ordnung \(k\) hat, unter Verwendung algebrentheoretischer Beweismittel, daß die Elementarteiler der Matrix \[ N(A) = AA^G\cdots A^{G^{k-1}} \] zusammen mit den Rängen der Matrizen \(A, AA^G,\ldots, AA^G \cdots A^{G^{k-1}}\) ein Invariantensystem bilden. Für diese Behauptung erbringt Verf. einen rein matrizentheoretischen Beweis. Der Ansatz S. 642 unten für die transformierende Matrix im Falle, daß \(N(A) = N(B)\) und \(A\) nicht singulär ist, lehrt, daß der Hilbertsche Beweis des Normensatzes auf Matrizen beliebigen Grades verallgemeinert werden kann. Für singuläre \(A\) wird ein Satz von \textit{Autonne} (Nouv. Ann. Math. (4) 12 (1912), 118-127; F. d. M. 43, 205 (JFM 43.0205.*)) herangezogen.
0 references