ormula_39-线性变换可以相互复合，因此formula_3维的formula_39-矩阵环能够与formula_39-自同态环formula_267同构。
矩阵群.群是比环更宽泛的代数结构，只需要集合配备一个满足结合律的二元运算，即将两个群内元素映射到群内一元素的运算。矩阵群是指矩阵关于矩阵乘法组成的群。显然，只有方块矩阵才能构成乘法群。所有formula_3维的可逆方阵构成一个群，称为formula_3阶一般线性群。由于群内每个元素都必须是可逆的，任意的矩阵群都必然是一般线