1: \begin{abstract}

2: We consider the group structure of quantum cellular automata (QCA) modulo circuits 

3: and show that it is abelian even without assuming the presence of ancillas, 

4: at least for most reasonable choices of control space; 

5: this is a corollary of a general method of ancilla removal.

6: Further, we show how to define a group of QCA that is well-defined without needing to use families, 

7: by showing how to construct a coherent family containing an arbitrary finite QCA;

8: the coherent family consists of QCA on progressively finer systems of qudits

9: where any two members are related by a shallow quantum circuit.

10: This construction applied to translation invariant QCA shows that

11: all translation invariant QCA in three dimensions 

12: and all translation invariant Clifford QCA in any dimension

13: are coherent.

14: \end{abstract}

15: