This question is about sylow-p groups of Sp.

I've proved these parts of the question:

A. Each sylow p-sbgrp is from order p and there are (p-2)! p-sylow sbgrps of Sp.

B. (p-1)! = -1 (mod p ) [Wilson Theorem]

I need your help in these two :

C. 1) Let G be a group of order n*p^(k) where gcd(n,p)=1 and k>=1.

Prove that the normalizers of the p-sylow sbgrps of G are conjugated

I proved it using the sylow-theorem that says that two sylow sbgrps are conjugated... I'm not sure that is the thing with the order.... Is it matter that the order is n*p^k? The argument is also true for an arbitrary group, no?

C. 2) Make use of C.1), and find the order of the normalizer of a sylow-p-sbgrp of Sp.

I'm not that sure, but according to the theorem that says:

o(G)/o(N(P)) = Number of conjugates to P

We'll get that the order of the normalizer of N(P) (where P is a sylow-p-sbgrp) is p! (the order of Sp) divided by the number of conjugates to P, which are all the elements of the normalizers of the sylow-p-sbgrps...

Which means that it's p! / (p-2)!*p = (p-1)! / (p-2)! = p-1..

Verification and help are needed!!

TNX everyone