Sea una matriz generadora de un código (4,3)-lineal . Entonces, la palabra pertenece al código si

Sea una matriz generadora de un (4,2)-código lineal . Entonces, una matriz de control para el código es

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,

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

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

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

La matriz tiene como autovalores reales asociados