On reciprocal linear homogeneous groups.
Ist \[ \begin{aligned} & (E):x_i'=\sum_{j, k} c_{ijk} x_j e_k \\ & (i, j, k=1, 2, \dots, n)\end{aligned} \] eine einfach transitive Gruppe mit \(n\) Variablen und \(n\) Parametern, die ihre eigene Parametergruppe ist, und \[ (E'):x_i'=\sum_{j, k} c_{ikj} x_j e_k \] ihre reziproke Gruppe, so definieren: \[ \begin{aligned} & (E_1):x_i'=\sum_{j, k} c_{jik} x_j e_k, \\ & (E_1'):x_i'=\sum_{j, k} c_{jki} x_j e_k\end{aligned} \] die transponierten Gruppen zu \(E\), bezw. \(E'\). Vertauscht man die Indizes der \(c\) auf jede Art und Weise, so gelangt man noch zu den Operationen: \[ \begin{aligned} & (F):x_i'=\sum_{j, k} c_{kji} x_j e_k,\\ & (F'):x_i'=\sum_{j, k} c_{kij} x_j e_k. \end{aligned} \] Weder die Operationen \(F\) noch die Operationen \(F'\) bilden eine Gruppe. in der \textit{Frobenius}schen Symbolik für Matrizes ist wegen der zwischen den \(c\) bestehenden Gleichungen: \[ FE=E_1' F. \] Der Schluß \(FE F^{-1}=E_1'\) ist aber nur dann gestattet, wenn die Determinante von \(F\) von Null verschieden ist. Daß auch die Determinante von \(F\) verschwinden kann, lehrt das folgende, \textit{Frobenius}' Arbeit ``Theorie der hyperkomplexen Größen (Berl. Ber. 1903, 511) entnommene Beispiel der einzigen nicht kommutativen Gruppe für \(n = 3\): \[ (E):x_1'=x_1 e_1,\;x_2'=x_2 e_2,\;x'_3=e_3 x_1+x_3 e_2. \] Für sie wird \[ (F):x_1'=e_1 x_1,\;x_2'=x_2 e_2+x_3 e_3,\;x_3'=e_3 x_1. \] Man kann übrigens, ohne die Relation \(FE= E_1' F\) zu verwenden, den Isomorphismus der Gruppen \(E\) und \(E_1'\) leicht direkt beweisen, indem man mit Benutzung der zwischen den Konstanten \(c_{ikl}\) bestehenden Gleichungen zeigt, daß, wenn zwei Operationen \(\overline{E}\) und \(\overline{\overline E}\) aus \(E\) die Operationen \(\overline {E}{}_1'\) und \(\overline{\overline E}{}_1'\) aus \(E_1'\) entsprechen, der Operation \(\overline E\,\overline{\overline E}\) aus \(E\) die Operation \(\overline{E}{}_1'\overline{\overline E}{}_1'\) aus \(E_1'\) entspricht. Da \(E'\) und die zu \(E'\) transponierte Gruppe \(E_1'\) isomorph sind, so ergibt sich der bekannte Isomorphismus der zwei zueinander reziproken Gruppen \(E\) und \(E'\).
This page was built for publication: On reciprocal linear homogeneous groups.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1505006)
