Über einfache und mehrfache Bedeckung des \(n\)-dimensionalen Raumes mit einem Würfelgitter. (Q2579924)

Die Minkowskische Vermutung, daß eine lückenlose Ausfüllung des \(R_n\) mit gitterförmig gelagerten kongruenten Würfeln stets balkenförmig ist, d. h. daß es immer Paare von Würfeln geben muß, die mit einer ganzen \((n-1)\)-dimensionalen Seitenfläche aneinander stoßen, konnte bis jetzt nur für \(n \leqq 9\) bestätigt werden. In dieser hochbedeutsamen Arbeit gelingt nun dem Verf. der Nachweis für beliebiges \(n\), und zwar geht er einen ganz neuen Weg und ist von allen Vorgängern unabhängig. Die Koordinatenachsen werden natürlich den Würfelkanten parallel gewählt, und die Würfelkante ist die Längeneinheit. Dann wird zunächst gezeigt, daß es genügt, sich auf den Fall zu beschränken, daß die Mittelpunkte der Würfel rationale Koordinaten haben. Da die Mittelpunkte ein Gitter bilden, ist dann für die \(\nu\)-te Koordinate aller Würfel ein Hauptnenner \(a_\nu\) vorhanden. Bezeichnet man die Translation um die Strecke \(\dfrac{1}{a_\nu}\) in Richtung der \(\nu\)-ten Koordinate mit \(A_\nu\), so wird die unendliche (freie) Abelsche Gruppe mit den Erzeugenden \(A_1, \dots, A_n\) betrachtet; Verf. bezeichnet sie mit \(P(D)\). Hiervon bilden diejenigen Translationen, welche den Nullpunkt in einen Würfelmittelpunkt verschieben, eine Untergruppe \(P(W)\) mit \(n\) Erzeugenden \[ A_1^{c_{\nu_1}}\, A_2^{c_{\nu_2}} \cdots A_n^{c_{\nu_n}} \quad (\nu = 1, 2, \dots, n). \tag{1} \] Verf. betrachtet nun die Faktorgruppe \(P(D)/P(W)\), die aus der freien Gruppe \(P(D)\) mit den Elementen \[ A_1^{\alpha_1}\,A_2^{\alpha_2}\cdots A_n^{\alpha_n} \qquad (-\infty < \alpha_\nu < \infty) \tag{2} \] dadurch entsteht, daß die Elemente (1) gleich der Einheit gesetzt werden. Die Elemente der Faktorgruppe haben dann ebenfalls die Gestalt (2), aber jedes läßt sich, vermöge der erzeugenden Relationen \[ A_1^{c_{\nu_1}}\, A_2^{c_{\nu_2}} \cdots A_n^{c_{\nu_n}} = 1 \quad (\nu = 1, 2, \dots, n). \tag{3} \] auf unendlich viele Alten so darstellen. Die lückenlose Ausfüllung kann nun so interpretiert werden, daß die Gruppe \(P(W)\) den Einheitswürfel zum Diskontinuitätsbereich hat, oder auch so, daß die Elemente der Faktorgruppe sich vermöge der Relationen (3) auf eine und nur eine Weise in der Gestalt (2) mit den Nebenbedingungen \[ 0 \leqq \alpha_1 < a_1, \dots, 0 \leqq \alpha_n < a_n \] darstellen lassen. Die Faktorgruppe ist also endlich und zwar von der Ordnung \(a_1 a_2 \cdots a_n\). Die balkenförmige Lagerung drückt sich dagegen so aus, daß unter den Würfeln einer ist, dessen eine Mittelpunktskoordinate, etwa die \(\nu\)-te, gleich 1 ist und die anderen gleich 0, d. h. daß aus den erzeugenden Relationen (3) folgen muß: \(A_\nu^{a_\nu} = 1\) für wenigstens einen Index \(\nu\). Somit ist die Minkowskische Vermutung auf folgenden Satz über endliche Abelsche Gruppen zurückgeführt: ``Wenn jedes Element einer Abelschen Gruppe von der Ordnung \(a_1 a_2 \cdots a_n\) sich auf eine und nur eine Weise in der Gestalt \[ A_1^{\alpha_1}\,A_2^{\alpha_2}\cdots A_n^{\alpha_n} \qquad (0 \leqq \alpha_\nu < a_\nu) \tag{4} \] darstellen läßt, so ist für wenigstens einen Index \(\nu\) \[ a_\nu^{a_\nu} = 1.\,\text{''} \tag{5} \] Der Beweis dieses gruppentheoretischen Satzes ist nun nicht einfach und kann hier auch nicht andeutungsweise wiedergegeben werden. Gesagt sei nur, daß Verf. ihn auf den Spezialfall zurückführt, daß die \(a_\nu\) Primzahlen sind, wobei aber die Dimensionszahl \(n\) vergrößert wird. Die Durchführung des Beweises erfordert über ein Dutzend Hilfssätze, zum Teil sehr einfache, fast triviale, zum Teil schwierige, dann aber durch die vorausgehenden gut vorbereitete, so daß eine vorbildlich lückenlose Beweiskette entsteht und auch beim kritischsten Leser niemals Zweifel an der Stichhaltigkeit entstehen können. Nebenbei behandelt Verf. auch die Frage, ob die Anordnung der Würfel immer balkenförmig sein muß, wenn sie den \(R_n\) mehrfach, etwa \(k\)-fach, bedecken. Das läuft darauf hinaus, ob, wenn jedes Element einer Abelschen Gruppe auf genau \(k\) verschiedene Arten in der Gestalt (4) darstellbar ist, dann ebenfalls die Beziehung (5) für wenigstens einen Index \(\nu\) gelten muß. Verf. zeigt, daß das nur für \(n \leqq 3\) der Fall ist. Für \(n = 4\) wird dagegen ein Beispiel mit \(k = 9\) gegeben, bei dem das nicht zutrifft, und daraus folgt dann, daß es für \(n > 4\) erst recht solche nicht balkenförmige Würfelanordnungen gibt. Vgl. die folgende Besprechung.