This seems like a rather trivial question, but I just want to know first if I am correct that this step is valid and, if so, if there's a name to it. It surely isn't linearity, unless I am mistaken.
Suppose we have matrices A and B. Further, B is a scalar multiple of some other matrix, so perhaps we have $B = 3C$. My question is, would it be valid in multiplying $A$ and $B$ to pull out the constant $3$ and then multiply it by the product of $A$ and $B$? In other words: $$AB = A(3C) = 3(AC)$$ In other words, it is necessarily the case that the above must hold? Is there a name for such a property?
Thanks. I apologize for how elementary this surely is.