Algebraic integer module criterion
= 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.
= 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.