Definition
M_1(S) matrix algebra
Catalogue object: M_1(S) matrix algebra; scalar field, operations, and dimension are explicit.
consists of -by- matrices with entries in S, 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.
Two-factor matrix products are unambiguous, but multiplication is not associative: the coefficient algebra embeds in a diagonal corner, so its nonzero associators survive. No associative-algebra or ring view is assigned. Symmetrizing this product must not be assumed to give a Jordan algebra.
Size convention
For size one, identifies this named matrix construction with the coefficient algebra, with the same product and scalar field.