>>840
最後に28.4一発で
f(z)-\sigma f(z)=a_sigma(z), sigma:z-> z+1
(左辺はf(z)-f(sigma^{-1}z)=f(z)-f(z-1) )
f(z)-f(z-1)=g(z-1)に持って行きたいので、
a_sigma(z):=g(z-1)
と設定したい。
すると、先の私の定義の意味でした。

やりかたは複数あると思うので、単に自分の意図を説明しただけで、
他が間違いという訳ではありません。

クマーさん、ありがとうございます。