Content deleted Content added
→Properties: clear up and more rigorous proof. |
→Properties: add link |
||
Line 7:
==Properties==
As a [[linear subspace]] of <math>\mathbb{F}^n_q</math>, the entire code <math>C</math>(which may be very large) may be represented as the [[span (linear algebra)|span]] of a minimal set of codewords (known as a [[basis (linear algebra)|basis]] in [[linear algebra]]). These basis codewords are often collated in the rows of a matrix known as a ''[[Generator matrix|generating matrix]]'' for the code <math>C</math>.
The subspace definition also gives rise to the important property that the minimum [[Hamming distance]] between any given codeword <math>c_0</math> and the other codewords <math>c \neq c_0</math> is constant. Since the difference <math>c - c_0</math> of two codewords in <math>C</math> is also a codeword (ie an [[element (mathematics)|element]] of the subspace <math>C</math>) and <math>d(c, c_0)=d(c-c_0, 0)</math>
|