77ad8f2d1a778760.tex
1: \begin{abstract}
2: If $G$ is a group acting on a set $\Omega$ and $\alpha, \beta \in
3: \Omega$, the digraph whose vertex set is $\Omega$ and whose
4: arc set is the orbit $(\alpha, \beta)^G$ is called an {\em
5: orbital digraph} of $G$. Each orbit of the stabiliser $G_\alpha$
6: acting on $\Omega$ is called a {\it suborbit} of $G$.
7: 
8: A digraph is {\em locally finite} if each vertex is adjacent to at
9: most finitely many other vertices. A locally finite digraph $\Gamma$
10: has more than one end if there exists a finite set of vertices $X$
11: such that the induced digraph $\Gamma \setminus X$ contains at least
12: two infinite connected components; if there exists such a set
13: containing precisely one element, then $\Gamma$ has {\em
14: connectivity one}.
15: 
16: In this paper we show that if $G$ is a primitive permutation group
17: whose suborbits are all finite, possessing an orbital digraph with
18: more than one end, then $G$ has a primitive connectivity-one
19: orbital digraph, and this digraph is essentially unique. Such digraphs
20: resemble trees in many respects, and have been fully characterised
21: in a previous paper by the author.
22: 
23: \end{abstract}
24: