Let RR be a and n1n\ge 1. The matrix ring Mn(R)M_n(R) consists of the n×nn\times n matrices over RR, with entrywise addition and multiplication

(AB)ij=k=1nAikBkj.(AB)_{ij}=\sum_{k=1}^n A_{ik}B_{kj}.
Remarks

If RR is , then Mn(R)M_n(R) is unital with identity matrix InI_n. Even when RR is commutative, Mn(R)M_n(R) is generally noncommutative for n>1n>1. If DD is a division ring, then Mn(D)M_n(D) is , and its consists of scalar matrices with entries in Z(D)Z(D).

Examples
  • M2(Z)M_2(\mathbb Z) is a noncommutative ring with identity.
  • For a prime pp, the ring M3(Fp)M_3(\mathbb F_p) has p9p^9 elements.
  • The ring M1(R)M_1(R) is canonically isomorphic to RR.