1: \begin{abstract}
2: We prove that
3: on any two-dimensional lattice of qudits of a prime dimension,
4: every translation invariant Pauli stabilizer group
5: with local generators and with code distance being the linear system size,
6: is decomposed by a Clifford circuit of constant depth
7: into $\mathcal T^{\oplus n} \oplus \mathcal Z$ for some integer $n \ge 0$,
8: where $\mathcal T$ is the stabilizer group of the toric code (abelian discrete gauge theory)
9: on the square lattice
10: and $\mathcal Z$ is a stabilizer group whose code space
11: encodes zero logical qudit in any finite periodic lattice.
12: The direct summand $\mathcal Z$ is mapped to the trivial stabilizer group for a product state
13: under a locality-preserving automorphism of the complex operator algebra
14: on the lattice which maps every Pauli matrix
15: to a product of Pauli matrices (Clifford QCA).
16: In other words, up to Clifford QCA the integer $n$
17: is the complete invariant of such a stabilizer group.
18: Previously, the same conclusion was obtained
19: by assuming nonchirality for qubit codes
20: or the Calderbank-Shor-Steane structure for prime qudit codes;
21: we do not assume any of these.
22: \end{abstract}
23: