Homogeneous Markov chains with general state space

I found in the book Markov Chains by Revuz the following definition of a Markov chain. In the following $(X_n)_{n \in \mathbb{N}}$ is a sequence of random variables on a probability space $(\Omega,\mathcal{F},P_0)$ and the range is a measurable space $(E,\Sigma)$, and $\mathcal{F}_n^0 =\sigma(X_m , m \leq n)$

Definition.1 $(X_n)_{n \in \mathbb{N}}$ is a Markov chain if for every $B \in \Sigma$ we have $$P_0 [ X_m \in A \mid \mathcal{F}_n^0 ] = P_0[ X_m \in A \mid X_n]$$ for all $m\geq n$

For a transition probability $P : E \times \Sigma \to [0,1]$, i.e $x \to p(x,A)$ is measurable for all $A\in \Sigma$ and $A\to p(x,A)$ is a probability measure for all $x\in E$ he defines a family of transition probabilities $(P_n)_{n \geq 0}$ by $$P_{n} (x,A) = \int_E p(y,A) \, P_{n-1}(x,dy)$$ and $$P_0 := P.$$ Then he defines a homogeneous Markov chain by

Definition 2. $(X_n)_{n \in \mathbb{N}}$ is called a homogeneous Markov chain with respect to transition probability $P$ if $$P_0[X_m \in A \mid \mathcal{F}_n^o] = P_{n-m}(x,\{X_m \in A\}).$$

I would like to know if $(X_n)$ is a Markov chain with $$P_0[X_n \in B \mid X_0 \in A] = P_0[X_{n+m} \in B \mid X_m \in A]$$ for all $n,m\geq 0$ and $A,B \in \Sigma$, does this imply that one can find a transition probability $P$ such that $(X_n)$ is a homogeneous Markov chain with respect to $P$?

Thankfully, YES :)

You can very simply define the needed probability transition by :

$$P : x, \mathcal{A} \mapsto P_0[X_1 \in \mathcal{A} | X_0=x]$$

You can then deduce from the definition of the family $(P_n)$ that :

$$P_n ( x, \mathcal{A} ) = P_0[X_{n+1} \in \mathcal{A} | X_0=x]$$

!

Then verify that your Markov chain satisfies the condition to be homogeneous with respect to $(P_n)$, by using the definition of a Markov chain and the property.