Propongo un'interessantissima generalizzazione di quanto discusso qui (cfr. in particolare la dimostrazione di fields a pagina 3).
Sia \( \displaystyle G \) un gruppo finito di ordine pari, e scriviamo \( \displaystyle |G|=2^k \cdot m \) con \( \displaystyle m \) dispari e \( \displaystyle k \geq 1 \) .
Supponiamo che \( \displaystyle G \) ammetta un \( \displaystyle 2 \) -Sylow ciclico.
Allora, come per magia, \( \displaystyle G \) ammette un sottogruppo caratteristico di ordine \( \displaystyle m \)
Fonte: foglio di esercizi alla scuola estiva a Venezia, 2010.