1: \begin{abstract}

2: Several structural results about permutation groups of finite rank definable in differentially closed fields of characteristic zero (and other similar theories) are obtained.

3: In particular, it is shown that every finite rank definably primitive permutation group is definably isomorphic to an algebraic permutation group living in the constants.

4: Applications include the verification, in differentially closed fields, of the finite Morley rank permutation group conjectures of Borovik-Deloro and Borovik-Cherlin.

5: Applying the results to binding groups for internality to the constants, it is deduced that if complete types $p$ and $q$ are of rank $m$ and $n$, respectively, and are nonorthogonal, then the $(m+3)$rd Morley power of $p$ is not weakly orthogonal to the $(n+3)$rd Morley power of $q$.

6: An application to transcendence of generic solutions of pairs of algebraic differential equations is given.

7: \end{abstract}

8: