 Algebraic integer module criterion

An element $x$ is integral over $\mathbb{Z}$ exactly when it acts stably on some faithful nonzero finitely generated $\mathbb{Z}$-module containing one.