Rank inequality for an injection of finite free modules

ID: rank-inequality-for-an-injection-of-finite-free-modules

Over a nonzero commutative ring, an injection implies . If , appending zero coordinates gives an injective endomorphism of with zero determinant; the Cayley--Hamilton theorem and cancellation of that injection eventually force the identity to vanish.

New to topics? Read the docs here!