Galois theory of differential fields of positive characteristic (Q1097310): Difference between revisions

Strongly normal extensions of a differential field \(K\) of positive characteristic are defined. On the set \(G\) of all differential isomorphisms of a strongly normal extension \(N\) of \(K\), a structure of an algebraic group is induced. Correspondences between subgroups of \(G\) and intermediate differential fields of \(N\) and \(K\) are studied. The proof of Proposition 11 containes an error in the stage of proving that \(C(s)\) is finitely generated over \(C\). A correct proof is given.