Linear mapping/Eigenvalue zero/Characterization/Fact
< Linear mapping < Eigenvalue zero < Characterization
Let be a field, a -vector space and
Then
In particular, is an eigenvalue of if and only if is not injective.