View source for Galois differential group

The group of all automorphisms of a [[Differential field|differential field]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g043/g043120/g0431201.png" /> that commute with derivations (cf. [[Derivation in a ring|Derivation in a ring]]) and that leave all elements of some fixed differential subfield of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g043/g043120/g0431202.png" /> invariant.



====Comments====
Just as Galois theory has things to say about (solving) algebraic equations, so differential Galois theory (or the Galois theory of differential fields) is relevant to (solving) algebraic differential equations. For an account of differential Galois theory see [[Extension of a differential field|Extension of a differential field]] and the references given there.