The following pages link to A linear map is injective if and only if the kernel contains only the zero vector: