Creating a homomorphism with given generators

  • Thread starter Thread starter Ultraworld
  • Start date Start date
  • Tags Tags
    Generators
Click For Summary

Homework Help Overview

The discussion revolves around constructing a homomorphism from the Dihedral Group D to the symmetric group Sym(5), focusing on the mapping of generators and the preservation of group structure.

Discussion Character

  • Conceptual clarification, Assumption checking

Approaches and Questions Raised

  • The original poster attempts to map the generators of the Dihedral Group to elements in Sym(5) while adhering to specific conditions. Some participants question the validity of the mappings and the criteria for determining if a mapping constitutes a homomorphism.

Discussion Status

Participants are exploring the requirements for a valid homomorphism, with some providing guidance on checking the definition and properties of homomorphisms. There is an ongoing examination of the original poster's attempts and the implications of the mappings chosen.

Contextual Notes

There is a mention of specific relations that define the dihedral group, which may influence the mappings and their validity as homomorphisms.

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
You can't just send them to *any* elements of the right order. Homomrphisms must preserve group structure. Like composition of elements.
 
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).
 
You check if it is a homomorphism. You know what the definition of a homomorphism is, so check if the maps satisfy the definition.
 
And remember that the dihedral group is defined by the relations, in this case, g^6=e, h^2=e and hgh=g^{-1}.
 

Similar threads

  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 2 ·
Replies
2
Views
1K
Replies
2
Views
2K
Replies
3
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
Replies
2
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 4 ·
Replies
4
Views
1K