Take the 2-minute tour ×
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.

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|improve this question
2  
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

1 Answer 1

up vote 5 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|improve this answer

Your Answer

 
discard

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.