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!