Definition
M_3(R) matrix algebra
Catalogue object: M_3(R) matrix algebra; scalar field, operations, and dimension are explicit.
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
The real dimension is , since there are entries with real coordinates each.
Matrix multiplication is associative because the coefficient algebra is associative; distributivity and rebracketing justify the equality of each entry of and .
Size convention
For every size at least two, exhibits nonzero zero divisors. Matrix size is not the dimension of the whole algebra.