Linear mapping/Kernel/Injectivity criterion/Section