Please Login to access more options.
Problem 31 (Cayley Graphs From Relations)
In each scenario below, you should draw a Cayley graph.
- Suppose that $X$ is a set, and that $S$ contains a single automorphism $s$ of $X$. Suppose also that we know $s^6$ is the identity (so following the arrow colored $c_s$ 6 times will return us to where we started). Construct a Cayley graph of $\text{span}(S)$. Is there more than one right answer to this?
- Suppose that we know $S$ contains two elements $a$ and $b$. We also know that $a^2$ and $b^4$ are both the identity. In addition, we know that $a\circ b=b\circ a$, so if we start somewhere and follow the arrows colored $c_a$ and then $c_b$, then we should end up at the same place if we followed the arrows colored $c_b$ and then $c_a$. Construct a graph that satisfies these relationships. We'll use the notation $$\left<a,b\mid a^2=id, b^4=id, a\circ b=b\circ a\right>$$ to tell us that $S=\{a,b\}$ with the relations listed after the $\mid$.
- Generalize your result above to draw a Cayley graph if instead of $b^4=id$ we have $b^k=id$.
The following pages link to this page.