Creating a homomorphism with given generators

  • Thread starter Thread starter Ultraworld
  • Start date Start date
  • Tags Tags
    Generators
Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
4 replies · 2K views
Ultraworld
Messages
30
Reaction score
0
I got the Dihedral Group D = <(1 2 3 4 5 6 ), (1 2)(3 4)(5 6)> and the symmetric group Sym(5).

Now I want to construct a homomorphism f : D --> Sym(5). Am I free to map the generators (1 2 3 4 5 6) and (1 2)(3 4)(5 6) to any element in Sym(5) as long holds:
f((1 2 3 4 5 6))6 = 1,
f((1 2)(3 4)(5 6))2 = 1.


I tried
f((1 2 3 4 5 6)) = (1 2 3)(4 5),
f((1 2)(3 4)(5 6)) = (1 2).

Which seems to be fine but
f((1 2 3 4 5 6)) = (1 2 3)(4 5),
f((1 2)(3 4)(5 6)) = (1 4).

seems to fail?

Why?
 
Physics news on Phys.org
True but how do i know my first attempt is indeed a homomorphism and the 2nd one not. Now I "prooved" it by a computer program (MAGMA).