The connection between topological and algebraic entropy (Q444727)

From MaRDI portal
scientific article
Language Label Description Also known as
English
The connection between topological and algebraic entropy
scientific article

    Statements

    The connection between topological and algebraic entropy (English)
    0 references
    0 references
    0 references
    16 August 2012
    0 references
    Let \(G\) be an Abelian group and \(\phi :G\to G\) an endomorphism. If \(G\) is either torsion or is countable and \(\phi\) is an automorphism, then the algebraic entropy \(h_{alg}(\phi)\) of \(\phi\) coincides with the topological entropy \(h_{top}(\widehat{\phi})\) of the dual endomorphism \(\widehat{\phi}\) of the (compact) dual group \(\widehat{G}\) (see respectively, \textit{M.~D.~Weiss} [Math. Syst. Theory 8(1974), 243--248 (1975; Zbl 0298.28014)], and \textit{J.~Peters} [Adv. Math. 33, 1--13 (1979; Zbl 0421.28019)]). The authors generalize these results to all endomorphisms of all Abelian groups proving the next Bridge Theorem: If \(G\) is an Abelian group and \(\phi :G\to G\) is an endomorphism, then \(h_{alg}(\phi)=h_{top}(\widehat{\phi})\). Making use of the Bridge Theorem, they deduce from the Uniqueness Theorem for the algebraic entropy a Uniqueness Theorem for the topological entropy in the category of compact Abelian groups and continuous endomorphisms. As an application a relation is given between the topological Pinsker factor and the algebraic Pinsker subgroup. As a consequence of the Bridge Theorem, the authors prove that for a continuous automorphism \(\psi\) of a compact Abelian group \(K\) the following assertions are equivalent: (1) \(\psi\) is ergodic, (2) \(\psi\) has completely positive topological entropy, (3) the dual automorphism \(\widehat{\psi}\) is algebraically ergodic, (4) \(\widehat{\psi}\) has completely positive algebraic entropy.
    0 references
    topological entropy
    0 references
    algebraic entropy
    0 references
    Pontryagin duality
    0 references
    compact abelian group
    0 references
    Pinsker factor
    0 references
    Pinsker subgroup
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references