1: \begin{abstract}
2: Let $(G,\mu)$ be a discrete group equipped with a generating
3: probability measure, and let $\Gamma$ be a finite index subgroup of
4: $G$. A $\mu$-random walk on $G$, starting from the identity, returns
5: to $\Gamma$ with probability one. Let $\theta$ be the hitting
6: measure, or the distribution of the position in which the random
7: walk first hits $\Gamma$.
8:
9: We prove that the Furstenberg entropy of a $(G,\mu)$-stationary
10: space, with respect to the induced action of $(\Gamma,\theta)$, is
11: equal to the Furstenberg entropy with respect to the action of
12: $(G,\mu)$, times the index of $\Gamma$ in $G$. The index is shown to
13: be equal to the expected return time to $\Gamma$.
14:
15: As a corollary, when applied to the Furstenberg-Poisson boundary of
16: $(G,\mu)$, we prove that the random walk entropy of
17: $(\Gamma,\theta)$ is equal to the random walk entropy of $(G,\mu)$,
18: times the index of $\Gamma$ in $G$.
19: \end{abstract}
20: