 Determinant trick

If a finitely generated faithful module $M$ over a commutative ring $R$ satisfies $xM\subseteq IM$, the determinant of a matrix presenting these relations gives a monic equationIn particular, an element of an extension field that preserves a nonzero finitely generated ideal is integral over $R$.