Sei \(G\) die in Rede stehende Gruppe.
Ist \(p=2\), so hat die Gruppe die Ordnung \(p^{k+1}\),
ist also nach dir bekanntem Satz auflösbar.
Ist \(p\neq 2\), dann existiert eine \(p\)-Sylowunterguppe
\(H\subset G\) der Ordnung \(p^k\). Diese hat den Index 2 in \(G\)
und ist daher ein Normalteiler. Hieraus kannst du
schließen, dass \(G\) auflösbar ist:
\(H\) auflösbar und \(G/H\) auflösbar \(\Rightarrow G\) auflösbar.