EN
The differential automorphism group, over F, Π₁(F₁) of the Picard-Vessiot closure F₁ of a differential field F is a proalgebraic group over the field $C_F$ of constants of F, which is assumed to be algebraically closed of characteristic zero, and its category of $C_F$ modules is equivalent to the category of differential modules over F. We show how this group and the category equivalence behave under a differential extension E ⊃ F, where $C_E$ is also algebraically closed.