La capacidad correctora de errores de un código lineal de peso es

Sea una matriz cuadrada de orden cuyo polinomio característico es Entonces,

Sea    un endomorfismo de cuyos autovectores son: asociado al autovalor   asociado al autovalor y asociado al autovalor Entonces  es diagonalizable y la matriz asociada a respecto de la base canónica es

La matriz tiene como autovalores reales asociados

Sea  la aplicación lineal cuya expresión matricial respecto de la base canónica es . Entonces

Sea una aplicación lineal cuya expresión matricial es . Sea el subespacio . Entonces, la dimensión del subespacio es

Sea una aplicación lineal cuya expresión matricial respecto de la base canónica es . Entonces, la expresión explícita de es:

Unas ecuaciones paramétricas minimales del subespacio donde es la aplicación lineal , tal que son

Sea la función codificadora dada por . Entonces, la matriz generadora en forma estándar del código asociado es

Sea una matriz generadora asociada a un código lineal de longitud y dimensión . Entonces,