My Math Forum Proving or disproving homomorphism from that map that maps (Z x Z) to S_3?

 Abstract Algebra Abstract Algebra Math Forum

May 25th, 2017, 08:05 AM   #1
Newbie

Joined: Aug 2013

Posts: 16
Thanks: 0

Proving or disproving homomorphism from that map that maps (Z x Z) to S_3?

In mathematics, given two groups, (G, âˆ—) and (H, Â·), a group homomorphism from (G, âˆ—) to (H, Â·) is a function h : G â†’ H such that for all u and v in G it holds that h(u*v)=h(u)h(v). I have never done a mapping onto a permutation group though, so I am not sure how to approach this problem. Thank you in advance!
Attached Images
 Untitled.jpg (6.6 KB, 7 views)

 May 25th, 2017, 10:44 AM #2 Math Team   Joined: Jan 2015 From: Alabama Posts: 2,481 Thanks: 628 The function here maps the pair of integers (i, j) to the permutation $(12)^i(123)^j$. I presume that the operation on ZxZ is (i,j)*(m,n)= (i+m, j+ n). You want to show that, for any (i, j) and (m, n) in ZxZ, $[(12)^i(123)^j][(12)^m(123)^n]= (12)^{i+m)(123)^{i+m}$. Now, do you know what "(12)" and "(123)" mean here?
 May 26th, 2017, 08:57 AM #3 Member   Joined: Jan 2016 From: Athens, OH Posts: 44 Thanks: 26 Give the name $h$ to the mapping; i.e. $h(i,j)=(1,2)^i(1,2,3)^j$. The function h is not a homomorphism. First h is a surjective map: $h(1,0)=(1,2)$ $h(0,1)=(1,2,3)$ $h(2,0)=(1,2)^2=e\text{, the identity of }S_3$ $h(1,1)=(1,2)(1,2,3)=(2,3)$ (composition from right to left) $h(0,2)=(1,2,3)^2=(1,3,2)$ $h(1,2)=(1,2)(1,2,3)^2=(1,2)(1,3,2)=(1,3)$ The above equations show that every element of $S_3$ is an image. Fact: if h is a homomorphism from an abelian group G onto a group H, then H is abelian. You can try and prove this. So, if h were a homomorphism, then $S_3$ would be abelian, but it's not. Alternatively, if h were a homomorphism, $h(1,1)=h((1,0)+(0,1))=h(1,0)h(0,1)=(1,2)(1,2,3)$ $h(1,1)=h((0,1)+(1,0))=h(0,1)h(1,0)=(1,2,3)(1,2)$ But $(1,2)(1,2,3)\neq((1,2,3)(1,2)$ Thanks from facebook

 Tags disproving, homomorphism, map, maps, proving

 Thread Tools Display Modes Linear Mode

 Similar Threads Thread Thread Starter Forum Replies Last Post DenJansen Real Analysis 1 February 20th, 2012 10:33 PM lu5t Abstract Algebra 0 March 5th, 2011 03:42 PM Turloughmack Applied Math 0 December 11th, 2010 11:08 AM nandrolone Applied Math 4 June 7th, 2010 04:54 AM danneh Applied Math 2 December 12th, 2008 08:07 AM

 Contact - Home - Forums - Cryptocurrency Forum - Top