I would like to have a clear definition of matrice block multiplication, its properties and some applications. If possible, some book references.
Suppose we have $A B $ , where $A$ and $B $ are matrices, how could one transform $A $ and $B$ in block matrices that would help do the operation $AB$ equal to a $C $ matrix?
Thanks.
Here is what I learned from Chapter 1 of Artin Algebra:
To multiply two matrices $M_{m \times n}$ and $N_{n \times p}$, we can decompose the two matrices into blocks as follow: $$M=\left(\begin{array}{c|c} A& B \end{array} \right), M'=\left(\begin{array}{c} A' \\ \hline B \end{array} \right) \implies MM'=AA'+BB'.$$ where $A$ has $r$ columns and $A'$ has $r$ rows. Generalise this, we have $$ M= \left( \begin{array}{c|c} A & B \\ \hline C & D \end{array} \right), M'=\left( \begin{array}{c|c} A' & B' \\ \hline C' & D' \end{array} \right) \implies MM'= \left( \begin{array}{c|c} AA'+BC' & AB'+BD' \\ \hline CA'+DC' & CB'+DD' \end{array}\right).$$ This looks just like multiplying $2 \times 2$ matrices. In order for this to work, we want to multiply matrices $AA'$ in this order, which implies number of columns of $A$ must equal to number of rows of $A'$. We want to add two matrices $AA'+BC'$, which means number of columns of $A'$ must be equal to number of columns of $C'$. In general, we want: Number of columns of $A$ and $C$ must equal to number of rows of $A'$ and $B'$.
A different block multiplication is that when multiplying $AB$, we can decompose $B$ into column vectors $B=(B_1|B_2| \cdots|B_n)$ then $AB=(AB_1|AB_2| \cdots |AB_n)$. This view is useful in showing that the method of row reduction when solving $AX=B$ works.
Here is a general theorem for block matrix multiplication:
For a reference and some examples, you can find it here.