We show that, for a large and important class of reversible, one-dimensional cellular
automata, the set of additive invariants exhibits an algebraic structure. More precisely, if f …