Injections between successive kernel quotients

ID: injections-between-successive-kernel-quotients

For a linear map , set and . Since and , the rule defines a linear map . It is injective: if , then , so . In finite dimension, this proves
The linear map need not be surjective: for on a nonzero vector space, its instance is . For a nilpotent linear map, these dimensions are the increments in the kernel dimensions of powers of a nilpotent map.

New to topics? Read the docs here!