Dear Gap Forum,
I would like to add more relations to the braid group
B_n = <b_1,...b_{n-1} | b_ib_j =b_jb_i if |i-j|>1,
b_ib_{i+i}b_i=b_{i+1}b_ib_{i+1}>
and check whether the resulting group is finite.
The relations I want to add are: (b_i)^k=1, i=1,...(n-1) and (b_ib_{i+1})^l=1,
i=1,...,(n-2), where k and l are some fixed positive integers.
I have defined the new group using "FreeGroup" and tried checking if it is
finite
using "IsFinite", but in most cases this fails to give me an answer.
Please let me know if there is a more efficient way to do this.
Thanks,
Dan
_______________________________________________
Forum mailing list
Forum@mail.gap-system.org
http://mail.gap-system.org/mailman/listinfo/forum
