Matrix multiplication inherits most of scalar arithmetic and breaks four rules that are deeply ingrained from it. Every entry states its condition; every failure exhibits the pair that breaks it.
Lets you drop parentheses entirely in a chain of products — the reason matrix powers are well defined without bracketing.
Left and right distribution are separate statements and each must be checked, precisely because the product does not commute.
The one place commutativity is guaranteed — commutes with everything its shape allows.
The most consequential failure in the subject. It is why the transpose reverses order and why similarity rather than equality is the working notion of "same transformation".
Matrices are not an integral domain. Two nonzero matrices can annihilate each other — which is what a nontrivial null space means at the level of the whole product.
Every row computes and every row gives the same answer. What differs is the unit being assembled — a scalar, a column, a row, or a whole rank-one matrix — and each unit makes a different fact obvious.