Exercise · ZW-GROUP-ISOMORPHISM-007 · ★★☆ Intermediate

Why are \(\mathbb{Z}_6\) and \(S_3\) not isomorphic, even though both have order 6?

Choose one option.

Show answer
  • B. Because \(\mathbb{Z}_6\) is abelian and \(S_3\) is not

Explanation

Being abelian is preserved by isomorphisms. In \(\mathbb{Z}_6\) every pair commutes; in \(S_3\) there are permutations \(\sigma,\tau\) with \(\sigma\tau\ne\tau\sigma\).

Study Modern algebra I in ZWMath →

Review the concept: Group isomorphism

A group isomorphism is a bijective homomorphism \(\varphi\) from a group \(G\) to a group \(H\); then \(G\) and \(H\) are isomorphic.

\[G\cong H\]

More practice problems: group isomorphism

← ZW-GROUP-ISOMORPHISM-006 ZW-GROUP-ISOMORPHISM-008 →