Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I have the following Cayley graph: $$ ...\cdot \leftrightarrow \cdot \leftrightsquigarrow \cdot \leftrightarrow \cdot \leftrightsquigarrow \cdot \leftrightarrow ...$$

Here are my thoughts: we have two generators $a,b$. And $a^2=b^2=e$ since we have arrows going out and back from $e$ to $a$ and $b$. So this group is the group of words $ababa...aba$ which can start and end with either $a$ or $b$. Is it the same as a free group with two relations: $\langle a, b\ |\ a^2, b^2\rangle$? Is my interpretation correct?

share|cite|improve this question
I'm really not keen on 'a free group with two relations'. There are relations, so it's not free. You can call it a two-relator group. – Tara B Apr 18 '12 at 11:14
But the terminology is almost correct: this is a free product of the two order 2 groups $\langle a \, | \, a^2\rangle \approx \mathbb{Z}/2\mathbb{Z}$ and $\langle b \, | \, b^2\rangle\approx \mathbb{Z}/2\mathbb{Z}$. – Lee Mosher Nov 12 '15 at 15:49
up vote 6 down vote accepted

Yes, your interpretation is correct. There are no further relations since there are no loops in the Cayley graph except those deducible from the relations $a^2 = b^2 = e$.

The group $\langle a, b \mid a^2, b^2 \rangle$ is known as the infinite dihedral group.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.