A theorem concerning direct products. (Q1444779)

Beweis des folgenden Satzes, in dem \(m\) und \(n\) ein Paar natürlicher, gegeneinander teilerfremder Zahlen bedeuten: Eine Gruppe der Ordnung \(m \cdot n\) ist das direkte Produkt einer Gruppe der Ordnung \(m\) und einer Gruppe \(n\), wenn jedes Element, dessen Ordnung ein Teiler von \(m\) ist, mit jedem Element, dessen Ordnung ein Teiler von \(n\) ist, vertauschbar ist. Für den Spezialfall, in dem mindestens eine der Zahlen \(m\), \(n\) eine Primzahlpotenz ist, findet sich ein Beweis in dem Buche von \(W\). Burnside (Theory of groups, 2. ed., p. 327).