Darstellungstheorie der Hyperoktaedergruppe. (Q2601820)

Hyperoktaedergruppe \(\mathfrak H_n\) heißt die Gruppe aller Transformationen \[ x_\nu' = \varepsilon_\nu x_{\alpha_\nu} \qquad (\nu=1,\ldots,n), \] wo die \(\alpha_\nu\) eine beliebige Permutation der Zahlen \(1,\ldots,n\) bedeuten und die \(\varepsilon_\nu\) unabhängig voneinander den Wert \(+1\) oder \(-1\) haben können. In seiner Dissertation (Schr. math. Sem. Inst, angew. Math. Univ. Berlin 1 (1932), 1-32; JFM 58.0127.*) hat Verf. gezeigt, wie alle Darstellungen von \(\mathfrak H_n\) mit Hilfe der Darstellungen der symmetrischen Gruppe bestimmt werden können. Ähnlich wie in einer früheren Arbeit für die symmetrische Gruppe (Math. Z. 39 (1935), 696-711; JFM 61.0109.*) entwickelt Verf. hier ein explizites Verfahren, um für jede irreduzible Darstellung von \(\mathfrak H_n\) ein Eigensystem aufzustellen, d. h. Funktionen der \(x_1,\ldots, x_n\), welche eine Basis des zugehörigen Darstellungsmoduls bilder. Die Anzahl der verschiedenen irreduziblen Darstellungen ist gleich der Anzahl der ganzzahligen Lösungen der Gleichungen \[ \begin{matrix}\l&\l\\ n = k + l &\;(k\geqq0, \;l\geqq0),\\ k=\varkappa_1+\cdots+\varkappa_r &(\varkappa_1\geqq\cdots\geqq\varkappa_r>0),\\ l=\lambda_1+ \cdots+\lambda_s\qquad& (\lambda_1\geqq\cdots\geqq\lambda_s>0).\\ \end{matrix} \]