Proving Dn Non-Abelian for n >= 3

  • Thread starter Thread starter zcdfhn
  • Start date Start date
Click For Summary
SUMMARY

The dihedral group Dn, for n >= 3, is definitively non-abelian. This is established by demonstrating that the symmetries within Dn, specifically the rotations and reflections, do not commute under composition. The key insight is that a rotation does not commute with a reflection, which serves as a foundational proof for the non-abelian nature of Dn. Attempts to find an isomorphism to Dn and show its non-abelian properties are valid but require a structured approach to begin.

PREREQUISITES
  • Understanding of group theory concepts, particularly dihedral groups.
  • Familiarity with the definitions of commutativity and non-abelian groups.
  • Knowledge of symmetry operations, specifically rotations and reflections.
  • Basic experience with isomorphisms in abstract algebra.
NEXT STEPS
  • Study the properties of dihedral groups, focusing on Dn for n >= 3.
  • Learn how to construct and analyze group presentations for Dn.
  • Explore examples of non-abelian groups and their characteristics.
  • Investigate the relationship between symmetry operations and group theory.
USEFUL FOR

Mathematicians, students of abstract algebra, and anyone interested in group theory, particularly those studying the properties of dihedral groups and their applications in symmetry analysis.

zcdfhn
Messages
23
Reaction score
0
My goal is to prove that if n >= 3 then Dn, which is the dihedral group of size n is non-abelian.

I am stuck, but my attempt at a solution was to show that some the symmetries in Dn are not commutative under composition, but I do not know how to prove that for n cases. My other attempt was to find a isomorphism to Dn and show that its isomorphism is not abelian, but I have no clue where to start from there.

I would appreciate either an answer, or something to help me get going. Please be precise and I thank you so much in advance.
 
Physics news on Phys.org
In general, a rotation doesn't commute with a reflection.
 

Similar threads

Solving the Density of States: Understanding dn/dE
  • · Replies 7 ·
Replies
7
Views
2K
The commutator subgroup of Dn: Is it generated by ρ2?
  • · Replies 7 ·
Replies
7
Views
3K
Proving that Aut(K), where K is cyclic, is abelian
  • · Replies 5 ·
Replies
5
Views
2K
Integral Test: Analyzing $$\sum_{n=3}^{\infty} \frac{1}{n^2-4}$$
  • · Replies 11 ·
Replies
11
Views
2K
Proving Normality of [0] in Z/3Z Quotient Group
  • · Replies 4 ·
Replies
4
Views
4K
Proving that an Abelian group of order pq is isomorphic to Z_pq
  • · Replies 5 ·
Replies
5
Views
3K
Showing a property of Abelian groups of order n
  • · Replies 4 ·
Replies
4
Views
2K
Integral of dn/(n^2 - 4) using trig substitution with sine
  • · Replies 13 ·
Replies
13
Views
2K
Proving a function is an isomorphism
  • · Replies 16 ·
Replies
16
Views
2K
What are the subgroups of D12 and how can they be proven to be isomorphic to Dm?
  • · Replies 6 ·
Replies
6
Views
3K