Abstract Algebra: Is S(3) Isomorphic to Z(6)?

Click For Summary
SUMMARY

The symmetric group S(3) is not isomorphic to Z(6), the group of integers modulo six with addition modulo 6. S(3) consists of six permutations of three distinct elements and is non-commutative, while Z(6) is commutative. The requirement for isomorphism includes a one-to-one and onto mapping, which fails due to the differing algebraic structures of these groups. Therefore, the conclusion is that S(3) and Z(6) cannot be mapped onto each other while preserving their group operations.

PREREQUISITES
  • Understanding of group theory concepts, specifically symmetric groups and cyclic groups.
  • Familiarity with the properties of isomorphism in algebraic structures.
  • Knowledge of permutation notation and operations.
  • Basic understanding of commutativity in group operations.
NEXT STEPS
  • Study the properties of symmetric groups, focusing on S(3) and its structure.
  • Learn about cyclic groups, particularly Z(6), and their characteristics.
  • Explore the concept of isomorphism in group theory with practical examples.
  • Investigate non-commutative versus commutative groups and their implications in algebra.
USEFUL FOR

Mathematics students, particularly those studying abstract algebra, educators teaching group theory, and anyone interested in the structural properties of mathematical groups.

oddiseas
Messages
66
Reaction score
0

Homework Statement



Is the symmetric group s(3) isomorphic to Z(6), the group of integers modulo six with addition (mod 6) as its binary operation

Homework Equations



Basically i know that the symmetric group is all the different permutations of this set and that there are six of them. I also know that to be isomorphic is must be a one to one and onto map. But i can't figure out how to apply a binary operation between these two groups. In addition is each element of the symmetric group considered an ordering of three distinct points? or is each permutation considered as "1" element.?

The Attempt at a Solution

 
Physics news on Phys.org
Note,
[tex](1\, 2)(1\,3) = (1\,3\,2) \qquad (1\,3)(1\,2)=(1\,2\,3)[/tex]
so [itex]S_3[/itex] isn't commutative, but [itex]\mathbb{Z}_6[/itex] is.
 

Similar threads

  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 2 ·
Replies
2
Views
5K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 7 ·
Replies
7
Views
3K
  • · Replies 4 ·
Replies
4
Views
4K
  • · Replies 3 ·
Replies
3
Views
1K