For compatible shapes, $A(B+C)=AB+AC$ and $(A+B)C=AC+BC$. The identities follow by distributing inside the entrywise sums. Along with associativity, they allow polynomial algebra in a fixed square matrix. They do not justify changing factor order.
Parents
Like how this is organised?
Build your own knowledge tree on knowen.md: notes, decisions and tasks in one connected markdown graph, shared with your team and your AI agents.

