A lemma in proving Sylow's theorem

  • Context: Graduate 
  • Thread starter Thread starter Bipolarity
  • Start date Start date
  • Tags Tags
    Theorem
Click For Summary
SUMMARY

The discussion centers on proving a lemma related to Sylow's first theorem as presented in "Contemporary Abstract Algebra" by Joseph Gallian, 8th edition. The lemma states that if G is a finite group and K is a Sylow p-subgroup of G with order p^k, then any element x in the normalizer N(K) with order p must belong to K. The user has successfully proven this for Abelian groups but seeks guidance for the general case. A suggested approach is to demonstrate that the group generated by K and {x} is a p-group containing K.

PREREQUISITES
  • Understanding of Sylow's theorems in group theory
  • Familiarity with finite groups and their properties
  • Knowledge of normalizers in group theory
  • Basic concepts of p-groups and their characteristics
NEXT STEPS
  • Study the structure of p-groups and their normalizers
  • Learn about group generation and subgroup properties
  • Explore examples of Sylow subgroups in finite groups
  • Review proofs of Sylow's theorems for deeper insights
USEFUL FOR

Mathematicians, particularly those studying abstract algebra, graduate students in mathematics, and anyone interested in group theory and Sylow's theorems.

Bipolarity
Messages
773
Reaction score
2
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:

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 news on Phys.org
Try to show that the group generated by ##K## and ##\{x\}## is a ##p##-group that contains ##K##.
 

Similar threads

  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 1 ·
Replies
1
Views
4K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 3 ·
Replies
3
Views
1K
  • · Replies 2 ·
Replies
2
Views
2K