I don´t have my linear algebra books with me and I forget how the distributive property of the determinate is proven. Can someone point me to a good link_
That's what they called it at mathworld.Do you mean "Det(AB)= det(A)det(B)"? That's now what I would call "distributive".
You might look at
I was thinking of this argument today. Given you can compute the determinate by row operations then it seems apparent given the associativity of matrices that first reducing one matrix to reduced row echelon form via row operations and then the other via row operations;Yes, they do call it that! If find that very peculiar.