1: \begin{abstract} 

2: We show that the outer automorphism group of a 

3: polycyclic-by-finite group is an arithmetic group. 

4: This result follows from a detailed structural

5: analysis of the automorphism groups of such groups.

6: We use an extended version of the theory of the algebraic 

7: hull functor initiated by Mostow.

8: We thus make applicable refined methods from the theory of algebraic 

9: and arithmetic groups.

10: We also construct examples of polycyclic-by-finite 

11: groups which have an automorphism group which

12: does not contain an arithmetic group of finite index.

13: Finally we discuss applications of our results to the groups of homotopy

14: self-equivalences of $\KGone$-spaces and  obtain an extension 

15: of arithmeticity results of Sullivan in rational homotopy theory.

16: \newline

17: \hrule 

18: 

19: \hspace{1cm} \\

20: 

21: \noindent 

22: 2000 Mathematics Subject Classification: Primary 20F28, 20G30; \\

23: Secondary 11F06, 14L27, 20F16,  20F34, 22E40, 55P10 

24: \end{abstract}

25: