November 18th, 2007, 02:00 PM  #1 
Newbie Joined: Nov 2007 Posts: 3 Thanks: 0  homomorphisms Let Dsub4 be the octic group and G'={e',a,b,c} be the Klein 4group with e' the identify of G', and a^2=b^2=c^c=e'. Tabulate a homomorphism Φ : Dsub4 > G' with the given requirements. Φ((1)): e' Φ((14)(23)): c Φ((13)): a We can tell easily that c^2=a^2=e' [But does that matter???] But, I still need to figure out what maps to b. The elements are: (1), (1234), (13)(24), (1432), (24), (14)(23), (13), and (12)(34). Again, we already know which ones map to e', a, and c. The elements that are left are: (1234), (13)(24), (1432), (24), and (12)(34). All of the elements squared are going to map to e' except (1234) and (1432). This means that (13)(24), (24), and (12)(34) can be a, b, or c. But how do I know which is which? Also, then what do (1234) and (1432) map to? 

Tags 
homomorphisms 
Thread Tools  
Display Modes  

Similar Threads  
Thread  Thread Starter  Forum  Replies  Last Post 
ring homomorphisms  tiger4  Abstract Algebra  0  April 20th, 2012 10:21 PM 
Galois Theory questions: Homomorphisms  wattsup  Abstract Algebra  0  November 2nd, 2011 05:45 PM 
Ring homomorphisms and kernel  norway9k  Abstract Algebra  2  November 17th, 2010 12:28 AM 
True/False about Homomorphisms and Zero Divisors  jkong05  Abstract Algebra  1  May 5th, 2009 03:41 AM 
commutative diagram, module homomorphisms  fermatprime371  Abstract Algebra  0  December 8th, 2008 07:44 PM 