核为0是什么意思高等代数