 Furthermore, the number of Sylow "p"-subgroups of a group for a given prime "p" is congruent to 

Collections of subgroups that are each maximal in one sense or another are common in group theory.The surprising result here is that in the case of Syl"p"("G"), all members are actually isomorphic to each other and have the largest possible order