设GL(n,P)是数域P上的全体n阶可逆矩阵组成的集合,则通常的矩阵乘法是GL(n,P)上的代数运算,且该运算满足左、右消去律。