Minimal dynamical systems on a discrete valuation domain (Q1034170): Difference between revisions

Let \(E\) be an infinite subset of a discrete valuation domain \(V\) with finite residue field. \(V\) is a \textit{Legendre} set if for every integer \(s\geq0\), every non-empty intersection of \(E\) with a ball of radius \(q^{-s}\) contains the same number of balls of radius \(q^{-(s+1)}\). This paper looks into the isometric dynamic systems on a Legendre set. The paper shows that the dynamic system \((E, \varphi)\), where \(\varphi\) is an isometry on a Legendre set and \(v\) is the valuation on the quotient field, is minimal if and only if \[ \forall n\in{\mathbb N}, \forall x\in E\quad v(\varphi^n(x)-x)=v_E(n). \] With the structure sequence of the Legendre set, the paper proves that for any minimal dynamic system \(\varphi\) defined on a complete Legendre set \(E\), \((E, \varphi)\) is isometrically conjugate to the adding machine \(({\mathbb Z}_{(p_s)}, \tau)\). In the study of affine maps on a general discrete valuation domain \(V\), the paper proves that all minimal affine maps are indeed isomorphic to \({\mathbb Z}_p\), where \(p\not=2\). Moreover, if \(V\cong {\mathbb Z}_p\), then the dynamic system is minimal if and only if the class of \(\alpha\in{\mathbb Z}/p^2{\mathbb Z}_p\) is a generator of the multiplicative cyclic group \({\mathbb Z}/p^2{\mathbb Z}_p\)