Product Markov chain (source code)

= Product Markov chain

Independent Markov chains with transition matrices $P$ and $Q$ form a product chain with transition matrix $P\otimes Q$. If their stationary distributions are $\pi$ and $\rho$, the product distribution $\pi\otimes\rho$ is stationary.