离散数学中关于环的概念的一个问题

矩阵环(注意,包括不可逆的矩阵)就是独异点.0矩阵就是θ.