Dimension in rings with solvable algebraic group action.
Base change for Picard-Vessiot closures
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 of constants of F, which is assumed to be algebraically closed of characteristic zero, and its category of 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 is also algebraically closed.
The Picard-Vessiot closure in differential Galois theory
Page 1