Proposisi 8.3.8.

Misalkan \({\mathbf e}_i\) adalah tupel-\(n\) biner yang memiliki \(1\) pada koordinat ke-\(i\) dan \(0\) di tempat lainnya, dan misalkan \(H \in {\mathbb M}_{m \times n}({\mathbb Z}_2)\text{.}\) Maka \(H{\mathbf e}_i\) merupakan kolom ke-\(i\) dari matriks \(H\text{.}\)
Dalam Konteks