Abstract:This paper mainly studies the theory of dynamical systems on compact metrizable groups, with a special focus on extending the maximal entropy theorem and the ergodicity of invariant measure convolution from the isomorphic case to the surjective homomorphism case. It explores in detail the dynamical systems under surjective homomorphisms, especially the variation of measure entropy. Let $G_{2}$ be a compact metric group acting freely on $G_{1}$, and the continuous mapping $T_{2}$ $G_{2}-$commutes with $T_{1}$, where $T_{2}: G_{2} \to G_{2}$ is a surjective homomorphism. If $\mu_{0} \in M(T_{0})$, we prove that when $\mu \in M(T_{1}, \mu_{0})$, the measure entropy $h(T_{1}, \mu_{0}')$ is always greater than or equal to $h(T_{1}, \mu)$; if $\mu_{0}'$ is ergodic with respect to $T_{1}$, $\mu \ne \mu_{0}'$, the Haar measure $m$ on $G_{2}$ is ergodic with respect to $T_{2}$, and $h(T_{1}, \mu_{0}') < \infty$, it can be concluded that the measure entropy $h(T_{1}, \mu_{0}')$ strictly exceeds $h(T_{1}, \mu)$. Finally, this paper also specifically discusses the ergodicity problem of measure convolution. Let $T$ be a surjective homomorphism on $G$. If $(G, T, \mathcal{F}, \mu)$ and $(G, T, \mathcal{F}, \nu)$ are disjoint ergodic dynamical systems, then $\mu * \nu$ is ergodic. Through a proof by contradiction, the study demonstrates that under the condition that $T$ is a surjective homomorphism on $G$, the measure convolution of two disjoint ergodic dynamical systems also maintains ergodicity. These results extend Kenneth R. Berg's findings on the maximal entropy theorem and the ergodicity of measure convolution to the case of surjective homomorphisms.

Classifying Hyperbolic Ergodic Stationary Measures on Compact Complex Surfaces with Large Automorphism Groups

Stationary probability measures on projective spaces 2: the critical case

Ergodic Measures of Geodesic Flows on Compact Lie Groups

Hyperbolicity versus non-hyperbolic ergodic measures inside homoclinic classes

Relative stationary dynamical systems

On a complex-analytic approach to classifying stationary measures on $S^1$ with respect to the countably supported measures on $PSU(1,1)$

Dynamics on Markov surfaces: classification of stationary measures

Dynamical Systems on Compact Metrizable Groups

Ergodic Properties of Invariant Measures for C^1+α Nonuniformly Hyperbolic Systems

Ergodic Properties of Measures with Local Product Structure

Uniformly ergodic probability measures

Expanding measures: Random walks and rigidity on homogeneous spaces

U-Gibbs measure rigidity for partially hyperbolic endomorphisms on surfaces

Stationary measures and random walks on $\tilde{A}_2$-buildings

Infinite stationary measures of measured group actions

Robust ergodic properties in partially hyperbolic dynamics

Heterodimensional cycles of hyperbolic ergodic measures

Non-hyperbolic ergodic measures and horseshoes in partially hyperbolic homoclinic classes

Dimension of Hyperbolic Measures of Random Diffeomorphisms

Ergodic measures with large entropy have long unstable manifolds for $C^\infty$ surface diffeomorphisms

Measure Rigidity for Horospherical Subgroups of Groups Acting on Trees