1: \begin{abstract} Recursive permutations whose cycles are the classes of a

2: decidable equivalence relation are studied; the set of these permutations is

3: called $\Perm$, the group of all recursive permutations $\G$. Multiple

4: equivalent computable representations of decidable equivalence relations are

5: provided. $\G$-conjugacy in $\Perm$ is characterised by computable isomorphy

6: of cycle equivalence relations. This result parallels the equivalence of

7: cycle type equality and conjugacy in the full symmetric group of the natural

8: numbers.

9: 

10: Conditions are presented for a permutation $f \in \G$ to be in $\Perm$ and

11: for a decidable equivalence relation to appear as the cycle relation of a

12: member of $\G$. In particular, two normal forms for the cycle structure of

13: permutations are defined and it is shown that conjugacy to a permutation in

14: the first normal form is equivalent to membership in $\Perm$. $\Perm$ is

15: further characterised as the set of maximal permutations in a family of

16: preordered subsets of automorphism groups of decidable equivalences.

17: 

18: Conjugacy to a permutation in the second normal form corresponds to

19: decidable cycles plus decidable cycle finiteness problem. Cycle decidability

20: and cycle finiteness are both shown to have the maximal one-one degree of

21: the Halting Problem. Cycle finiteness is used to prove that conjugacy in

22: $\Perm$ cannot be decided and that it is impossible to compute cycle

23: deciders for products of members of $\Perm$ and finitary permutations. It

24: is also shown that $\Perm$ is not recursively enumerable and that it is not

25: a group.

26: \end{abstract}

27: