3
$\begingroup$

Below is the cycle graph of $\operatorname{Dih}_4$. What I don't understand is that, since $(ba)^2=a^2$, why there isn't a link between $ba$ and $a^2$, and hence of course also $a^2$ and $ba^3$? I can see that "$e$ - $ba$" is not a cycle at all, because $(ba)^2\ne e$.

    a^2    / \   a   a^3    \ /   __e_____  / / \    \ b ba ba^2 ba^3 
  • 0
    How is it that you are defining the Dihedral group? If you are given it in terms of a presentation (see "Equivalent Definitions" in the wikipedia article) then seeing that $(ba)^2=1$ is easy. Otherwise, I would recommend playing around with squares some more, or working out a permutation representation and playing with that (to work out a permutation representation, label the corners of your square $1$, $2$, $3$ and $4$ then work out what a rotation does to them and what a flip does to them. A flip sends $1$ to what? $2$ to what? etc.).2011-11-08

1 Answers 1

2

...but $(ba)^2=baba=1$ surely...as $bab=a^{-1}$. So, $a^2\neq (ba)^2$, so they should not appear in the same cycle.

Indeed, taking an arbitrary element of $D_4$ which is not a power of $a$, $a^ib$ say, then $(a^ib)^2=a^iba^ib=a^ia^{-i}=1$ as $ba^ib=a^{-i}$. So, basically, every element has order two apart from $a$, which has order $4$, and $e$, which is trivial.

  • 0
    That's all right - for my part I should have spotted that that was your problem earlier!2011-11-08