1: \begin{abstract}

2: 

3: Let $C$ be a non-empty finite set, and 

4: $\Gamma$ a subgroup of the symmetric group $S(C)$.

5: Given a bijection $f:A \cross C \to B \cross C$,

6: the problem of \emph{$\Gamma$-equivariant division} is to 

7: find a \emph{quotient bijection} $h:A \to B$

8: respecting whatever symmetries $f$ may have under 

9: the action of $S(A) \cross S(B) \cross \Gamma$.

10: Say that $\Gamma$ is \emph{fully cancelling} if this is possible

11: for any $f$,

12: and \emph{finitely cancelling} if it is possible providing $A,B$ are finite.

13: Feldman and Propp showed that

14: a permutation group is finitely cancelling

15: just if it has a globally fixed point.

16: We show here that

17: a permutation group is fully cancelling

18: just if it is trivial.

19: This sheds light on the fact that all known division algorithms that eschew

20: the Axiom of Choice depend on fixing an ordering for the elements of $C$.

21: \end{abstract}

22: