1: \begin{abstract} If ${\mathbb{X}}$ is a discrete abelian group and ${\mathcal{ A}}$ a

2: finite set, then a cellular automaton (CA) is a continuous map

3: ${\mathfrak{ F}}:{\mathcal{ A}}^{\mathbb{X}}{{\longrightarrow}}{\mathcal{ A}}^{\mathbb{X}}$ that commutes with all

4: ${\mathbb{X}}$-shifts.  If $\phi:{\mathcal{ A}}{{\longrightarrow}}{\mathbb{R}}$, then, for any

5: ${\mathbf{ a}}\in{\mathcal{ A}}^{\mathbb{X}}$, we define

6: $\Sigma\phi({\mathbf{ a}})=\sum_{{\mathsf{ x}}\in{\mathbb{X}}}\phi(a_{\mathsf{ x}})$ (if finite); \ $\phi$

7: is {\em conserved} by ${\mathfrak{ F}}$ if $\Sigma\phi$ is constant under the

8: action of ${\mathfrak{ F}}$.

9: 

10:   We characterize such {\em conservation laws} in several ways,

11: deriving both theoretical consequences and practical tests, and

12: provide a method for constructing all one-dimensional CA exhibiting a

13: given conservation law.

14: \end{abstract}

15: