Irreducible representations of the Dn group

  • Context: Undergrad 
  • Thread starter Thread starter Robin04
  • Start date Start date
  • Tags Tags
    Group Representations
Click For Summary
SUMMARY

The dihedral group \(D_n\) does not possess irreducible representations with dimensions exceeding two. This conclusion is supported by the existence of a normal Abelian subgroup of index 2 within the group. When restricting an irreducible representation \(V\) to this subgroup, it decomposes into a sum of one-dimensional representations \(V = \oplus V_i\). The action of the full group is determined by the behavior of a representative from the nontrivial coset, leading to the definitive conclusion that irreducible representations of \(D_n\) can only be one or two-dimensional.

PREREQUISITES
  • Understanding of dihedral groups and their properties
  • Familiarity with linear representation theory
  • Knowledge of Abelian groups and their substructures
  • Basic concepts of group actions and cosets
NEXT STEPS
  • Study the structure and properties of dihedral groups \(D_n\)
  • Explore linear representation theory in greater depth
  • Investigate the implications of normal subgroups in group theory
  • Learn about one-dimensional representations and their significance
USEFUL FOR

Mathematicians, particularly those specializing in group theory, representation theory, and algebra, will benefit from this discussion.

Robin04
Messages
259
Reaction score
16
TL;DR
Is is true that the dihedral group Dn does not have an irreducible representation with a dimension higher than two?
Is is true that the dihedral group ##D_n## does not have an irreducible representation with a dimension higher than two?
 
Physics news on Phys.org
You can see that in following way. The group has a normal Abelian subgroup of index 2. If you have an irreducible representation of the dihedral group say ##V##, restrict it to the subgroup, then it is a sum of one dimensional representation ##V=\oplus V_i##. The action of the full group is determined by the action of a representative of the nontrivial coset (remember index two). Pick one of the one dimensional spaces say ##V_1##, the representative either sends it to itself or to another one dimensional subsapce say ##V_2##. Then in the first case ##V_1## is invariant under the full group, in the second case ##V_1\oplus V_2## is. So it must be that ##V## is either one or two dimensional.
 
  • Like
Likes   Reactions: nuuskur, member 587159 and Infrared

Similar threads

  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 46 ·
2
Replies
46
Views
6K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 0 ·
Replies
0
Views
2K
  • · Replies 4 ·
Replies
4
Views
641
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 13 ·
Replies
13
Views
2K