# Up to isomorphism definition

1. Nov 29, 2011

### Bachelier

what does it really mean?

for instance if asked to list all abelian grps of order 12 up to iso, then do we include Z12 or not?

2. Nov 29, 2011

### jgens

When you are asked to classify all groups of order 12 up to isomorphism, this means two things:
• You need to create a list of groups such that every group of order 12 is isomorphic to one of these groups.
• None of you the groups you listed are isomorphic to each other.

3. Nov 30, 2011

### micromass

Specifically: yes, you need to include $\mathbb{Z}_{12}$ or some group isomorphic to it. There are more groups of order 12 though...

4. Nov 30, 2011

### Bachelier

Yes thanks I get it now.

Hence for ABELIAN groups of order 12 we have $\mathbb{Z}_{12}$ ≈ $\mathbb{Z}_{3}$ X $\mathbb{Z}_{4}$, and $\mathbb{Z}_{2}$ X $\mathbb{Z}_{2}$ X $\mathbb{Z}_{3}$

what would be $\mathbb{Z}_{2}$ X $\mathbb{Z}_{6}$ isomorphic to?

5. Nov 30, 2011

### micromass

In general: if gcd(a,b)=1, then $\mathbb{Z}_{ab}\cong \mathbb{Z}_a\times \mathbb{Z}_b$ (try to prove this!!).

So we would have $\mathbb{Z}_2\times \mathbb{Z}_6\cong \mathbb{Z}_2\times \mathbb{Z}_2\times \mathbb{Z}_3$.

6. Nov 30, 2011

### Bachelier

we can construct an isomorphism ψ: from $\mathbb{Z}_{ab}$ to $\mathbb{Z}_a\times \mathbb{Z}_b$

such that ψ(x)= (x mod a, x mod b), it is a homomorphism, a surjection(for any y in the range, there exists an x congruent to z(mod ab) "the solution to the congruence system, and finally ψ is an injection because domain and codomain are finite sets with equal cardinality or order .

7. Nov 30, 2011

### micromass

Yes, but where did you use that gcd(a,b)=1?? You do need this!

8. Nov 30, 2011

### Bachelier

my computer just died.
we used the fact that a and b are coprime to show that the system of equations has a solution by CRT.

9. Nov 30, 2011

### micromass

That seems alright!!
{"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 1, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0}