判断用途原始矩阵方程 XY+YX=0 究竟在哪里进入模的验证?+↗矩阵方程进入验证计算的最后一步,在那里评估表达式 (XY+YX)v(XY+YX)v(XY+YX)v。因为假设 XXX 和 YYY 求解 XY+YX=0XY+YX=0XY+YX=0,该表达式等于零向量,确认理想生成元平凡地作用。适用条件:X,Y∈Mn×n(C)X,Y \in M_{n\times n}(\mathbb{C})X,Y∈Mn×n(C)。;XY+YX=0XY+YX=0XY+YX=0。;验证将 (xy+yx+I)v(xy+yx+I)v(xy+yx+I)v 展开为 (XY+YX)v(XY+YX)v(XY+YX)v。YouTube模7:28 – 8:00原站看这一段 ↗矩阵方程进入验证计算的最后一步,在那里评估表达式 (XY+YX)v(XY+YX)v(XY+YX)v。因为假设 XXX 和 YYY 求解 XY+YX=0XY+YX=0XY+YX=0,该表达式等于零向量,确认理想生成元平凡地作用。适用条件:X,Y∈Mn×n(C)X,Y \in M_{n\times n}(\mathbb{C})X,Y∈Mn×n(C)。;XY+YX=0XY+YX=0XY+YX=0。;验证将 (xy+yx+I)v(xy+yx+I)v(xy+yx+I)v 展开为 (XY+YX)v(XY+YX)v(XY+YX)v。阅读完整解释 →观看这一段 →YouTube模7:28 – 8:00原站看这一段 ↗
理解原因为什么在称 CnC^nCn 为 R-模之前必须验证 (xy+yx+I)v=0(xy+yx+I)v=0(xy+yx+I)v=0?+↗必须验证这一点以确保标量乘法是良定义的。因为 xy+yxxy+yxxy+yx 在理想 III 中,它的陪集是 RRR 中的零元素。适用条件:R=C⟨x,y⟩/⟨xy+yx⟩R = \mathbb{C}\langle x,y\rangle / \langle xy+yx\rangleR=C⟨x,y⟩/⟨xy+yx⟩。;提议的作用是 (x+I)v=Xv(x+I)v=Xv(x+I)v=Xv 和 (y+I)v=Yv(y+I)v=Yv(y+I)v=Yv。;X,YX,YX,Y 满足 XY+YX=0XY+YX=0XY+YX=0。YouTube模6:42 – 7:28原站看这一段 ↗必须验证这一点以确保标量乘法是良定义的。因为 xy+yxxy+yxxy+yx 在理想 III 中,它的陪集是 RRR 中的零元素。适用条件:R=C⟨x,y⟩/⟨xy+yx⟩R = \mathbb{C}\langle x,y\rangle / \langle xy+yx\rangleR=C⟨x,y⟩/⟨xy+yx⟩。;提议的作用是 (x+I)v=Xv(x+I)v=Xv(x+I)v=Xv 和 (y+I)v=Yv(y+I)v=Yv(y+I)v=Yv。;X,YX,YX,Y 满足 XY+YX=0XY+YX=0XY+YX=0。阅读完整解释 →观看这一段 →YouTube模6:42 – 7:28原站看这一段 ↗