The Bar Product

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