• Support PF! Buy your school textbooks, materials and every day products Here!

Exercise from Serre

  • Thread starter Ultraworld
  • Start date
  • #1
30
0
This is an exercise from a book from Serre called Trees. Given the group

G = < a, b, c | bab−1 = a2, cbc−1 = b2, aca−1 = c2 >

I have to prove G = 1.

I don't have a clue. Of course G' = G (commutator subgroup equals the group itself) but I don't know what to deduce from that. Another first step could be to prove that the orders of a, b and c are finite. But I do not even know how to that.

If anyone could put me in the right direction i would be very grateful.

edit: Im gonna try to use Todd Coxeter coset enumeration.
 
Last edited:

Answers and Replies

  • #2
30
0
I doubt wetter ToddCoxeter CE will help me :frown:
 
  • #3
matt grime
Science Advisor
Homework Helper
9,395
3
Since the question uses a,b,c and it's Serre, let's assume that the fact there are 3 generators is important.

The only thing I can think of doing is considering products like abc or bac etc and simplifying in two ways until ended up with something that points towards the statement a=a^2, or similar.

(No, I\ve not solved this - I'll get a pen and paper and think about it some more later)
 
  • #4
30
0
well, if you can prove all the 3 generators are of finite order than I can finish this question. Because Suzuki has this exercise in his book where he assumes G is finite and he also gives lots of hints.

Here however I can not a priori assume G is finite.
 

Related Threads on Exercise from Serre

  • Last Post
Replies
23
Views
1K
Replies
1
Views
2K
Replies
3
Views
702
Replies
6
Views
787
  • Last Post
Replies
2
Views
768
  • Last Post
Replies
4
Views
2K
  • Last Post
Replies
6
Views
1K
  • Last Post
Replies
2
Views
2K
  • Last Post
Replies
7
Views
6K
Top