In coding theory, the dual code of a linear code
is the linear code defined by
where
is a scalar product. In linear algebra terms, the dual code is the annihilator of C with respect to the bilinear form ⟨ ⋅ ⟩ {\displaystyle \langle \cdot \rangle }. The dimension of C and its dual always add up to the length n: