<a^2=b^3=(ab)^6=1>って無限群なのか？
どうも
abab^(-1)がどうふやして行っても、単位元になりそうもない気がする。
<a^p=b^q=(ab)^n=1>をこの間から計算したり調べたりしているんだが、
適切な検索サイト先あれば、教えて頂きたい。
(ずっと、<a^2=b^3=(ab)^6=1>でつかえている。
早く、3,3の場合を知りたいのだが、、、。
バーンサイトにのめり込みそうなんだが、
こんなもん読んでたら、どうもまた少なくとも一年
はかかりそうだ。）