On finite Abelian \(p\)-groups. (Q2590375)

Ein System von Elementen \(S_1,\, S_2,\,\ldots,\, S_n\) einer Abelschen \(p\)-Gruppe heißt ein ``coverage system'', wenn sich für jede Untergruppe \(\mathfrak H\) mit zyklischer Faktorgruppe ein Teilsystem daraus auswählen läßt, etwa \(T_1,\, T_2,\,\ldots,\, T_m\), so daß die Gruppen \[ (T_1,\ldots,T_m,\mathfrak H),\;(T_2, \ldots, T_m, \mathfrak H),\;\ldots,\;(T_m, \mathfrak H),\;\mathfrak H \] eine bis zu \(\mathfrak H\) reichende Kompositionsreihe bilden. Verf. beweist den Satz, daß bei Abelschen Gruppen vom Rang 2 und von der Ordnung \(p^n\) die Elemente eines coverage Systems sich stets so anordnen lassen, daß die Gruppen \[ (S_1\ldots, S_n),\;(S_2,\ldots, S_n),\;\ldots,\;(S_n) \] eine Kompositionsreihe der Gruppe bilden.