All groups are finite abelian(adsbygoogle = window.adsbygoogle || []).push({});

if K⊕K ≅ N⊕N, prove that K≅N

I'm thinking of constructing bijection, but I don't know if my argument makes sense!

since K⊕K ≅ N⊕N, there exists a bij between the two

assume ψ: K⊕K ----> N⊕N

(k,k') |---> (n,n') where n = f(k) for some fct f and n' = g(k')

since ψ is a bij it is invertible, hence f is invertible and then it is a bijection

or:

since ψ is a homomorphism, then so is f b/c ψ(kk',k"k'")=(nn',n"n"')=(f(k),f(k'),g(k'')g(k'''))=(f(kk'),g(k"k'''))

and f is onto inherited from ψ. ker ψ = ψ(e,e)=(e,e) in (N⊕N) = ker(f,g)

I don't like it but it's the only thing I can think of.

any ideas. thanks

**Physics Forums - The Fusion of Science and Community**

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Isomorphism question

Loading...

Similar Threads for Isomorphism question | Date |
---|---|

I Reflexive relation question | Oct 12, 2016 |

Question about normal subgroups/Lattice Isomorphism Theorem | Dec 23, 2013 |

Question about isomorphic mapping on direct sums? | Sep 9, 2013 |

Quick question regarding isomorphic groups? | Sep 2, 2013 |

Question on isomorphism between addition and multiplication | Nov 27, 2012 |

**Physics Forums - The Fusion of Science and Community**