Rational matrix algebra M_n(Q)

For an integer $n\ge1$ , the rational matrix algebra $M_n(\mathbb Q)$ is the vector space of $n\times n$ matrices with rational entries, with entrywise addition and scalar multiplication, and the associative product

(AB)_{ij}=\sum_{r=1}^{n} A_{ir}B_{rj}.

Its multiplicative unit is the identity matrix $I_n$ .

Basis and dimensions

The matrix units $E_{ij}$ form a rational basis of size $n^2$ , with $E_{ij}E_{rs}=\delta_{jr}E_{is}$ . Thus its rational dimension is $n^2$ . The center consists of scalar matrices.

Endomorphism interpretation

After choosing a basis of $\mathbb Q^n$ , this algebra identifies with $\operatorname{End}_{\mathbb Q}(\mathbb Q^n)$ , with matrix product corresponding to composition. Its units form $\mathrm{GL}_n(\mathbb Q)$ . These are units of this algebra; an automorphism of the matrix algebra is a different sort of map.

Low-dimensional boundary

For size one, scalar matrices give $M_1(\mathbb Q)\cong\mathbb Q$ as unital rational algebras. For every size at least two, $E_{11}$ and $E_{22}$ are nonzero with zero product, so the matrix algebra is not a division algebra.