Let be a Linear Code
A parity check matrix is a Generator Matrix for
It is a matrix
Note that
Lemma
An Linear Code with Generator Matrix
has parity check matrix
Proof
Since
So rows of generate a subcode of
But
Thus the rows of are a basis for as required.
Lemma
Let be a Linear Code with parity check matrix .
Then if and only if:
- any columns of are linearly independent
- a set of columns of are linearly dependent.
Proof
Suppose has length
Then
If has columns
Then if and only if