There are some well know formulas of Abramov about derived systems.

Firstly let $(X,\mu,f)$ be a probability preserving system and $A\subset X$ is measurable such that $\bigcup_{n\ge0}f^nA=X$. Let $\mu_A$ be conditional probability of $(\mu,A)$ and $f_A:A\to A$ be the first return map with respect to $A$, that is, $f_A(x)=f^{k(x)}x$ where $k(x)=\inf[k\ge1: f^kx\in A]$ (well defined up to a null set). Then Abramov proved that

$h(f_A,\mu_A)\cdot\mu(A)=h(f,\mu)$.

Secondly let $(X,\mu,f)$ be a probability preserving system and $r:X\to (c,\infty)$ be a roof function with $c>0$ and $\int rd\mu<\infty$. Then consider the suspension space $X_r=[(x,y):x\in X,0\le y\le r(x)]/\sim$ where $(x,r(x))\sim(fx,0)$, the suspension measure $\tilde{\mu}$ given by
$\tilde{\mu}(A)=\int_X |A_x|d\mu(x)/\int_X rd\mu$, and the suspension flow
$\tilde{f}_t:X_r\to X_r,[x,y]\mapsto[x,y+t]$. Abramov also proved that

$h(\tilde{f},\tilde{\mu})\cdot\int_X rd\mu=h(f,\mu)$.

I think there are direct/intuitive proofs of these two entropy formulas. Any explanation will be great.

Thanks~

For example the first can be derived from the discrete version of the second one:

The first return time $k:A\to\mathbb{N}$ can be viewed as a discrete roof function on $A$. Then suspension is $A_k=[(x,k):x\in A,k=0,1,\cdots, k(x)]/\sim$, which is isomorphic to $X$. And the map $A_k\to A_k,[x,k]\to[x,k+1]$ is isomorphic to $T$ on $X$ (note that $\int_A k(x)d\mu(x)=1$, or equally $\int k(x)d\mu_A(x)=1/\mu(A)$). By identifying $A$ with $A\times[0]\subset A_k$, we see that

$h(f,\mu)/\mu(A)=h(f_A,\mu_A)$.

Still I have no idea about the proof about the entropy of suspension flows~

Finally I understood Abramov's proof (indeed his proof is very clear). Pick $t\in(0,c)$ (fixed from now on) and consider the subset $A=[(x,s):0\le s < t]\subset X_r$. Then the first return map $\tilde{f}_A$ of $\tilde{f}_t$ with respect to $A$ is given by $(x,s)\mapsto(fx,s-r(x))$, where $s-r(x)\in\mathbb{T}_t$ (Note that we can view $A=X\times\mathbb{T}_t$ and $\tilde{f}_A$ as a fiber extension of $f$).

He showed that $h(\tilde{f}_A,\tilde{\mu}_A)=h(f,\mu)$ (since the extension is isometric on the fiber).

As the first return map of $(X_r,\tilde{f}_t)$, $h(\tilde{f}_A,\tilde{\mu}_A)\cdot\tilde{\mu}(A)=h(\tilde{f}_t,\tilde{\mu})$.

Plugging in $\tilde{\mu}(A)=\frac{t}{\int rd\mu}$, he got the desire formula $h(\tilde{f}_t,\tilde{\mu})=h(f,\mu)\cdot\frac{t}{\int rd\mu}$.