I saw in lecture of Linear algebra, while doing problem sessions two things but with no justification from teacher.
Consider $A,B$ as $2n\times 2n$ matrices over a field $F$. While doing multiplication of them suppose we partition them in a suitable way as
$$A=\begin{bmatrix} A_1 & A_2 \\ A_3 & A_4\end{bmatrix}, B=\begin{bmatrix} B_1 & B_2 \\ B_3 & B_4\end{bmatrix}$$ where all $A_i$'s and $B_i$'s are $n\times n$ matrices. Then in the calculations it was written, like as in usual matrix multiplication
$$AB=\begin{bmatrix}A_1B_1 + A_2B_3 & A_1B_2 +A_2B_4\\ \cdots & \cdots\end{bmatrix}.$$
Q.1 How can we justify in elementary way that this multiplication is same as the usual multiplication without partitioning into blocks? In general, is there neat way to do matrix multiplications by partitioning in some specific type of blocks?
Q.2 Turn to determinants from matrices; suppose we want to find determinant of $A$ written in above form. Then is it always equal to $\det(A_1)\det(A_4)-\det(A_2)\det(A_3)$?
Q.3 Which book on matrices or Linear algebra describes these very elementary things with details of theory (theorems and proofs) as well as examples?