basukinjal
- 3
- 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).
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).
PREREQUISITESThis 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 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).