next up previous
Next: Normalizers. Up: Approximating the fusion map. Previous: Subgroups of subgroups.

Sylow's Theorem.

All Sylow p-subgroups of G are conjugate. Moreover, every p-subgroup of G lies inside at least one Sylow p-subgroup. In the present context this can be used as follows.

  Prop681

proof684

This result allows to fuse certain tex2html_wrap_inline4163 -classes of p-subgroups into singletons.

  Cor686

proof694

A procedure which systematically searches tex2html_wrap_inline4245 for places where Corollary 4.8 can be applied in order to produce a stronger pre-fusion map will be called CheckSylowFrame.



Götz Pfeiffer Wed Oct 30 09:52:08 GMT 1996