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.