高等代数的"核空间"到底有什么性质和作用?