Un código lineal de peso tiene capacidad para

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

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

Sea una matriz generadora de un código lineal . Entonces este código, a lo sumo,

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: