Matrix multiplication is always commutative: $AB = BA$ for any matrices $A$ and $B$.

Matrix multiplication is associative: $(AB)C = A(BC)$ when the dimensions are compatible.

$(AB)^T = A^T B^T$ for any matrices $A$ and $B$.

The product $AB$ is always defined if both $A$ and $B$ are square matrices.