I'm following the theorems/proofs of Contemporary Abstract Algebra by Gallian, 8th edition, and in proving Sylow's first theorem, the text assumes the following fact, which I am unsure how to prove, and was looking for tips:(adsbygoogle = window.adsbygoogle || []).push({});

Let G be a finite group and let K be a Sylow p-subgroup of G of order ##p^{k}##.

Let ##x## be an element in ##N(K)## and suppose that ##|x| = p##. Prove that ##x \in K##.

Any ideas?

I have been able to prove it for the Abelian groups (it's trivial then), but for a general finite group?

Thanks!

BiP

**Physics Forums | Science Articles, Homework Help, Discussion**

Dismiss Notice

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# A lemma in proving Sylow's theorem

**Physics Forums | Science Articles, Homework Help, Discussion**