1: \begin{abstract}

2: Geometrical stability theory is a powerful set of model-theoretic

3: tools that can lead to structural results on models of a simple

4: first-order theory. Typical results offer a characterization of

5: the groups definable in a model of the theory. The work is carried

6: out in a universal domain of the theory (a saturated model) in

7: which the Stone space topology on ultrafilters of definable

8: relations is compact. Here we operate in the more general setting

9: of  homogeneous models, which typically have noncompact Stone

10: topologies. A structure $M$ equipped with a class of finitary

11: relations $\cR$ is \emph{strongly $\lambda-$homogeneous} if orbits

12: under automorphisms of $(M,\cR)$ have finite character in the

13: following sense: Given $\alpha$ an ordinal $<\lambda\leq|M|$ and

14: sequences $\aa=\{\,a_i:\:i<\alpha\,\}$,

15: $\bb=\{\,b_i:\:i<\alpha\,\}$ from $M$,  if

16: $(a_{i_1},\dots,a_{i_n})$ and $(b_{i_1},\dots,b_{i_n})$ have the

17: same orbit, for all $n$ and $i_1<\dots<i_n<\alpha$, then

18: $f(\aa)=\bb$ for some automorphism $f$ of $(M,\cR)$. In this paper

19: strongly $\lambda-$homogeneous models $(M,\cR)$ in which the

20: elements of $\cR$ induce a symmetric and transitive notion of

21: independence with bounded character are studied. This notion of

22: independence, defined using a combinatorial condition called

23: ``dividing'', agrees with forking independence when $(M,\cR)$ is

24: saturated. The concept central to the development of geometrical

25: stability theory for saturated structures, namely the canonical

26: base, is also shown to exist in this setting. These results

27: broaden the scope of the methods of geometrical stability theory.

28: \end{abstract}

29: