Uniformly distributed sequences of $p$-adic integers

The paper describes ergodic (with respect to the Haar measure) functions in the class of all functions, which are defined on (and take values in) the ring $Z_p$ of $p$-adic integers and which satisfy (at least, locally) the Lipschitz condition with coefficient one. The equiprobable (in particular, measure-preserving) functions of this class are described. In some cases (and especially for $p=2$) the descriptions are given by explicit formulas. Some of the results may be viewed as descriptions of ergodic isometric dynamical systems on the $p$-adic unit disk. The study is motivated by the problem of pseudorandom number generation for computer simulation and cryptography. From this view the paper describes nonlinear congruential pseudorandom generators modulo $m$ which produce strictly periodic uniformly distributed sequences modulo $m$ with maximal possible period length (that is, exactly $m$). Both the state change function and the output function of these generators can be, for example, meromorphic on $Z_p$ functions (in particular, polynomials with rational, but not necessarily integer coefficients) or compositions of arithmetical operations (like addition, multiplication, exponentiation, raising to integer powers, including negative ones) with standard computer operations such as bitwise logical operations (for example, $\mathtt{XOR}$, $\mathtt{OR}$, $\mathtt{AND}$, $\mathtt{NEG}$). The linear complexity of the produced sequences is also studied.