The decrease value theorem with an application to permutation statistics

The decrease value theorem is restated and given a specialization more adapted to permutation statistic calculus. As an application, the computation of a factorial multivariable generating function for the wreath product of the cyclic group of finite order by the symmetric group is given in full detail.