Let , be Linear Codes of length with
The bar product is:
It is a linear code of length .
Note that here represents CONCATENATION.
Lemma
Proof
Let be a basis for . Let be a basis for .
Then is a basis for
Hence
Lemma
Proof
Let and , not both zero
if ,
if then
So
But the minimums are achieved so this is equal