Back to Sylow Theorems

Problem 5

Avg difficulty 3.0

Let GG be a finite group, and write the order of GG as pkmp^{k}m where k≥0k\geq 0, m≥1m\geq 1, and pp is a prime such that p∤mp\nmid m. Let N⊲GN\lhd G such that pp does not divide the index of NN in GG. Prove that NN contains all Sylow pp-subgroups of GG and vice versa. That is,

  1. prove that any Sylow pp-subgroup of NN is also in GG; and

  2. prove that any Sylow pp-subgroup of GG is also in NN.

Kan, A Complete Introduction to Abstract Algebra, Groups, Sylow Theorems, Problem 5

AI Tutor

Adapted from A Complete Introduction to Abstract Algebra © 2022–2026 Kan Onn Kit. Licensed under CC BY-SA 4.0. Source: A Complete Introduction to Abstract Algebra. Imported at revision a559e8b.