The base change of the monodromy group for geometric Tannakian pairs
We prove that in any characteristic the formation of the monodromy group of a $\mathscr{D}$-module commutes with the extension of the ground field, extending a result of Gabber for separable extensions.