Tile the Euclidean plane by squares of side length 1. Let W be the group generated by the four reflections in the (extended) sides of any one square. Draw the Cayley graph of W and prove that $W = D_\infty \bigoplus D_\infty$. I am so confused with this question. Any help would be great to get started.
Tiling the Euclidean plane, and Cayley graph
2
$\begingroup$
group-theory
geometric-group-theory
-
0Well...what have you done so far? From a first glance, I beieve you want to prove that you have a copy of $D_{\infty}$ acting on the $x$-axis and a second copy acting on the $y$-axis, and that these two subgroups generate your groups. Clearly they would intersect trivially and commute, so this would complete your proof...(to prove that these two subgroups exists, take the square that $W$ is acting on in an extended way and see what $W$ does to this square...basically, prove that the reflections of $D_4$ generate the entire groups!) – 2011-11-14