Definition
Rational matrix algebra M_1(Q)
A rational matrix algebra with fixed size and ordinary matrix multiplication.
The rational matrix algebra is the vector space of matrices with rational entries, with entrywise addition and scalar multiplication, and the associative product
Its multiplicative unit is the identity matrix .
Basis and dimensions
The matrix units form a rational basis of size , with . Thus its rational dimension is 1. The center consists of scalar matrices.
Endomorphism interpretation
After choosing a basis of , this algebra identifies with , with matrix product corresponding to composition. Its units form . 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 as unital rational algebras. For every size at least two, and are nonzero with zero product, so the matrix algebra is not a division algebra.