Elements of the Difference Galois Theory

In this chapter we consider some basic aspects of the difference Galois theory. The first section is devoted to the study of Galois groups of normal and separable (but not necessarily finite) difference field extensions and the application of the results this study to the problems of compatibility and monadicity. The corresponding theory was developed by P. Evanovich in [60]. The other two sections of the chapter present a review of fundamentals of two approaches to the Picard-Vessiot theory of ordinary difference field extensions. The original version of this theory, which adjusts the main ideas of the the Picard-Vessiot theory of differential fields to difference case, is due to C. Franke. In section 8.2 we give a review of this approach omitting proofs of most of the results (we prove just a few fundamental statements on Picard-Vessiot extensions). The detail exposition of the theory can be found in the fundamental C. Franke’s work [67], in his further papers [68]–[73], and also in the works by R. Infante [88] and [90]. Section 8.3 provides a review of the basics of a Galois theory of difference equations developed by M. Singer and M. van der Put. This theory, which is based on the study of Picard-Vessiot difference rings, is perfectly presented in the monograph [159] where the reader can also find interesting applications of the results on difference Galois groups to the analytic theory of difference equations.