n回で終わる4^n通りがどれも等確率だとすると
そのどのウォークも(1/5)^n+1の確率ということね
W(ab)=W(e)aW(e)bW(e)
の確率を求めるのに
W(e)
の確率が要るのかな？
それは
n=2m
の場合では
Wm={a,b,a^-1,b^-1}^m
の元とその逆元の積だから
(1/5^m+1)^2
の無限和
あれ？
m=0
のときは
1/5であって1/5^2じゃないよな？
何か考え方おかしい？