スレタイ箱入り無数目を語る部屋31(あほ二人の”アナグマの姿焼き"Part5ｗ)

>>966
>どこが間違いか検証しよっと
W=∪Wn
Wn={a,b,a-,b-}^n（面倒なのでaの逆をa-と書いた）
w∈Wnに対するP(w)=1/5^n+1
f:W→F2=<a,b>=W/(aa-,bb-,a-a,b-b)
（注：Wは単位元を持つ半群でF2は2階の自由群だがfは半群の準同形）
W(ab)=f^-1(ab)={w∈W:f(w)=ab}
W(e)=f^-1(e:単位元)={w∈W:f(w)=e}
W(ab)=W(e)aW(e)bW(e)
あそうか
W(e)の元の考察が間違ってるか
うーんどうなるかな