How Many Orbits Are Formed by Dihedral Group Actions on Colored Squares?

Join the discussion
Registration is free. Start your own thread to ask a follow-up.
5 replies · 3K views
Ted123
Messages
428
Reaction score
0

Homework Statement



Let [itex]G=D_4[/itex] (the group of symmetries (reflections/rotations) of a square) and let [tex]X=\{ \text{colourings of the edges of a square using the colours red or blue} \}[/tex] so a typical element of X is:
fyg7b4.jpg


What is the size of [itex]X[/itex]?

Let [itex]G[/itex] act on X in the obvious way. You are given that [itex]G[/itex] has 6 orbits on X. Find a representative for each [itex]G[/itex]-orbit, and its size.

The Attempt at a Solution



Obviously there are going to be various ways of colouring the edges of a square, but how can I be sure that I have them all or is there a quicker way to find the size?

How do I find a representative for each G-orbit?
 
Physics news on Phys.org
Size of X: Each side has a choice of two colours, and there are 4 sides.

Orbits of G - Some properties of X will not be affected by the symmetry operations. This will naturally lead to separate orbits.
 
Joffan said:
Size of X: Each side has a choice of two colours, and there are 4 sides.

Orbits of G - Some properties of X will not be affected by the symmetry operations. This will naturally lead to separate orbits.

The definition of orbit is [tex]\text{orb}_G(x)= \{ gx : g\in G \}[/tex]
Saying that G has 6 orbits on X: does this mean there are 6 [itex]x[/itex]'s?

So by saying 'find a representative' does it mean find 6 different [itex]x[/itex]'s?
 
It means (as I read it) there are six categories of [itex]x[/itex] that will be mapped only onto their own category by the symmetries in G.

For example: The [itex]x[/itex] that consists of all blue edges will be mapped to itself by any G. It is an orbit of size one.
 
Joffan said:
It means (as I read it) there are six categories of [itex]x[/itex] that will be mapped only onto their own category by the symmetries in G.

For example: The [itex]x[/itex] that consists of all blue edges will be mapped to itself by any G. It is an orbit of size one.

Is the size of X 16?
 
That's what I get. It's a conveniently small-enough number that you can actually draw them all out, too, if you need to.
 
Last edited: