Flat base change formulas for (g,K)-modules over Noetherian rings

We discuss the flat base change formulas of the functor I and its derived functor. In particular, a flat base change theorem for Aq(λ) is obtained.