  Cellular automata are a famous model of computation, yet it is still a
challenging task to assess the computational capacity of a given automaton;
especially when it comes to showing negative results. In this paper, we focus
on studying this problem via the notion of CA relative simulation. We say that
automaton A is simulated by B if each space-time diagram of A can be, after
suitable transformations, reproduced by B.
  We study affine automata - i.e., automata whose local rules are affine
mappings of vector spaces. This broad class contains the well-studied cases of
additive automata. The main result of this paper shows that (almost) every
automaton affine over a finite field F_p can only simulate affine automata over
F_p. We discuss how this general result implies, and widely surpasses,
limitations of additive automata previously proved in the literature.
  We provide a formalization of the simulation notions into algebraic language
and discuss how this opens a new path to showing negative results about the
computational power of cellular automata using deeper algebraic theorems.
