Let 
 be an 
 matrix and 
 be an 
 matrix.
Suppose 
 Then, we can decompose the matrices 
 and 
 as
 and 
where 
 has order 
 and 
 has order 
That is, the matrices 
 and 
 are submatrices of  
and  
 consists of the first 
 
columns of 
 and  
 consists of the last 
 columns of 
.
Similarly, 
 and 
 are submatrices of  
and  
 consists of the first 
 
rows of 
 and  
 consists of the last 
 rows of 
. We now prove the following
important theorem.
. The
matrix products  ![]()  | 
|||
![]()  | 
|||
Theorem 1.3.5 is very useful due to the following reasons:
For example, if 
 and 
 Then 
If 
 then 
 can be decomposed as
 follows:
 or
 
 or
 and so on.
Suppose
 
and 
Then the matrices 
 and 
 are
called the blocks of the matrices
 
 and 
 respectively. 
Even if 
 is defined, the orders of 
 and 
may not be same and hence, we may not be able to add 
 and 
 in
the block form. But, if 
 and  
 is defined then
 
Similarly,  if the product 
 is defined, the product 
 need not be
defined.  Therefore, we can talk of matrix product 
 as block product of
matrices, if both the products 
 and 
 are defined. And in this case, we have   
 
That is, once a partition of 
 is fixed, the partition of 
 has to be
properly chosen for purposes of block addition or multiplication.
A K Lal 2007-09-12