Eger G'nin Sylow 2-altgruplari normalse, G'nin bir Sylow 3 ya da 5-altgrubuyla carparak istenilen altgrubu elde edebiliriz. Bundan dolayi olmadigini varsayalim. Sylow Teoremi'ni kullanarak n2=3,5,15. Ancak n2=3,5 ise Sylow 2-altgruplarinin normalleyeninin indeksi 3 ya da 5 olmali. O halde n2'nin 15 oldugunu varsayabiliriz. Benzer sekilde n5=6 oldugunu da varsayabiliriz.
Simdi herhangi 2 Sylow 2-altgrubunun kesisimlerinin eleman sayisina bakalim. Eger tum kesisimlerin eleman sayisi 1 ise mertebesi 2 ile bolunen 15∗7=105 eleman var. Mertebesi 3 ya da 5 olan elemanlari da kattigimizda toplam sayinin 120'yi astigini goruruz ki bu mumkun degil.
O halde kesisimlerinin eleman sayisi 2 ya da 4 olan iki Sylow 2-altgrubu, P ve Q, bulunabilir. |P∩Q|=4 ise, iki grup da P∩Q'yu normalleyeceginden
|NG(P∩Q)|>8. NG(P∩Q)≠G ise isimiz bitti. O halde P∩Q◃G oldugunu varsayabiliriz. Bu durumda bolum grubunu alarak problemi mertebesi 30 olan bir grup icin cozmek yeterli. Mertebesi 30 olan bir grubun mertebesi 15 olan bir altgrubu oldugunu size birakiyorum. (Grubun carpmayla kendi uzerindeki grup etkisinde mertebesi 2 olan bir elemanin 'tek sekilde' etki ettigini gosterin.)
Artik |P∩Q|=2 oldugunu varsayabiliriz. Eger P≅D8 degilse P∩Q P ve Q tarafindan merkezlenir. O yuzden normalleyeninin G oldugunu varsayabiliriz. Simdi P≅D8 oldugunu varsayalim. P ve Q'nun mertebesi 4 olan ve P∩Q'yu iceren birer altgrubunu alalim, bu gruplara H ve K diyelim. H ve K, P∩Q'yu normallediklerinden |NG(P∩Q)|>=8. |NG(P∩Q)|=8 ise R=HK=NG(P∩Q) olsun. H ile ayni ozelligi tasiyan bir H′≠H oldugunu varsayarsak H′K=HK'den HH′K=H2K=HK celiski verir. Onun icin bu durumda da NG(P∩Q)=G oldugu varsayilabilir.
Simdi G/(P∩Q)'nin indeksi 5'ten kucuk olan bir ozaltgrubunu bulmak yeterli. Onu da size birakiyorum :-)