Equivariant motivic integration and proof of the integral identity conjecture for regular functions

We develop the Denef-Loeser motivic integration to the equivariant motivic integration and use it to prove the full integral identity conjecture for regular functions.