>M_n(R)はその加法に関して可換群ですけど?
その乗法も入れると環である。
R^nはその部分環でもある。