A remarkable property of the integers mod \(n\), and its bearing on group-theory. (Q2601802)

Die Elemente einer endlichen Gruppe \(\mathfrak G\) seien derart in \(r\) Klassen \(\mathfrak C_1,\ldots, \mathfrak C_r\). eingeteilt, daß sich für jedes Indexpaar \(i, k (1 \leqq i, k \leqq r)\) die Menge \(\mathfrak C_i\mathfrak C_k\) der formal verschiedenen Produkte \(C_iC_k\) je zweier Elemente \(C_i\) aus \(\mathfrak C_i\) und \(C_k\) aus \(\mathfrak C_k\) aus vollen Klassen \(\mathfrak C_l(l= 1,\ldots, r)\) zusammensetzt; es bestehen also \(r^2\) Gleichungen \[ \mathfrak C_i\mathfrak C_k=\sum _{l=1}^rc_{ikl}\mathfrak C_l\qquad (i, k=1, \ldots, r) \] mit \(r^3\) ganzzahligen Koeffizienten \(c_{ikl}\geqq 0\). Aus jeder Untergruppe \(\mathfrak U\) der Automorphismengruppe \(\mathfrak A\) von \(\mathfrak G\) entspringt dadurch eine solche Klasseneinteilung (\(\mathfrak U\)-Teilung), daß man alle durch \(\mathfrak U\) verbundenen Elemente zu einer Klasse zählt; sie ist eine Verfeinerung der \(\mathfrak A\)-Teilung, die aber, wie der Fall \(r = 1\) lehrt, nicht schlechthin die gröbsteist. Sehr eingehend wird auf elementar-zahlentheoretischem Wege die \(\mathfrak A\)-Teilung der additiven Restklassengruppe mod \(n\) untersucht und dabei eine Formel für die \(c_{ikl}\) gewonnen. (III 6.)