Explanation

The order is \(6=2\cdot3\), so Sylow \(2\)-subgroups have order \(2\) and each is generated by a transposition. There are \(3\) transpositions, hence \(n_2=3\), which divides \(3\) and is odd.

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-006 ZW-SYLOW-THEOREMS-008 →