In this paper we study G-arc-transitive graphs Δ where the
permutation group GxΔ(x) induced by the stabiliser Gx of the
vertex x on the neighbourhood Δ(x) satisfies the two conditions given
in the introduction. We show that for such a G-arc-transitive graph Δ,
if (x,y) is an arc of Δ, then the subgroup Gx,y[1] of G
fixing pointwise Δ(x) and Δ(y) is a p-group for some prime p.
Next we prove that every G-locally primitive (respectively quasiprimitive,
semiprimitive) graph satisfies our two local hypotheses. Thus this provides a
new Thompson-Wielandt-like theorem for a very large class of arc-transitive
graphs.
Furthermore, we give various families of G-arc-transitive graphs where our
two local conditions do not apply and where Gx,y[1] has arbitrarily
large composition factors