T is an operator on functions taking an argument from a group. Tg(f(x))=fg(x)=f(g-1*x)

Tg1*Tg2(f)=Tg1*g2(f)