In the same contest as this we got the following problem:
We are given a language with only three letters letters $A,B,C$. Two words are equivalent if they can be transformed from one another using transformations of consecutive letters in a word like this: $ABA \leftrightarrow BAB$, $ACA \leftrightarrow CAC$ and $AA=BB=CC=\emptyset$
Decide if there are finite or infinite number of non equivalent words in this language if the following condition is added:
If there are a finite number of words, how many inequivalent words are there?
The problem can be quickly translated into group theory (which I didn't see...) like this:
A group has three generators $a,b,c$ with the following relations between them. Decide in each case if the group is finite/infinite. If finite, find the number of elements of the group.
1) $a^2=b^2=c^2=e, \ (ab)^3=e, \ (ac)^3=3,\ (bc)^2=e$;
2) $a^2=b^2=c^2=e, \ (ab)^3=e, \ (ac)^3=3,\ (bc)^3=e$.
These are easily seen to be particular cases of Coxeter groups. The official proofs were based on finding actual geometrical models of the given Coxeter groups (this is always possible, although not very simple...). Of course, no one of the participants thought of it like this, and in case $1)$ it is possible to prove that there are finitely many words by proving that a large enough word, which is equivalent to a word of the form $ABCABC..., BABCABC...,BCABCABC...$ can be made shorter, but even if we prove that there are finitely many words, there is still the part when we need to count the different words, which can be very tricky. For the second problem no solution without Coxeter groups geometrical representation was presented.
My questions are:
1) Are there any results from which we can see directly from the relations given for the Coxeter group if the group is finite or not? I am interested especially in the 3 generators case, but maybe there are some results in the general case also.
2) Can we find the number of inequivalent words in the first part without using Coxeter groups?
3) Can you solve second part without using Coxeter groups?