Dual Code

Let be a Linear Code.
The dual code is the Parity Check Code for :

It is linear.

Lemma

Warning: can have

Corollary

For any Linear Code

In particular, any linear code is a Parity Check Code.

Proof

Easy to check . Then use the lemma.