G sonlu bir grup ve f:G⟶H bir epimorfi (örten homomorfi) olsun. Eğer P, G'nin bir sylow-p-altgrubu ise f(P), H'nin bir sylow-p-altgrubu olur.
Kanıt: P∈Sylp(G) olsun. Tanım gereği P maximal p-altgruptur.
İlk olarak f(P)'nin p-altgrup olduğunu daha sonra ise maximal olduğunu göstermeliyiz.
f(P)′nin p-altgrup olduğunu gösterebilirsem, maximal olduğunu göstermek için f(P)'yi içeren bir p-altgrup olduğunu varsayıp çelişki elde etmeye çalışacağım.
Sorum şu: f(P), H'nin p-altgrubu mudur?