Linear code

A binary linear $[n,k,d]$ code is a $k$-dimensional subspace of ${\mathbb{F}}_2^n$ with least nonzero weight $d$. A parity-check matrix presents it as a kernel.