Proving a group G is isomorphic to D_10

  • Thread starter Thread starter alex07966
  • Start date Start date
  • Tags Tags
    Group
Click For Summary
SUMMARY

The group G, with a size of 10, is proven to be isomorphic to the dihedral group D_10. The analysis begins by establishing that G contains elements of orders 1, 2, 5, and 10, ruling out the existence of an element of order 10 due to G's non-abelian nature. The group is constructed as G = {e, x, x^2, x^3, x^4, y, xy, (x^2)y, (x^3)y, (x^4)y}, where x has order 5 and y has order 2. The proof concludes by demonstrating that the multiplication table of G aligns with that of D_10, confirming the isomorphism.

PREREQUISITES
  • Understanding of group theory concepts, specifically non-abelian groups.
  • Familiarity with the structure and properties of dihedral groups, particularly D_10.
  • Knowledge of element orders within groups and their implications.
  • Experience with proving group isomorphisms and using contradiction in mathematical proofs.
NEXT STEPS
  • Study the properties of dihedral groups, focusing on D_10 and its structure.
  • Learn about group actions and their applications in proving isomorphisms.
  • Explore the concept of element orders in groups and their significance in group classification.
  • Practice constructing multiplication tables for various groups to solidify understanding of group operations.
USEFUL FOR

Mathematicians, students of abstract algebra, and anyone interested in group theory, particularly those studying non-abelian groups and their isomorphisms.

alex07966
Messages
5
Reaction score
0
Question: Let G be a non-abelian group such that the size of G is 10. Prove G is isomorphic to D_10.

I have started by saying the elements of G have order 1,2,5 or 10. And then showing how there are no elements of order 10 as that would make it abelian. I then show there is an element x of order 5 and an element y of order 2.
I then show G = {e, x, x^2, x^3, x^4, y, xy, (x^2)y, (x^3)y, (x^4)y} using right cosets.
NOW... i need to find what yx is equal to:
I then show that yx must be equal to either (x^2)y, (x^3)y or (x^4)y.
I think i then need to show BY CONTRADICTION that yx is not equal to the first two elements and therefore must be equal to (x^4)y. I can't reach a contradiction though! please help.

I can then say this group G has the same equations for working out the multiplication table of D_10 and is therefore isomorphic to D_10.
 
Physics news on Phys.org
Here's one way. Write [tex]yxy^{-1}=x^m[/tex].

Try to obtain [tex]x=y^2 xy^{-2}=(x^m)^m[/tex] and thus [tex]m^2[/tex] is congruent to 1 modulo 5.
 

Similar threads

  • · Replies 16 ·
Replies
16
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
Replies
5
Views
3K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 4 ·
Replies
4
Views
1K
Replies
2
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 4 ·
Replies
4
Views
5K
  • · Replies 7 ·
Replies
7
Views
2K
Replies
3
Views
2K