Lie群・Lie環

>微分演算子と考えると、exp(tX)ってやっぱり、群G上の関数に作用する微分演算子ですよね。

じゃあ
exp(d/dx)も微分演算子かい？

exp(d/dx)f(x) = f(x+1)
よって、exp(d/dx)は並進作用素である。