素理想 线性表示 解几 素环 幂零元 拟环 向量共面 题目的 试题 K素 向量位 蕴涵式