Isomorphism question

  • Thread starter Bachelier
  • Start date
  • #1
376
0
All groups are finite abelian

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
 

Answers and Replies

  • #2
mathwonk
Science Advisor
Homework Helper
2020 Award
11,100
1,302
do you know the decomposition theorem for finite abelian groups?
 
  • #3
376
0
in other words, the fundamental thm of finite abelian groups,

every fin. ab. grp G is the direct sum of cyclic groups, each of prime power order.

let G = K⊕K ≅ N⊕N = G'

by thm K and N are both cyclic. hence K= <k> and N = <n> with |<k>| = |<n>|

hence K ≅ N.
 

Related Threads on Isomorphism question

  • Last Post
Replies
4
Views
2K
  • Last Post
Replies
9
Views
2K
  • Last Post
Replies
1
Views
1K
  • Last Post
Replies
6
Views
2K
  • Last Post
Replies
11
Views
2K
Replies
5
Views
2K
Replies
1
Views
787
Replies
7
Views
6K
Replies
14
Views
3K
Replies
1
Views
2K
Top