1: \begin{abstract}

2:   The motivation for this paper is to extend the known model theoretic 

3:   treatment of differential Galois theory to the case of linear 

4:   \emph{difference} equations (where the derivative is replaced by an 

5:   automorphism.) The model theoretic difficulties in this case arise from the 

6:   fact that the corresponding theory ACFA does not eliminate quantifiers. We 

7:   therefore study groups of restricted automorphisms, preserving only part of 

8:   the structure. We give conditions for such a group to be (infinitely) 

9:   definable, and when these conditions are satisfied we describe the 

10:   definition of the group and the action explicitly.

11: 

12:   We then examine the special case when the theory in question is obtained by 

13:   enriching a stable theory with a generic automorphism. Finally, we 

14:   interpret the results in the case of ACFA, and explain the connection of 

15:   our construction with the algebraic theory of Picard-Vessiot extensions.

16: 

17:   The only model theoretic background assumed is the notion of a definable 

18:   set.

19: \end{abstract}

20: