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 provesThe 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!