Multiplicatively closed Markov models must form Lie algebras

We prove a result which makes explicit the requirement that a multiplicatively-closed Markov model must form a Lie algebra