519.46The following commutation theorem holds for locally compact groups [1].
The commutant of the right regular representation p of a locally compact group G is generated by the operators of the left regular representation A. Moreover, there exists an intertwining operator J such that Jpr = A~, t E G. It is given by (Jf)(x) = (dh(x-1)/dh(x))l/2f(x2i), where dh is a left Haar measure.Apparently, an analog of the regular representation for infinite-dimensional groups (current groups) appeared for the first time in [2,3]. In [4], the commutation theorem was proved for all analog of the regular representation of the current group in the case of the Wiener measure. An analog of the regular representation for an arbitrary infinite-dimensional topological group G was defined with the use of G-quasi-invariant measures # on hal appropriate completion G of G in [5,6].Consider tile group B ~ {x We shMt prove the following theorem.
~L (b~b-1 Theorem 1. /f E(b) = ~ ~k