The Pinsker subgroup of an algebraic flow

DOI10.1016/J.JPAA.2011.06.018MaRDI QIDQ659872zbMATH OpenOpenAlexFDO

Authors Dikran Dikranjan, Anna Giordano Bruno

Publication date 24 January 2012

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1006.5120

algebraic entropy algebraic flow Pinsker subgroup

Entropy and other invariants (28D20) Algebraic ergodic theory, cocycles, orbit equivalence, ergodic equivalence relations (37A20) Topological entropy (37B40)

Abstract: The algebraic entropy h, defined for endomorphisms f of abelian groups G, measures the growth of the trajectories of non-empty finite subsets F of G with respect to f. We show that this growth can be either polynomial or exponential. The greatest f-invariant subgroup of G where this growth is polynomial coincides with the greatest f-invariant subgroup P(G,f) of G (named Pinsker subgroup of f) such that h(f|_P(G,f))=0. We obtain also an alternative characterization of P(G,f) from the point of view of the quasi-periodic points of f. This gives the following application in ergodic theory: for every continuous injective endomorphism g of a compact abelian group K there exists a largest g-invariant closed subgroup N of K such that g|_N is ergodic; furthermore, the induced endomorphism g' of the quotient K/N has zero topological entropy.

Review text

Let \(\phi\) be an endomorphism of an abelian group \(G\) (giving rise to an algebraic flow \((G,\phi)\)). If \(F\) is a non-empty subset of \(G\) and \(n\in\mathbb{N}\), then set \(T_n(\phi, F)= F+ \phi(F)+\cdots+ \phi^{n-1}(F)\) and \(H(\phi,F)= \lim_{n\to\infty} {\log|T_n(\phi,F)|\over n}\) is then the algebraic entropy of \(\phi\) with respect to \(F\). This limit is known to exist. The algebraic entropy of \(\phi\) is then defined to be \[ h(\phi)= \sup\{H(\phi, F): F\subseteq G\text{ non-empty and finite}\}. \] This definition extends the one due to Peters for automorphisms and also that originally due to \textit{R. L. Adler}, \textit{A. G. Konheim} and \textit{M. H. McAndrew} [Trans. Am. Math. Soc. 114, 309--319 (1965; Zbl 0127.13102)]. The algebraic entropy measures the growth of trajectories of non-empty finite subsets \(F\) of \(G\) with respect to \(\phi\), and in this paper it is shown that for every algebraic flow \((G,\phi)\) this growth is either exponential or polynomial with respect to any fixed non-empty finite subset \(F\) of \(G\). The Pinsker subgroup of \(G\) with respect to \(\phi\) is the greatest \(\phi\)-invariant subgroup \({\mathbf P}(G,\phi)\) of \(G\) such that \(h(\phi|_{{\mathbf P}(G,\phi)})= 0\). The main theorem gives an alternative description of the Pinsker subgroup from the point of view of the quasi-periodic points of \(\phi\). In particular, it is shown that \(\text{Pol}(G,\phi)= {\mathbf P}(G,\phi)\) where \(\text{Pol}(G,\phi)\) is the greatest \(\phi\)-invariant subgroup of \(G\) where the restriction of \(\phi\) has polynomial growth.

Recommendations

Cites work

Cited in

(24)

This page was built for publication: The Pinsker subgroup of an algebraic flow

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q659872)