Proving that N(N(P)) = N(P) for p-Sylow Subgroups of G

  • Thread starter Thread starter basukinjal
  • Start date Start date
Click For Summary
SUMMARY

This discussion centers on the proof that for a p-Sylow subgroup P of a group G, the normalizer of the normalizer, N(N(P)), is equal to the normalizer N(P). The definition of the normalizer N(H) is established as the set of elements x in G such that xHx^-1 = H. The proof requires demonstrating both inclusions, with the inclusion N(P) < N(N(P)) being straightforward, while the reverse inclusion relies on the fact that P is normal in N(P), confirming that P is the only Sylow p-subgroup of N(P).

PREREQUISITES
  • Understanding of group theory concepts, particularly normalizers and Sylow subgroups.
  • Familiarity with the definitions and properties of p-Sylow subgroups.
  • Knowledge of group actions and conjugation.
  • Basic proof techniques in abstract algebra.
NEXT STEPS
  • Study the properties of normalizers in group theory.
  • Explore the Sylow theorems in detail, focusing on their implications for subgroup structure.
  • Investigate examples of groups and their p-Sylow subgroups to solidify understanding.
  • Learn about group actions and their role in proving properties of subgroups.
USEFUL FOR

This discussion is beneficial for mathematicians, particularly those specializing in abstract algebra, group theorists, and students seeking to deepen their understanding of Sylow subgroups and normalizers in group theory.

basukinjal
Messages
3
Reaction score
0
If H is a subgroup of G then N(H) is defined as { x belonging to G | xHx^-1 = H }. If P is p-Sylow subgroup of G, then prove that N(N(P)) = N(P).
 
Physics news on Phys.org


basukinjal said:
If H is a subgroup of G then N(H) is defined as { x belonging to G | xHx^-1 = H }. If P is p-Sylow subgroup of G, then prove that N(N(P)) = N(P).

You need to prove both directions.
N(P) < N(N(P)) is obvious.

To show N(N(P)) < N(P), you might need to use the fact that P is normal in N(P), which implies the only Sylow p-subgroup of N(P) is P itself.
 

Similar threads

  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
Replies
7
Views
3K
  • · Replies 7 ·
Replies
7
Views
1K