Cartan calculus for quantum differentials on bicrossproducts

We provide the Cartan calculus for bicovariant differential forms on bicrossproduct quantum groups k(M) k G associated to finite group factorizations X = GM and a field k. The irreducible calculi are associated to certain conjugacy classes in X and representations of isotropy groups. We find the full exterior algebras and show that they are inner by a bi-invariant 1-form which is a generator in the noncommutative de Rham cohomology H ¹. The special cases where one subgroup is normal are analysed. As an application, we study the noncommutative cohomology on the quantum codouble D ^*(S ₃)k(S ₃) k₆ and the quantum double D(S ₃) k S ₃, finding respectively a natural calculus and a unique calculus with H ⁰ = k.1.