Definition
M_n(R) matrix algebra
Catalogue object: M_n(R) matrix algebra; scalar field, operations, and dimension are explicit.
For each integer , consists of -by- matrices with entries in R, with entrywise addition and scalar multiplication and product
Its unit is . The scalar field for this catalogue object is .
Dimension and multiplication
Each of the entries contributes real coordinates, so the real dimension is .
Matrix multiplication is associative because the coefficient algebra is associative; distributivity and rebracketing justify the equality of each entry of and .
Size convention
The entries for sizes one, two, and three are separate catalogue objects; this record is the parameterized family. Matrix size is not the dimension of the algebra.