1: \begin{abstract}

2:   We consider the permutation group algebra defined by Cameron and

3:   show that if the permutation group has no finite orbits, then no

4:   homogeneous element of degree one is a zero-divisor of the algebra.

5:   We proceed to make a conjecture which would show that the algebra is

6:   an integral domain if, in addition, the group is oligomorphic.  We

7:   go on to show that this conjecture is true in certain special cases,

8:   including those of the form $H\Wr S$ and $H\Wr A$, and show that in

9:   the oligormorphic case, the algebras corresponding to these special

10:   groups are polynomial algebras.  In the $H\Wr A$ case, the algebra

11:   is related to the shuffle algebra of free Lie algebra theory.

12:   We finish by considering some integer sequences which arise from

13:   certain of these groups.

14: \end{abstract}

15: