Algebraic entropy on strongly compactly covered groups (Q2312450)

The authors consider the algebraic entropy of continuous endomorphisms on what they call strongly compactly covered groups; these are topological groups in which every compact set is contained in some compact open normal subgroup. The entropy is defined as \(h_{\mathrm{alg}}(\phi)=\sup_U H_{\mathrm{alg}}(\phi,U)\), where \(U\) varies over the compact neighbourhoods of the neutral element. The quantity \(H_{\mathrm{alg}}(\phi,U)\) is defined as \[ \limsup_{n\to\infty}\frac{\log\mu(T_n(\phi,U))}{n} \] where \(\mu\) is (some) Haar measure and \(T_n(\phi,U)=U\cdot\phi[U]\cdot\cdots\cdot\phi^{n-1}[U]\). The authors provide basic properties of this invariant, a limit-free formula, equality with the topological entropy of the dual endomorphism and an addition theorem for coordinate-wise products of endomorphisms.