In this paper we introduce the concept of an infinite loop mod $n$ and discuss the properties that these objects have. In particular, we show that a real number $\alpha$ is a counterexample to the $p$-adic Littlewood Conjecture if and only if there exists some $m\in\mathbb{ N}$ such that $p^k\alpha$ is an infinite loop mod $p^m$, for all $k\in\mathbb{ N}$. This paper is the first of a two part series, which investigate the link between infinite loops and the $p$-adic Littlewood Conjecture.
Categories: math.NT math.GT