Invariant measures for bipermutative cellular automata

A `right-sided, nearest neighbour cellular automaton' (RNNCA) is a continuous transformation F:A^Z-->A^Z determined by a local rule f:A^{0,1}-->A so that, for any a in A^Z and any z in Z, F(a)_z = f(a_{z},a_{z+1}) . We say that F is `bipermutative' if, for any choice of a in A, the map g:A-->A defined by g(b) = f(a,b) is bijective, and also, for any choice of b in A, the map h:A-->A defined by h(a)=f(a,b) is bijective. We characterize the invariant measures of bipermutative RNNCA. First we introduce the equivalent notion of a `quasigroup CA', to expedite the construction of examples. Then we characterize F-invariant measures when A is a (nonabelian) group, and f(a,b) = a*b. Then we show that, if F is any bipermutative RNNCA, and mu is F-invariant, then F must be mu-almost everywhere K-to-1, for some constant K . We use this to characterize invariant measures when A^Z is a `group shift' and F is an `endomorphic CA'.