Exercise · ZW-SYLOW-THEOREMS-006 · ★★☆ Intermediate

A group of order \(21\) has \(n_7=1\). What follows?

Choose one option.

Show answer
  • C. its Sylow \(7\)-subgroup is normal

Explanation

With a unique Sylow \(7\)-subgroup, its conjugates coincide with it, so it is normal. It does not follow that the group is cyclic (a nonabelian group of order \(21\) exists) nor that the \(3\)-subgroup is normal, and a group with a proper normal subgroup is not simple.

Study Modern algebra I in ZWMath →

Review the concept: Sylow theorems

A finite group \(G\) of order \(p^k m\), with \(p\) prime and \(p\nmid m\), has subgroups of order \(p^k\), all conjugate to each other; their number \(n_p\) is restricted.

\[n_p\equiv1\pmod p,\qquad n_p\mid m\]

More practice problems: sylow theorems

← ZW-SYLOW-THEOREMS-005 ZW-SYLOW-THEOREMS-007 →