Abstract Alg- Group theory and isomorphic sets.

[oneGirlArmy]

Homework Statement

I am suppose to determine if the following list of groups are isomorphic and if they are define an isomorphic function for them.
a. [5Z, +],[12Z, +] where nZ = {nz | z\inZ}

b. [Z₆, +₆]], [S₆, \circ]

c. [Z₂, +₂]], [S₂, \circ]

Homework Equations

+₆ means x +₆] y = the remainder of (x+y)/6

To prove not isomorphic we are suppose to show that the two sets are not one-to-one, or one is commutative while the other is not, etc.

The Attempt at a Solution

For a, I am fairly certain they are isomorphic and that the function should be f(x) = (12/5)x since it is a bijective function and f(x+y) = f(x) + f(y).

For b, My gut feeling is that it is not isomorphic however I can't find a good reason why. Perhaps because the second group is not commutative. However that answer just doesn't sit well with me.

Finally, for c I am confused because S₂ = {(1,2), (2,1)} while Z₂ ={0, 1,2} so it seems like there could be an isomorphic function but I'm uncertain what that function could be without it being piecewise for each element 0, 1, and 2.

 

[VeeEight]

If you're gut feeling is that one of the groups is not commutative, then try showing it by finding two elements that don't commute with each other.

Also remember that the cardinality of the groups must be the same for a bijective correspondence

 

[Gigasoft]

A is correct.

Z_2=\left\{0,1\right\}, not \left\{0,1,2\right\}.

S_2=\left\{id,(1\;2)\right\}, and it's easy to see C is isomorphic. The function is (0\mapsto id),(1\mapsto (1\;2)) (this notation is probably not right, though), and one can verify it by enumerating all possibilities.

It's also easy to see that B is not isomorphic, since the cardinality of S_6 is 720, while the cardinality of Z_6 is 6.

 

[oneGirlArmy]

Thank you to both of you for your help.

Z_2=\left\{0,1\right\}, not \left\{0,1,2\right\}.

Thank you for point that out! I was going from my lecture notes and I had written it down wrong. This makes the problem make a lot more sense.