環 "r" が可換環、すなわちその乗法が可換律を満たすならば、全行列環m("n", "r")は("n" ＝1でない限り)非可換な "r" 上の単位的結合多元環となる。