Sequence of Column Operations is Column Operation

Theorem
Let $\map \MM {m, n}$ be a metric space of order $m \times n$ over a field $K$.

Let $\mathbf A \in \map \MM {m, n}$ be a matrix.

Let $\Gamma_1$ be a column operation which transforms $\mathbf A$ to a new matrix $\mathbf B \in \map \MM {m, n}$.

Let $\Gamma_2$ be a column operation which transforms $\mathbf B$ to another new matrix $\mathbf C \in \map \MM {m, n}$.

Then there exists another column operation $\Gamma$ which transforms $\mathbf A$ back to $\mathbf C$ such that $\Gamma$ consists of $\Gamma_1$ followed by $\Gamma_2$.

Proof
Let $\sequence {e_i}_{1 \mathop \le i \mathop \le k}$ be the finite sequence of elementary column operations that compose $\Gamma_1$.

Let $\sequence {\mathbf E_i}_{1 \mathop \le i \mathop \le k}$ be the corresponding finite sequence of the elementary column matrices.

Let $\sequence {f_i}_{1 \mathop \le i \mathop \le l}$ be the finite sequence of elementary column operations that compose $\Gamma_2$.

Let $\sequence {\mathbf F_i}_{1 \mathop \le i \mathop \le l}$ be the corresponding finite sequence of the elementary column matrices.

From Column Operation is Equivalent to Post-Multiplication by Product of Elementary Matrices, we have:
 * $\mathbf A \mathbf R_1 = \mathbf B$

where $\mathbf R$ is the product of $\sequence {\mathbf E_i}_{1 \mathop \le i \mathop \le k}$:
 * $\mathbf R_1 = \mathbf E_1 \mathbf E_2 \dotsb \mathbf E_{k - 1} \mathbf E_k$

Also from Column Operation is Equivalent to Post-Multiplication by Product of Elementary Matrices, we have:
 * $\mathbf B \mathbf R_2 = \mathbf C$

where $\mathbf R_2$ is the product of $\sequence {\mathbf F_i}_{1 \mathop \le i \mathop \le l}$:
 * $\mathbf R_2 = \mathbf F_1 \mathbf F_2 \dotsb \mathbf F_{l - 1} \mathbf F_l$

Hence we have:


 * $\mathbf A \mathbf R_1 \mathbf R_2 = \mathbf C$

where $\mathbf R := \mathbf R_1 \mathbf R_2$ is the product:
 * $\mathbf E_1 \mathbf E_2 \dotsb \mathbf E_{k - 1} \mathbf E_k \mathbf F_1 \mathbf F_2 \dotsb \mathbf F_{l - 1} \mathbf F_l$

Let $\Gamma$ be the column operation composed of the finite sequence of elementary column operations $\tuple {e_1, e_2, \ldots, e_{k - 1}, e_k, f_1, f_2, \ldots, f_{l - 1}, f_l}$.

Thus $\Gamma$ is a column operation which transforms $\mathbf A$ into $\mathbf C$.

Hence the result.

Also see

 * Sequence of Row Operations is Row Operation