昨天清明,按照《数学手册》465页的定义,试图证明多元向量对于多元向量乘法是群(封闭,结合,恒等元,逆元), http://blog.sciencenet.cn/blog-333331-676833.html 下面提出证明多元向量是乘法群的另一途径,更准确地说,一个推论: 已知:(定理)一切元在数域 F 中的 n 阶可逆矩阵对于矩阵的乘法组成一个群。 《数学手册》 465 页例 3 。 求证:(推论)多元向量对于多元向量的乘法组成一个群。 证明: 因为,对角矩阵是可逆矩阵。 所以,一切元在数域 F 中的 n 阶对角矩阵对于矩阵的乘法组成一个群。 因为,对角矩阵相当于多元向量, 又因为,对角矩阵的乘法相当于多元向量的乘法,对应分量相乘。 所以,一切元在数域 F 中的(非零实数) m 元向量对于多元向量的乘法组成一个群。 不知成立否。请博友批评指正。